На числовой прямой даны два отрезка: P = [25; 120], Q = [54; 75]. Найдите наименьшую возможную длину отрезка A, при котором формула
\((x \in Q) \rightarrow ( ((x \in P) \equiv (x \in Q)) \ \lor (\lnot (x \in P) \rightarrow (x \in A)) )\)
тождественно истинна, то есть принимает значение 1 при любом значении переменной x.