Тип 15 № 14218

На числовой прямой даны два отрезка: P=[15;40] и Q=[21;63]. Укажите наименьшую возможную длину такого отрезка A, для которого логическое выражение
$(x∈P)→(((x∈Q)∧¬(x∈A))→¬(x∈P))$
истинно (т.е. принимает значение 1) при любом значении переменной x.