На числовой прямой даны два отрезка: P = [25, 98], Q = [1, 42]. Найдите наименьшую возможную длину отрезка A, при котором формула
(x Î Q) → (¬ (x Î P) /\ (x Î Q) → (x Î A) )
тождественно истинна, то есть принимает значение 1 при любом значении переменной х.