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