На числовой прямой даны два отрезка: Р = [3, 20] и Q = [6, 12].

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

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

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