Алгоритм решения задания 15. Часть 3
Учимся решать 15 задания третьего типа
Читать
Для какого наименьшего целого неотрицательного числа A выражение (x-3y < A) ∨ (y > 400) ∨ (x>56) тождественно истинно, т.е. принимает значение 1 при любых целых положительных x и y?
Правильный ответ:
54
def f(x, y, A):
return (x - 3 * y < A) or (y > 400) or (x > 56)
for A in range(0, 100):
if all(f(x, y, A)
for x in range(1, 500)
for y in range(1, 500)):
print(A)
break
