Задание

На числовой прямой даны два отрезка: P = [25, 37] и Q = [32, 50]. Отрезок A таков, что формула

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

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