Преобразование логических выражений — задача ЕГЭ по информатике

Условие, ответ и разбор задачи

Преобразование логических выраженийПрофиматика Инф.

На числовой прямой даны два отрезка: P = [10, 29] и Q = [13, 18].
Укажите наибольшую возможную длину отрезка A, для которого выражение ((x∈A)→(x∈P))∨(x∈Q)((x \in A) \rightarrow (x \in P)) \vee (x \in Q) тождественно истинно, то есть принимает значение 1 при любом значении переменной х.

Ответ: