ID: 15.20002 • Источник: Апробация 27.04.2021 • Сложность: medium

Задание №15

Отрезки
На числовой прямой даны два отрезка: В = [25; 40] и С = [12; 33]. Укажите наименьшую возможную длину такого отрезка А, что логическое выражение
((x ∈ B) → (x ∈ A)) ∧ (¬(x ∈ C) ∨ (x ∈ A))
истинно (т.е. принимает значение 1) при любом значении переменной х.