Задание 15 ЕГЭ, информатика: Числовые отрезки

ЕГЭ ИнформатикаЗадание 151.5.1 Высказывания, логические операции, кванторы, истинность высказывания

На числовой прямой даны два отрезка: P  =  [17, 54] и Q  =  [37, 83]. Какова наименьшая возможная длина интервала A, что формула

(x ∈ P) → (((x ∈ Q) ∧ ¬(x ∈ A)) → ¬(x ∈ P))

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

В подтеме 36 задач
Подробного разбора у этой задачи ещё нет.
Пока — ответ выше, гайд по теме «Числовые отрезки» и разбор задания 15 — как решать такие задачи по шагам.

Похожие задачи