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

( x � � y < A ) \/ ( x < y ) \/ (7 ≤ x )

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