Задание 15 ЕГЭ по информатике

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

$¬(x∈A)→((x∈B)≡(x∈C))$

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