Boolean algebra

From Citizendium
Revision as of 13:15, 16 July 2011 by imported>John R. Brews (Start article)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

A Boolean algebra is a form of logical calculus with two binary operations AND (multiplication, •) and OR (addition, +) and one unary operation NOT (negation, ~) that reverses the truth value of any statement. Boolean algebra can be used to analyze computer chips and switching circuits, as well as logical propositions.

History

Boolean algebra was introduced in 1854 by George Boole in his book An Investigation of the Laws of Thought.[1] This algebra was shown in 1938 by Claude Elwood Shannon to be useful in the design of logic circuits.[2]

Axioms

The operations of a Boolean algebra, namely, two binary operations on a set A, AND (multiplication, •) and OR (addition, +) and one unary operation NOT (negation, ~) are supplemented by two distinguished elements of a set A, namely 0 (called zero) and 1 (called one) that satisfy the following axioms for any subsets p, q, r of the set A:

The above axioms are redundant, and all can be proven using only the identity, complement, commutative and distributive laws. The distributive law:

may seem at variance with the law for normal algebra, which would state:

However, this expression is equivalent within the Boolean axioms above. From the other axioms, p·p = p. Also, p·r + q·p = p·(q + r). This set lies within p, so p + p·(q + r) = p. Using the Boolean axioms, p + p·(q + r) = p·(1 + q + r) and according to the properties of ‘1’, (1 + q + r) = 1. Thus, the normal algebraic expression interpreted in terms of the Boolean axioms reduces to the Boolean distributive law.

The axioms above can be graphically interpreted using Venn diagrams.

References

  1. George Boole (1854). An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities. Macmillan and Co.. 
  2. For example, see Jonathan Sterne (2003). “Shannon, Claude (1916-2001)”, Steve Jones, ed: Encyclopedia of new media: an essential reference to communication and technology. SAGE Publications, p. 406. ISBN 0761923829.