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