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

Задача . 39546


Задача

Темы:
На числовой прямой даны два отрезка: P = [22 ; 105] и Q = [42 ; 73]. Укажите наименьшую возможную длину такого отрезка A, что логическое выражение  
((x  Q) /\ ¬(x  A)) → ¬(x  P)
истинно (т.е. принимает значение 1) при любом значении переменной х.
 

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

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