Чтобы сформулировать отрицание к утверждению вида «А и В», нужно применить закон двойного отрицания и закон де Моргана. Отрицание утверждения «А и В» будет выглядеть как «не А или не В».
Формула: ¬(A ∧ B) ⇔ (¬A ∨ ¬B)