Для какого наибольшего целого неотрицательного числа 
выражение
тождественно истинно при любых целых неотрицательных 
и 
Решение руками:
Чтобы дизъюнкция была истинной при любом неотрицательном целом значении 
и 
рассмотрим случай, когда 
и 
Это эквивалентно следующей системе:
 |
Самое сильное ограничение для 
в системе будет тогда, когда 
станет минимально возможным, а 
максимально возможным, то есть при 
и 
соответственно.
Значит, значение 
при заданных условиях — 19.
Решение Python:
for a in range(0, 1000):
c = 0 # Переменная-флаг
for x in range(100):
for y in range(100):
if ((3*x + 5*y != 150) or (a < x) or (x <= y)) == False:
c = 1
break
if c == 1:
break
if c == 0:
print(a)
Ответ: 19