half-adder, adder implemented