Обозначим через
ДЕЛ(n, m) утверждение «
натуральное число n делится без остатка на натуральное число m». Для какого наибольшего натурального числа
А
логическое выражение
\((x < 100) \rightarrow (( ДЕЛ(x, 3) \wedge ДЕЛ(x, 4))\rightarrow \neg ДЕЛ(x, 5)) \vee (x-A\geq 25)\)
тождественно истинно (т.е. принимает значение 1) при любом целом натуральном значении переменной
х
.