Boolean+Algebra

= Boolean Algebra =

[|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'. //Truth Tables//|| **AND**|| **A** 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: A and B or C|| A 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.
 * 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.
 * The 3rd table shows NEGATION: whatever it is, change it to the other; 0 is changed into 1, and 1 is changed into 0.
 * **B** || [[image:http://upload.wikimedia.org/math/2/c/1/2c1e6cb923ab7b5d63ce41ed77fe8c36.png caption="A wedge B"]] ||
 * F || F ||= F ||
 * F || T ||= F ||
 * T || F ||= F ||
 * T || T ||= T ||  || **OR** || **A** || **B** || [[image:http://upload.wikimedia.org/math/f/5/f/f5f0e7687cefaa33ff9fa15cdcce9413.png caption="A vee B"]] ||
 * F || F ||= F ||
 * F || T ||= T ||
 * T || F ||= T ||
 * T || T ||= T ||  || **NOT** || **A** || [[image:http://upload.wikimedia.org/math/7/8/f/78fb9c6cf78c1634422328d13502cd99.png caption="bar A"]] ||
 * F ||= T ||
 * T ||= F ||  ||
 * B || C || X ||
 * 0 || 0 || 0 || 0 ||
 * 0 || 0 || 1 || 1 ||
 * 0 || 1 || 0 || 0 ||
 * 0 || 1 || 1 || 1 ||
 * 1 || 0 || 0 || 0 ||
 * 1 || 0 || 1 || 1 ||
 * 1 || 1 || 0 || 1 ||
 * 1 || 1 || 1 || 1 ||

[[|edit]] Formal Mathematical Operators
AND is represented by or  that is A AND B would be  or. OR is represented by or  that is A OR B would be  and. NOT is represented by or  that is NOT A is  or. If these three operators are combined then the NOR and NAND can be created. So A NOR B is or. NAND is or. Other notations are valid as well, and many different combinations of them arise in mathematics and engineering. No universal standard has been agreed upon. However, most sources will make explicit the particular notation used.

[[|edit]] 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.

[[|edit]] Associativity
Associativity is the property of algebra that the order of evaluation of the terms is immaterial. Or Wikipedia:Associativity

[[|edit]] Distributivity
Distibutivity is the property that an operator can be applied to the terms within the brackets. Or Wikipedia:Distributivity

[[|edit]] Commutativity
Commutativity is the property that order of application of an operator is immaterial. Or Wikipedia:Commutativity

[[|edit]] De Morgan's Law
De Morgan's Law is a consequence of the fact that the not or negation operator is not distributive. Or

[[|edit]] Notes
It is important to note that Or 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.

[[|edit]] Rules
All of these Laws Result in a number of rules used for the reduction of Boolean Algebra. Or
 * 1) [[image:http://upload.wikimedia.org/math/0/6/b/06b3a86206c2bad374a6c59c50ef4485.png caption="A wedge A=A ,"]]
 * 2) [[image:http://upload.wikimedia.org/math/e/3/3/e3306d20740bfde6e83b273f18d969e6.png caption="Avee A=A ,"]]
 * 3) [[image:http://upload.wikimedia.org/math/4/a/7/4a7fedcbcfc5a284ac6ac6e52e64031b.png caption="Awedge 1=A ,"]]
 * 4) [[image:http://upload.wikimedia.org/math/7/c/c/7cc7ab6c8bef3f59e08bb80320051561.png caption="Avee 1=1 ,"]]
 * 5) [[image:http://upload.wikimedia.org/math/3/5/9/3595ef2d2b23c64604d9f40ca83d1b30.png caption="Awedge 0=0 ,"]]
 * 6) [[image:http://upload.wikimedia.org/math/8/6/4/864bc0cf27b770d9e747749e9a896dc3.png caption="Avee 0=A ,"]]
 * 7) [[image:http://upload.wikimedia.org/math/e/4/8/e486da697e767f28b6536416efd64773.png caption="Awedge neg {A}=0 ,"]]
 * 8) [[image:http://upload.wikimedia.org/math/9/d/f/9df5abaf3e3c280e0b21429108cac2b7.png caption="Avee neg {A}=1 ,"]]
 * 9) [[image:http://upload.wikimedia.org/math/f/9/6/f9633e0d67e7c90c7ca628d2fdce2aa2.png caption="neg (neg {A})=A ,"]]
 * 10) [[image:http://upload.wikimedia.org/math/0/3/b/03b812736e05a4c00aae8409c890ccfd.png caption="Avee neg {A}wedge B= A vee B"]]
 * 11) [[image:http://upload.wikimedia.org/math/8/7/4/8741621c3f7c9de56d3abaec42bea24e.png caption="neg {A} vee Awedge B= neg {A} vee B"]]
 * 1) [[image:http://upload.wikimedia.org/math/c/e/3/ce3797ef438b6110c73dd0e63d1ed4c7.png caption="Acdot A=A ,"]]
 * 2) [[image:http://upload.wikimedia.org/math/5/9/d/59d8f71891d51767fd7e0bf33258225d.png caption="A+A=A ,"]]
 * 3) [[image:http://upload.wikimedia.org/math/8/c/3/8c3e5da501b251f8d8d64be7f10dc507.png caption="Acdot 1=A ,"]]
 * 4) [[image:http://upload.wikimedia.org/math/b/e/d/beda41299b4ab1ec085f5cd814ec496b.png caption="A+1=1 ,"]]
 * 5) [[image:http://upload.wikimedia.org/math/7/0/7/70787a4ffa920ceb39096a8b91226c76.png caption="Acdot 0=0 ,"]]
 * 6) [[image:http://upload.wikimedia.org/math/5/0/8/5084bb7c0fbbad1f2e161090621ddbe3.png caption="A+0=A ,"]]
 * 7) [[image:http://upload.wikimedia.org/math/1/b/5/1b529c150743f331c40d1a7c3af16690.png caption="Acdot bar {A}=0 ,"]]
 * 8) [[image:http://upload.wikimedia.org/math/e/1/b/e1b914ec20c52a9e002a0ad340f4c645.png caption="A+bar {A}=1 ,"]]
 * 9) [[image:http://upload.wikimedia.org/math/a/e/3/ae3c6091bcd37202913b7496d9bba30f.png caption="overline {bar {A}}=A ,"]]
 * 10) [[image:http://upload.wikimedia.org/math/5/c/9/5c99aa55b77a17f35ec3b61baf34638a.png caption="A+bar {A}cdot B= A + B"]]
 * 11) [[image:http://upload.wikimedia.org/math/3/6/4/3642921020a487f0d9bebbff09850802.png caption="bar {A} + Acdot B= bar {A} + B"]]

[[|edit]] Examples
Simplify the following Expressions. Or For number 1 using rule 7. We get. Or Which happens to be rule 5 so the answer is zero. In number 2 we can take out A. Given Or The Expression within brackets is rule 8. So the answer is A.
 * 1) [[image:http://upload.wikimedia.org/math/0/9/9/0994eb788fdb0c8d0cdeda62daeb24e4.png caption="B wedge A wedge neg {A}"]]
 * 2) [[image:http://upload.wikimedia.org/math/d/0/d/d0d242734f0f928526fdb69f1d55a5be.png caption="A wedge neg {B} vee A wedge B"]]
 * 1) [[image:http://upload.wikimedia.org/math/f/b/9/fb9526f10c0408b74a4cae14f05d42b9.png caption="Bcdot Acdot  bar {A}"]]
 * 2) [[image:http://upload.wikimedia.org/math/6/a/7/6a76ca267767ca53fadd89bf68f19185.png caption="Acdot  bar {B} + Acdot B"]]

See also: Wikipedia: Boolean logic
Retrieved from "[]"

[|Category]:
 * [|Electronics (book)]