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

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

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