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