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

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

$((x ∈ B) → (x ∈ A)) ∧ (¬(x ∈ C) ∨ (x ∈ A))$

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