Олимпиадный тренинг

Задача 39024. Отрезки - 01


На числовой прямой даны два отрезка: B = [10; 20] и C = [12; 30]. Укажите наименьшую возможную длину такого отрезка A, для которого логическое выражение
\((x \notin B) \rightarrow ((x \in C) \rightarrow (x \in B)) \vee \neg((x \notin A) \wedge (x \in C))\)
истинно (т.е. принимает значение 1) при любом значении переменной х.