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

Задача . fipi-A71FA4


Задача

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

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

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