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