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

(И.Карпачев) На числовой прямой дан отрезок A = [4; 82]; B – множество всех натуральных делителей числа 211, отличных от единицы и от самого числа 211; C – множество всех натуральных делителей некоторого натурального числа y, отличных от единицы и от самого числа y (число y таково, что множество C непустое). Укажите такое значение y, имеющее максимальное количество делителей, для которого выражение:

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

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