Для какого наибольшего целого неотрицательного числа А выражение
(x+2y>A)∨(y<x)∨(x<30)
тождественно истинно (т.е. принимает значение 1) при любых целых неотрицательных х и у?
Решение:
Решение на Python:
def f(x, y, A):
return (x + 2*y > A) or (y < x) or (x < 30)
for A in range(1000):
if all(f(x, y, A) for x in range(1000) for y in range(1000)):
print(A)
#В ответ пишем последний вывод консоли.Ответ: 89
Ответ:
89