На числовой прямой даны два отрезка: B =

и C = .
Найдите наибольшую возможную длину отрезка D, при которой формула

\(x ∈ D\) → \(\(x ∈ B\) ∧ ¬\(x ∈ C\))

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