Законы математической логики

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

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

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