Для какого наименьшего целого числа 
формула
тождественно истинна (то есть принимает значение 1 при любых целых неотрицательных значениях переменных 
и 
)?
Решение руками:
Упростим выражение, раскрыв импликацию:
Из известной части мы получаем что 
. Отсюда получаем двойное неравентсво 
. Наименьшее 
удовлетворяющее этому неравенству – 82.
Решение программой:
for a in range(1000):
flag = True
for x in range(1000):
for y in range(1000):
if (((y * y <= a) <= (y <= 10)) and ((x <= 9) <= (x * x < a))) == False:
flag = False
break
if flag:
print(a)
break
Получаем ответ: 
Ответ: 82