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

Д. Бахтиевid 836181 балл

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

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

(¬ДЕЛ(x,7)ДЕЛ(x,13))(x>A40)(\neg ДЕЛ(x, 7) \land ДЕЛ(x, 13)) \rightarrow (x > A - 40)

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