Тип 15 № 14099

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

Для какого наименьшего натурального числа $A$ формула

(ДЕЛ(x, 13) → ¬ДЕЛ(x, 21)) ∨ (x + A > 500)

тождественно истинна (т. е. принимает значение 1) при любом натуральном значении переменной $x$?