{0,1} {0,1}
0 1
0 0 -> 0
0 1 -> 1
1 0
1 0 -> 0
1 1 -> 1