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

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


Задача

Темы:

На числовой прямой даны два отрезка: P = [22, 35] и Q = [15, 30]. Отрезок A таков, что формула

\(((x \in P) \rightarrow (x \in A)) \land ((x ∉ Q) \lor (x \in A))\)

истинна при любом значении переменной x. Определите наименьшую возможную длину отрезка A.


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

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