Отрезки

На числовой прямой даны отрезки: P = [7;16], Q = [25;32]. Укажите наименьшую длину такого отрезка А, для которого логическое выражение

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

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