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