Задание

На числовой прямой даны два отрезка: B = [26; 38] и C = [30; 60].

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

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

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