x 1 y 1

x 1 = y 1 x 1 y 1 ¯

x 1 > y 1 x 1 y 1 ¯

x 1 < y 1 x 1 ¯ y 1

00

1

0

0

01

0

0

1

10

0

1

0

11

1

0

0