Обозначим через ДЕЛ(
n,
m) утверждение «натуральное число
n делится без остатка на натуральное число
m». Для какого наименьшего натурального числа
А формула
(ДЕЛ(x, 15) /\ ¬ДЕЛ(x, 21)) → (¬ДЕЛ(x, A) \/ ¬ДЕЛ(x, 15))
тождественно истинна (то есть принимает значение 1 при любом натуральном значении переменной
х)?