Задание 15 ЕГЭ по информатике

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

$(ДЕЛ(x, 2) \to \neg ДЕЛ(x, 3)) \lor (x + A ≥ 80)$

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