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

Задача . 862


Задача

Темы:

Значком /\ обозначена логическая операция  И, значком \/ - логическая операция ИЛИ, значком  ¬ - логическая операция НЕ
Символом F обозначена логическая функция от двух аргументов (A и B), заданная таблицей истинности. Какое выражение соответствует F?

A B F
0 0 0
0 1 1
1 0 1
1 1 1
 

1) A -> (¬(A /\ ¬B))
2) A /\ B
3) ¬A -> B
4) ¬A /\ B


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

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