Преобразование логических выражений — задача ЕГЭ по информатике

Условие, ответ и разбор задачи

Преобразование логических выраженийФИПИ КЭС 2.7ФИПИ

На числовой прямой даны два отрезка: B = [22; 40] и C = [32; 50]. Укажите наименьшую возможную длину такого
отрезка A, для которого логическое выражение

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

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

Ответ: