Вариант 1. Составить таблицу истинности для формулы: ¬(A ∨ B) ∧ (A ∧ ¬B).

Вычислим значения промежуточных выражений для всех наборов переменных. Если хотя бы один множитель конъюнкции равен 0, вся конъюнкция равна 0.

Формула несовместна: когда ¬(A ∨ B) истинно, A равно 0, поэтому выражение A ∧ ¬B ложно.