The document defines a Boolean algebra as a set with binary operations of sum and product that satisfy closure, commutative, associative, distributive, identity, and complement laws. Examples of Boolean algebras include sets of binary values {1,0} and sets closed under union, intersection, and complement. Theorems proved include idempotent, involution, De Morgan's, and order properties. Boolean switching circuits can be described using series and parallel combinations of switches and satisfy the algebra of a Boolean algebra.