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