Задание

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

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

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