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

(Л. Шастин) На числовой прямой даны два отрезка: В = [34; 72] и С = [32; 61]. Укажите наименьшую возможную длину такого отрезка А, что логическое выражение

((x ∈ B) → (x ∈ A)) ∧ (¬ (x ∈ C) ∨ (x ∈ A))

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