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

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

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

На числовой прямой даны два отрезка: P = [30, 65] и Q = [10, 35]. Отрезок A таков, что формула

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

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

Какова наименьшая возможная длина отрезка A?

Ответ: