Half adder truth table and circuit