Задание

На числовой прямой даны два отрезка: P = [30, 65] и Q = [25, 42]. Укажите минимальную возможную длину такого отрезка A, для которого формула

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

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