Определить, являются ли два высказывания эквивалентными
¬ (A /\ B) /\ ¬C

¬A \/ B \/ ¬C

предположим, что все переменные равны нулю:

1 высказывание: не(0 и 0) и не0 = 1

2 высказывание: не0 или 0 или не0 = 1

Результат одинаковый, а значит высказывания эквивалентны.