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

На числовой прямой даны два отрезка: P = [1, 39] и Q = [23, 58]. Какова наибольшая возможная длина интервала A, что логическое выражение

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

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