15_0382

На числовой прямой даны три отрезка: B = [1000; 2500], C = [2200; 4800] и D = [500; 5500]. Укажите наименьшую возможную длину такого отрезка A, для которого логическое выражение
$$\neg (x \in A) \to \big(((x \in B) \lor (x \in C)) \equiv (x \in D)\big)$$
истинно (т.е. принимает значение 1) при любом значении переменной х.