№ 1522. Основная волна - ЕГЭ по информатике

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

Ответ
Python

def f(x, y, A):
    return (x < A) and (y < 3 * A) or (2 * x + y > 128)


for A in range(0, 100):
    if all(f(x, y, A) for x in range(1, 100) for y in range(1, 100)):
        print(A)
        break