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