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

$((x \in B) \to (x \in A)) \land (\neg (x \in C) \lor (x \in A))$

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