2 Как сформулировать отрицание к утверждению «А или В»?

Решение:

Для того чтобы сформулировать отрицание к утверждению вида «А или В», применяется закон де Моргана. Отрицание утверждения «А или В» будет выглядеть как «не А и не В».

Формула: ¬(A ∨ B) ⇔ (¬A ∧ ¬B)