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