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

На числовой прямой даны три отрезка: B = [32; 425], C = [130; 480] и D = [290; 575]. Укажите наибольшую возможную длину такого отрезка А, для которого логическое выражение ((x ∈ C) → ¬ (x ∈ D)) ∧ (x ∈ A) ∧ ¬ (x ∈ B) ложно (т.е. принимает значение 0) при любом значении переменной х.