№ 1500. ЕГКР - ЕГЭ по информатике

Для какого наименьшего целого неотрицательного числа A выражение
$(x-3y < A) \lor (y > 400) \lor (x>56)$
тождественно истинно, т.е. принимает значение 1 при любых целых положительных x и y?

Ответ
Python


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