Задание №15

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

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

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