OpenFIPI 2.0

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

(x < A) \/ (y < A) \/ (x + 2y > 50)

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