№945845107

Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m».

Сколько существует натуральных значений A на отрезке [1;1000], при которых формула

$ДЕЛ(A,9)\wedge (ДЕЛ(280,x)\to (\neg ДЕЛ(A,x)\to \neg ДЕЛ(730,x)))$

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