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

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


На числовой прямой даны три отрезка: P = [5; 47], Q = [12; 76], R = [58; 98]. Укажите наименьшую возможную длину такого отрезка 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
Правила оформления программ и список ошибок при автоматической проверке задач

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