Задание 3. Формализация (перевод на язык алгебры логики). Теория: обозначения операций (∧, ∨, ¬, ⊕, →, ↔). Переведите юридические условия на язык математической логики. Запишите формулы. Пусть даны простые высказывания: A = «Договор составлен в письменной форме»; B = «Договор заверен нотариусом»; C = «Договор имеет юридическую силу». Запишите формулами следующие ситуации: 1. Договор составлен в письменной форме и заверен нотариусом. 2. Если договор составлен в письменной форме и заверен нотариусом, то он имеет юридическую силу. 3. Договор не заверен нотариусом. 4. Договор имеет юридическую силу тогда и только тогда, когда он составлен в письменной форме.

Ответ: