The half-adder and full adders are sections of circuits which use a system of logic gates to add binary digits, by using a combination for which the truth table output is identical to the output required by the binary addition.
http://computer.howstuffworks.com/boolean2.htm An article demonstrating how a simple adder works.