Задание

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

Для какого наименьшегонатурального числа \(A\) формула

\((\)ДЕЛ\((x\), 15\() ∧ (¬\)ДЕЛ\((\)200, \(x)) → (\)ДЕЛ\((A\), \(x)\) \(→ ¬\)ДЕЛ\((\)625, \(x)))\)

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