Для какого наименьшего целого неотрицательного числа \(A\) логическое выражение $$(y < A) \land (x < A) \lor (89~241 < 5 y + x)$$ тождественно истинно (т.е. принимает значение \(1)\) при любых целых положительных \(x\) и \(y?\)
Решение:
Python
def expr(x, y, A):
return (x < A) and (y < A) or (89241 < 5 * y + x)
A = 1
while True:
if all(expr(89241 - 5 * y, y, A) for y in range(1, 25_000)):
break
A += 1
print(A)
Ответ: \(89237\)
Эффективно готовьтесь к ЕГЭ по информатике с новым тренажёром, эмулирующем работу станции КЕГЭ, которая используется на реальном экзамене