№689703134

На числовой прямой даны два отрезка: P = [17; 54] и Q = [37; 83].

Укажите наименьшую возможную длину такого отрезка A, что логическое выражение

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

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