OpenFIPI 2.0

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

¬(x $\in$ A) → ((x $\in$ P) →¬ (x $\in$ Q))

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

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