15_0305

Обозначим через $ДЕЛ(n, m)$ утверждение «натуральное число $n$ делится без остатка на натуральное число $m$».

Для какого наименьшего натурального числа $A$ формула
$$\big(ДЕЛ(x,, 60) \to \lnot ДЕЛ(x,, 70)\big) \lor \big(x + A \geq 10^{9}\big)$$
тождественно истинна (т.е. принимает значение 1) при любом натуральном значении переменной $x$?