Задание

На числовой прямой даны два отрезка: P =

\[30, 65\]
и Q =
\[25, 42\]
. Укажите минимальную возможную длину такого отрезка A, для которого формула
\(x ∊ Q\) → \(\(\(x ∊ P\) ∧ ¬\(x ∊ A\)) → ¬\(x ∊ Q\))
тождественно истинна, то есть принимает значение 1 при любом значении переменной x.