На числовой прямой даны два отрезка: P = [55; 80], Q = [20; 105]. Найдите наименьшую возможную длину отрезка A, при котором формула
(x ∈ Q) → ( ((x ∈ P) ≡ (x ∈ Q)) ∨ (¬(x ∈ P) → (x ∈ A)) )
тождественно истинна, то есть принимает значение 1 при любых x.