Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Сколько существует натуральных значений A на отрезке [1;1000], при которых формула
\(ДЕЛ(A, 7) \land \ (ДЕЛ(240, x) \rightarrow (\lnot ДЕЛ(A, x) \rightarrow \lnot ДЕЛ(780, x)))\)
тождественно истинна, то есть принимает значение 1 при любом натуральном х?