Отрезки

На числовой прямой даны два отрезка: P = [15; 40] и Q = [21; 63]. Укажите наименьшую возможную длину такого отрезка А, для которого логическое выражение

$(x\in P) \to \left(\right((x \in Q)\wedge \neg (x \in A))\to \neg (x \in P\left)\right)$

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