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

Для какого наименьшего целого неотрицательного числа А логическое выражение
(5 < y) ∨ (x > 32) ∨ (x + 2y < A)
тождественно истинно (т.е. принимает значение 1) при любых целых неотрицательных x и y?

Ответ
Python

def f(x, y, A):
    return ((5 < y) or (x > 32) or (x + 2 * y < A))


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