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

Задача . fipi-543526


Задача

Темы:
На числовой прямой даны два отрезка: P = [17; 54] и Q = [37; 83]. Укажите наименьшую возможную длину такого отрезка A, что логическое выражение  
\((x \in P) \rightarrow(((x\in Q) \land \neg(x \in A))\rightarrow\neg(x \in P))\)

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

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