Законы математической логики

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

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

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