На числовой прямой даны два отрезка: B = [22; 40] и C = [32; 50]. Укажите наименьшую возможную длину такого отрезка A, для которого логическое выражение
¬(x ∈ A) → ((x ∈ B) ≡ (x ∈ C))
истинно (т. е. принимает значение 1) при любом значении переменной х.
Введем обозначения:
Применив преобразование импликации, получаем:
¬A → (B ≡ C) = A ∨ (B ≡ C)
Логическое ИЛИ истинно, если истинно хотя бы одно утверждение. Выражение B ≡ C истинно
Ответ: 28.

