15_0385

На числовой прямой даны три отрезка: $B = [2000; 5000]$, $C = [4000; 8000]$ и $D = [6000; 9000]$. Укажите наименьшую возможную длину такого отрезка A, для которого логическое выражение
$$\neg (x \in A) \to \big(((x \in B) \land (x \in C)) \equiv (x \in D)\big)$$
истинно (т.е. принимает значение 1) при любом значении переменной х.