Задание

На числовой прямой даны два отрезка: P = [10, 25] и Q = [20, 40]. Найдите наименьшую возможную длину отрезка A, при котором формула

\(((x \in P) \wedge \neg (x\in A)) \rightarrow \neg (x \in Q)\)

тождественно истинна, то есть принимает значение 1 при любом значении переменной х.