The mathematical basis for the design of digital systems is boolean algebra, also known as the algebra of propositions or the algebra of sets. George Boole was one of the first people to develop a mathematical approach to the way humans reason in 1849. 1 Using his system, one can formulate propositions that are true or false, combine them to create new propositions, and determine the truth or falsehood of these new propositions.