Задание 15 ЕГЭ по информатике

ФИПИid 835801 балл

Задания с проверкой на делимость

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

ДЕЛ(x,21)(¬ДЕЛ(x,А)¬ДЕЛ(x,77))\text{ДЕЛ}(x, 21) \to (\neg \text{ДЕЛ}(x, А) \to \neg \text{ДЕЛ}(x, 77))

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