Задание

На числовой прямой даны два отрезка: P = [13, 24] и Q = [6, 42]. Найдите наименьшую возможную длину отрезка A, при котором формула

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

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