На числовой прямой даны два отрезка: P = [17; 54] и Q = [37; 83]. Укажите наименьшую возможную длину такого отрезка A , что логическое выражение

( x ∈ ∈ P ) → ( (( x ∈ ∈ Q ) /\ ¬( x ∈ ∈ A )) → ¬( x ∈ ∈ P ) )

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