15_0376

Обозначим через $ДЕЛ(n, m)$ утверждение «натуральное число $n$ делится без остатка на натуральное число $m$», а через $m,&,n$ — поразрядную конъюнкцию неотрицательных целых чисел $m$ и $n$.

Для какого наибольшего натурального числа $A$ формула
$$ДЕЛ(x,A) \lor \big((x,&,21 \neq 0) \to \lnot ДЕЛ(x,10)\big)$$
тождественно истинна (т.е. принимает значение 1) при любом натуральном значении переменной $x$?