half adder implemented and tested