Логика. Задание №15 "Задачи на анализ неравенств на плоскости"

Для какого наибольшего целого неотрицательного числа А формула

(х + у ≤ 30) ∨ (у ≤ х+2) ∨ (у ≥ А)

тождественно истинна (т.е. принимает значение 1) при любых целых положительных х и у.
Решение
Напишем программу на Phyton

'''(х + у ≤ 30) ∨ (у ≤ х+2) ∨ (у ≥ А)'''

for a in range(1,1000):

  flag=True

  for x in range(1,1000):

    for y in range (1,1000):

      if not ((x+y <= 30) or (y <= x+2) or (y >=a)):

        flag=False

        break

    if flag==False:

      break

  if flag: 

    print(a)

Ответ: 17