Для какого наименьшего целого неотрицательного числа А выражение

( y + 2 x < A ) \/ ( x > 15) \/ ( y > 30)

истинно (т.е. принимает значение 1) при любых целых неотрицательных
x и y ?