OpenFIPI 2.0

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

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

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