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

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


Задача

Темы:

На числовой прямой даны три отрезка: P = [5, 100], Q = [15, 25] и R = [35, 50]. Найдите наименьшую возможную длину отрезка A, при котором формула

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

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


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

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