Solution (source code)

= Solution

For <bits> $a,b$, use two <negation> <logic gates> and two <AND gates>:
$$
\boxed{L=(\neg a)\land b,\qquad G=a\land(\neg b).}
$$
The two unequal <bit> pairs activate their respective output; the equal pairs activate neither. In particular, a <digital comparator> never produces $L=G=1$.