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