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

4213315 номерНе выполнено
ЛогикаФункции

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

ДЕЛ(x, A) ∨ ((x ∈ P) → (¬ДЕЛ(x, 214) ∨ (x + A ≤ 5286)))

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