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

Для какого наименьшего целого неотрицательного A выражение 

(x · y < A) ∨ (x < y) ∨ (9 < x) 

тождественно истинно, т.е. принимает значение 1 при любых целых неотрицательных значениях переменных x и y?

Решение

Напишем программу на Phyton

'''(x · y < A) ∨ (x < y) ∨ (9 < x)'''

for a in range(1,1000):

  flag=True

  for x in range(1,1000):

    for y in range (1,1000):

      if not ((x*y < a) or (x < y) or (9 < x)):

        flag=False

        break

    if flag==False:

      break

  if flag: 

    print(a)

    break

Ответ: 82