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

Задача . 647


Задача

Темы:

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

1) x=7, y=6, p=false                
2) x=7, y=6, p=true                
3) x=7, y=7, p=false                
4) x=4, y=6, p=true


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

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