Задание №8270

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

(ДЕЛ(x,2)→¬ДЕЛ(x,3))∨(x+A≥80)

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