1. AON Circuits have specific inputs and outputs.

Introducing cycles could break

this by having the output contantly change
2. Because we define lookup recursively in terms of the other lookup functions
3.
4.
5.

6.

xor(x,y) = xor(x,y)
xor(~x,y) = ~xor(x,y)
xor(~x,~y) = xor(x,y) ->Cant make any new gates from these
xor(x,0) = x
xor(x,1) = ~x