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

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

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