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

(2 x + y ≠ 70) \/ ( x < y ) \/ ( A < x )

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