Делители: Обозначим через утверждение «натуральное число делится без остатка · ЕГЭ №15

Условие, ответ и разбор задачи

Преобразование логических выражений
Профиматика Инф.

Обозначим через ДЕЛ(n,m)\text{ДЕЛ}(n,m) утверждение «натуральное число nn делится без остатка на натуральное число mm».
Для какого наибольшего натурального числа AA формула

ДЕЛ(x,21)→(¬ДЕЛ(x,A)→¬ДЕЛ(x,77))\text{ДЕЛ}(x, 21) \rightarrow (\neg \text{ДЕЛ}(x, A) \rightarrow \neg\text{ДЕЛ}(x, 77))

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

Ответ: