15_0297

На числовой прямой даны два отрезка: $B=[10;15]$ и $C=[20;27]$.

Укажите наименьшую возможную длину такого отрезка $A$, для которого логическое выражение

$$
\lnot(((x \in B) \lor (x \in C)) \to (x \in A))
$$

ложно, то есть принимает значение $0$, при любом значении переменной $x$.

В ответе запишите только число.