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

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

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