Boolean logic is essential to understanding computer architecture. It is also useful in program construction and Artificial Intelligence. This lesson is a gentle introduction to formal logic using Boolean notation, and Circuits. Students learn the basic rules by playing the role of logic gates in a half adder and full adder. Free logic gate construction software available online can be incorporated optionally.