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

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

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

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

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

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

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

Ответ: