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

Задача . 432


Задача

Темы:

Значком /\ обозначена логическая операция  И, значком \/ - логическая операция ИЛИ, значком  ¬ - логическая операция НЕ, значком → - логическая операция следования
Выражение (¬ z \/(y /\ x)) /\ (¬ x \/y) ложно при

1) x=1, y=1, z=1                
2) x=0, y=1, z=0                  
3) x=1, y=0, z=1                
4) x=0, y=0, z=0


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

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