Задание 15: логические выражения с параметром
Авторское
На числовой прямой даны два отрезка: B = [290; 750] и C = [135; 675]. Укажите наименьшую возможную длину такого отрезка A, что логическое выражение
(¬(x ∈ B) ∧ (x ∈ C)) → ((¬(x ∈ A) ∧ (x ∈ C)) → (x ∈ B))
истинно (т.е. принимает значение 1) при любом значении переменной x.
В ответе запишите число.
Решить на Python прямо здесь
Программа выполняется в вашем браузере. На экзамене сдаётся только ответ — впишите его в поле ниже. Ctrl+Enter — запуск.