These two rings are the foundations for all of boolean algebra. As you can see, the ring on the left is called "A" and the one on the right, "B." These circles represent "sets" or groups of numbers (hence the placement of this study of math under the broader family of Set Theory). Interestingly, sets of numbers are the building blocks of all math because everything we do in math involves sets.

The first rule in Boolean Algebra is addition. Possibly contrary to your intuition, when we add two sets in Boolean we take everything in both sets except the items that are common to both. Simply put, the area between the rings is not included when we add. It may make more sense if we call addition, "the symmetric difference." In the field of Logic, this would be considered "A or B."

Multiplication in boolean algebra is defined as the intersection between two sets. All the values that are common to both set A and set B are given as the result of the multiplication operation. In Logic, this would be considered "A and B."

Old rules that you have seen before in math can be applied to boolean algebra. These rules include commutativity, associativity, and distributivity. You've seen the commutative property: a + b = b + a.

The commutative property of addition states that the order of terms does not matter: A + B = B + A.

The commutative property of multiplication also states that the order of terms does not matter: A x B = B x A.

Boolean algebra is different from standard algebra in its rules for addition and multiplication. However, many common rules such as commutativity still apply. The study of boolean algebra can be practical and fun.

This page is based on a lecture by Oliver Knill, Harvard University, on 19 March 2012.

References: Lecture Handout Lecture Worksheet