Алгоритм решения задания 15. Часть 5
Учимся решать 15 задания пятого типа
Читать
Для какого наименьшего целого неотрицательного числа A выражение (x · y > A) ∨ (x > y) ∨ (11 >x) тождественно истинно, т.е. принимает значение 1 при любых целых положительных x и y?
Правильный ответ:
120
def f(x, y, A):
return (x * y > A) or (x > y) or (11 > x)
for A in range(0, 1000)[::-1]:
if all(f(x, y, A) for x in range(1, 50) for y in range(1, 50)):
print(A)
break
