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

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

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

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