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