Тренировка задания 15 ЕГЭ (15.11)

15_11:

На числовой прямой даны два отрезка: P=[3,20] и Q=[6,12]. Укажите наибольшую возможную длину отрезка A, для которого формула

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

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