15_0295

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

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

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