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

ФИПИid 835811 балл

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

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

ДЕЛ(x,25)(¬ДЕЛ(x,A)¬ДЕЛ(x,60))\text{ДЕЛ}(x, 25) \to (\neg \text{ДЕЛ}(x, A) \to \neg \text{ДЕЛ}(x, 60))

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