Задание

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

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

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