Для какого наименьшего целого неотрицательного числа 
выражение
тождественно истинно при любых целых неотрицательных 
и 
Решение 1 (руками)
Чтобы дизъюнкция была истинной при любом неотрицательном целом значении 
и 
рассмотрим случай, когда 
и 
Это эквивалентно следующей системе:
 |
Самое сильное ограничение для 
в системе будет при наибольших 
и 
т. е. при 
и 
соответственно.
Подставим: 
откуда 
Решение 2 (прогой)
def f(a):
for x in range(1, 1000):
for y in range(1, 1000):
if not ((x + 6 * y < a) or (x > 25) or (y >= 12)):
return False
return True
for a in range(100):
if f(a):
print(a)
break
Ответ: 92