Олимпиадный тренинг

Задача . 861


Значком /\ обозначена логическая операция  И, значком \/ - логическая операция ИЛИ, значком  ¬ - логическая операция НЕ, значком → - логическая операция следования
Какое логическое выражение эквивалентно выражению  ¬(¬A /\ (¬B \/ C))?

1) ¬A \/ ¬B \/ C          2)A /\ ¬B /\ ¬C          3)A \/ B /\ ¬C         4)A /\ ¬B /\ C


Статистика успешных решений по компиляторам
Комментарий учителя