Определить, являются ли два высказывания эквивалентными ¬ (A /\ B) /\ ¬C ¬A \/ B \/ ¬C
предположим, что все переменные равны нулю:
1 высказывание: не(0 и 0) и не0 = 1
2 высказывание: не0 или 0 или не0 = 1
Результат одинаковый, а значит высказывания эквивалентны.