Boolean algebra implementation question
The + symbol is "OR" rather than "sum" when discussing boolean algebra.

The problem you are having is that you are confusing the usual meaning of + in mathematics with the boolean operator + for OR.

The function you describe is the boolean logic XOR (exlusive OR.)  

This is also known as a half adder.  1 XOR 1 gives 0.