Задание

На числовой прямой даны два отрезка: P = [11, 21] и Q = [15, 40].

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

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

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