Отправить по sms: R-Calculus, IV: Propositional Logic