Смешанные выражения

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

(x ∈ P) ∧ (x ∈ Q) → (x ∈ A)

ложно (т.е. принимает значение 0) при любом значении переменной x.