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

id 835781 балл

Смешанные и авторские прототипы на истинность логического выражение

На числовой прямой задан отрезок P=[1315;1415]P = [1315; 1415]. Обозначим через ДЕЛ(n,m)ДЕЛ(n, m) утверждение «натуральное число nn делится без остатка на натуральное число mm». Для какого наибольшего натурального AA выражение

ДЕЛ(x,A)((xP)(¬ДЕЛ(x,191)(x+A4113)))ДЕЛ(x, A) ∨ ((x ∈ P) → (¬ДЕЛ(x, 191) ∨ (x + A ≤ 4113)))

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