Обозначим через \(ДЕЛ(n, \, m)\) утверждение «натуральное число \(n\) делится без остатка на натуральное число \(m\)». Для какого наименьшего натурального числа \(A\) формула $$\neg ДЕЛ(x, \, 18) \to (\neg ДЕЛ(x, \, 21) \to \neg ДЕЛ(x, \, A))$$ тождественно истинна (то есть принимает значение \(1\) при любом натуральном значении переменной \(x)?\)
Решение:
$$\overline{x \vdots 18} \to (\overline{x \vdots 21} \to \overline{x \vdots A}) = x \vdots 18 \lor x \vdots 21 \lor \overline{x \vdots A}$$ Видим, что минимальное \(A,\) при котором это выражение тождественно истинно, равно \(18.\)
Python
def div(n, m):
return n % m == 0
def expr(x, A):
return (not div(x, 18)) <= ((not div(x, 21)) <= (not div(x, A)))
for A in range(1, 200):
if all(expr(x, A) for x in range(1, 1000)):
print(A)
break
Ответ: \(18\)
Эффективно готовьтесь к ЕГЭ по информатике с новым тренажёром, эмулирующем работу станции КЕГЭ, которая используется на реальном экзамене