На числовой прямой даны два отрезка: P = [20; 80] и Q = [55; 140]. Укажите наименьшую возможную длину такого отрезка A, что логическое выражение
\((x \in P) \to (((x \in Q) \land \neg(x \in A)) \to \neg(x \in P))\)
истинно (т.е. принимает значение 1) при любом значении переменной x.