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

Задача . 506


Задача

Темы:

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

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


time 500 ms
memory 32 Mb
Правила оформления программ и список ошибок при автоматической проверке задач

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