Задача #4231

Логические выражения

Уровень ЕГЭ

На числовой прямой даны два отрезка: В = [290; 750] и С = [135; 675]. Укажите наименьшую возможную длину такого отрезка А, что логическое выражение
$(\neg (x \in B) \land (x \in C)) \to ((\neg (x \in A) \land (x \in C)) \to (x \in B))$
истинно (т.е. принимает значение 1) при любом значении переменной x.