Законы математической логики

(Л. Шастин) На числовой прямой даны два отрезка: P = [25, 73] и Q = [75, 118]. Укажите наибольшую возможную длину такого отрезка A, для которого логическое выражение

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

тождественно истинно (т.е. принимает значение 1) при любом значении переменной x.