На числовой прямой даны два отрезка: B = [12; 70] и C = [36; 55].
Найдите наибольшую возможную длину отрезка D, при которой формула
(x ∈ D) → ((x ∈ B) ∧ ¬(x ∈ C))
тождественно истинна, то есть принимает значение 1 при любых x.