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

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

(ДЕЛ( x, 3) → ¬ ДЕЛ( x, 5)) \/ ( x + A ≥ 90)

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