<0> xor :- <[0,0]> xy.
<1> xor :- <[0,1]> xy.
<1> xor :- <[1,0]> xy.
<0> xor :- <[1,1]> xy.
