15_0255

На числовой прямой даны два отрезка: $B=[4;18]$ и $C=[12;40]$. Укажите наименьшую возможную длину такого отрезка $A$, для которого логическое выражение

$$\neg(x\in A)\to((x\in B)\equiv(x\in C))$$

истинно (т. е. принимает значение 1) при любом значении переменной $x$.