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