Для какого наибольшего целого неотрицательного числа 
выражение
тождественно истинно при любых целых неотрицательных 
и 
Решение 1 (ручками)
Чтобы дизъюнкция была истинной при любом неотрицательном целом значении 
и 
рассмотрим случай, когда 
и 
Это эквивалентно следующей системе:
|
Самое сильное ограничение для Подставим: Решение 2 (прогой) def f(a):
Ответ: 417
|
в системе будет при наименьших 
и 
т. е. при 
и 
соответственно. 
откуда 
Наибольшее значение 