Отрезки

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

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

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