Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится безостатка на натуральное число m». Для какого наименьшего натурального числа А формула
\((ДЕЛ(x, 3) \to \neg ДЕЛ(x, 11)) \lor \neg(A < 80 – x)\)
тождественно истинна (т.е. принимает значение 1) при любом натуральном значении переменной х?