На числовой прямой задан отрезок P = [180; 250]. Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наибольшего натурального A выражение
ДЕЛ(x, A) ∨ ((x ∈ P) → (¬ДЕЛ(x, 45) ∨ (x + A ≤ 311)))
тождественно истинно, то есть принимает значение 1 при любом натуральном значении переменной х?