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