Add comment

xor = half-adder
Implement ch3.3.4's examples
Answer ex3.31