full adder implemented and tested