Отрезки

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

¬((x∈Q)→((¬(x∈A)∧(x∈P))→¬(x∈Q)))

ложно (т. е. принимает значение 0) при любом значении переменной x.