15_0253

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

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

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

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

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