Обозначим через ДЕЛ (n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наименьшего натурального числа А формула (ДЕЛ (x, 7) → ¬ДЕЛ (x, 5)) ∨ (x + A ≥ 140) тождественно истинна (то есть принимает значение 1 при любом натуральном значении переменной x)?
Задание

Обозначим через ДЕЛ \(n, m\) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наименьшего натурального числа А формула
\(ДЕЛ \(x, 7\) → ¬ДЕЛ \(x, 5\)) ∨ \(x \+ A  ≥  140\)
тождественно истинна \(то есть принимает значение 1 при любом натуральном значении переменной x\)?