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

Задача . кп15-575


Задача

Темы:

На числовой прямой даны три отрезка: P = [192734; 220904], Q = [123456; 1345830], R = [734652; 1023456]. Укажите наименьшую возможную длину такого отрезка A, что формула

\((x \in Q) \rightarrow (\lnot (x \in P) \rightarrow ((\lnot (x \in R) \land \lnot (x \in A)) \rightarrow \lnot (x \in Q)))\)

тождественно истинна, то есть принимает значение 1 при любом значении переменной х?


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

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