На числовой прямой даны два отрезка: P=[3, 34] и Q=[17,25]. Укажите наибольшую возможную длину такого отрезка A, что формула
((x ∈ Q) ≡ (x ∈ P)) → (x ∉ A)
тождественно истинна, то есть принимает значение 1 при любом значении переменной х.