На числовой прямой даны два отрезка: Р = [15, 28] и Q = [5, 9].

Укажите наибольшую возможную длину промежутка А, для которого формула

(x ∈ А) → ((x ∈ P) ~ ¬(x ∈ Q))

тождественно истинна, то есть принимает значение 1 при любом значении переменной х.