Проверить различными способами выполняется ли равенство:
Не (a /\ b) \/ не не b = не (a /\ b) \/ b = не a \/ не b \/ b = a \/ 1 = 1 не (a /\ b) \/ не не b = не ( a /\ b /\ не b) = не ( a /\ 0) = не 0 = 1 равенство не выполняется