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