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