Таблица истинности:
a b | ¬(a ∧ b) | ¬a ∨ ¬b
0 0 → ¬(0 ∧ 0) = 1 → ¬0 ∨ ¬0 = 1
0 1 → ¬(0 ∧ 1) = 1 → ¬0 ∨ ¬1 = 1
1 0 → ¬(1 ∧ 0) = 1 → ¬1 ∨ ¬0 = 1
1 1 → ¬(1 ∧ 1) = 0 → ¬1 ∨ ¬1 = 0
Выражения эквивалентны, так как имеют одинаковые значения во всех строках таблицы.