Boolean Algebra was created by George Boole (1815 – 1864) in his paper An Investigation of the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities , published in 1854. It had few applications at the time, but eventually scientists and engineers realized that his system could be used to create efficient computer logic. The Boolean system has two states: True (T) or False (F). This can be represented in several different ways as on or off, one or zero, yes or no, etc. These states are manipulated by three fundamental operations called logical operators : AND , OR and NOT . These operators take certain inputs and produce an output based on a predetermined table of results. For example, the AND operator takes two (or more) inputs and returns an ’on’ result only when both (or all) inputs are ’on’.
· In these tables T means ”True”, or ”Yes”, or 1 (in electronics), and
· F means ”False”, or ”No” or 0 (in electronics).
· For example, the 1st line of the AND table says that if A is F and B is F then the result also is F. This is also said often as If A is 0 and B is also 0, then A AND B = 0 times 0 = 0
· Also at the bottom of the AND table 1 times 1 is 1.
· Looking at the OR table, use plus instead of times: 0 plus 0 is 0, where again 0 is F and 1 is T. Only 0 and 1 exist, therefore if the result of the addition is more than 1, then change it to 1.
These simple operators are good because they allow us to create very simple logic circuits: if user put in a quarter AND the Coke button is pressed, drop a Coke
There are ways, however, to combine these expressions to make much more complex but useful digital circuits. By using multiple operators on the same inputs, it is possible to create much more complex outputs. An expression like: A and B or C would have a truth table of the following
This truth table follows the rules If A and B are true, or C is true, then X is true Exercise: Go through each case in the table and check it using the above statement.
Boolean Algebra Laws
Boolean Algebra, like regular algebra, has certain rules. These rules are Associativity, Distributivity, Commutativity and De Morgan’s Laws. Associativity, Commutativity and Distributivity only apply to the AND and OR operators. Some of these laws may seem trivial in normal Algebra but in other algebras they are not.
Associativity
Associativity is the property of algebra that the order of evaluation of the terms is immaterial.
Distributivity
Distributivity is the property that an operator can be applied to the terms within the brackets.
Commutativity
Commutativity is the property that order of application of an operator is immaterial.
De Morgan’s Law
De Morgan’s Law is a consequence of the fact that the not or negation operator is not distributive.
Notes
It is important to note that
This can be seen as either AND having a higher precedence or the fact that Associativity does not hold between AND and OR or that it is an invalid application of distributivity.
Another way of looking at this is the possible application of our understanding of normal algebra rules using the second notation. Where clearly the analogy between OR being addition and AND being multiplication is made. We would never make this error if this were high school algebra.