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

Экзамен прошлых летid 835911 балл

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

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

ДЕЛ(x,128)(¬ДЕЛ(x,A)¬ДЕЛ(x,80))\text{ДЕЛ}(x, 128) \to (\neg \text{ДЕЛ}(x, A) \to \neg \text{ДЕЛ}(x, 80))

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