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

Задание

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

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

ДЕЛ$($$A$, 5$)$ $\land$ $($ДЕЛ$($170, $x$$)$ $ \to$ $($$\neg$ДЕЛ$($$A$, $x$$)$ $ \to$ ДЕЛ$($350, $x$$)))$

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

[ ]