Half Adder And Full Adder Theory