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

( x � � y > A ) \/ ( x > y ) \/ (8 > x )

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