Обозначим через \(ДЕЛ(n, \, m)\) утверждение «натуральное число \(n\) делится без остатка на натуральное число \(m\)». Для какого наибольшего натурального числа \(A\) формула $$\neg ДЕЛ(x, \, 18) \to (\neg ДЕЛ(x, \, A) \to \neg ДЕЛ(x, \, 12))$$ тождественно истинна (то есть принимает значение \(1\) при любом натуральном значении переменной \(x)?\)
Решение:
$$\overline{x \vdots 18} \to (\overline{x \vdots A} \to \overline{x \vdots 12}) = x \vdots 18 \lor x \vdots A \lor \overline{x \vdots 12}.$$ Отсюда сразу получаем, что выражение тождественно истинно для всех натуральных \(x,\) если максимальное \(A = 12.\)
Ответ: \(12\)
Эффективно готовьтесь к ЕГЭ по информатике с новым тренажёром, эмулирующем работу станции КЕГЭ, которая используется на реальном экзамене