{0, 1} 

0 0
0 -> 0
1 -> 1

1 1
0 -> 1
