Задание 15 ЕГЭ по информатике

Обозначим через $ДЕЛ(n, m)$ утверждение «натуральное число $n$ делится без остатка на натуральное число $m$». Пусть на числовой прямой дан отрезок $B = [10; 40]$. Найдите наименьшую возможную длину отрезка $A$, при котором формула

$(x ∈ A) ∨ ((x ∈ B) → ¬ДЕЛ(x, 6))$

тождественно истинна (т.е. принимает значение 1) при любом натуральном значении переменной $x$?