На числовой прямой даны два отрезка: $P = [27; 60]$ и $Q = [45; 62]$. Укажите наименьшую возможную длину такого отрезка $A$, что формула
$((x\in P)\rightarrow ((x\in Q)\wedge ¬(x\in A))) \rightarrow ¬(x\in P)$
истинна при любом значении переменной $x$, т.е. принимает значение 1 при любом значении переменной $x$.