Для определения эквивалентности двух высказываний приведем их к более простым формам с использованием законов де Моргана и законов двойного отрицания:
1) ¬ (A /\ B) /\ ¬C = (¬A \/ ¬B) /\ ¬C (по закону де Моргана)2) ¬A \/ B \/ ¬C (уже данное высказывание)
Таким образом, два высказывания эквивалентны, так как они имеют одинаковую логическую структуру при различном представлении.
Для определения эквивалентности двух высказываний приведем их к более простым формам с использованием законов де Моргана и законов двойного отрицания:
1) ¬ (A /\ B) /\ ¬C = (¬A \/ ¬B) /\ ¬C (по закону де Моргана)
2) ¬A \/ B \/ ¬C (уже данное высказывание)
Таким образом, два высказывания эквивалентны, так как они имеют одинаковую логическую структуру при различном представлении.