The Laws of Boolean |
Navigation |
|
|
The Laws of Boolean
As well as the logic symbols "1" and "0" being used to represent a digital input or output, we can also
use them as constants for a permanently "Open" or "Closed" circuit or contact. Laws or rules for Boolean Algebra expressions
have been invented to help reduce the number of logic gates needed to perform a particular logic operation resulting in a list
of functions or theorems known commonly as the Laws of Boolean. Examples of these individual rules or laws are
given in the following table.
Truth Tables for the Laws of Boolean
| Expression | Description |
Equivalent Circuit |
Law or Rule |
| A + 1 = 1 | A in parallel with closed = CLOSED |
 |
Annulment |
| A + 0 = A | A in parallel with open = A |
 |
Identity |
| A . 1 = A | A in series with closed = A |
 |
Identity |
| A . 0 = 0 | A in series with open = OPEN |
 |
Annulment |
| A + A = A | A in parallel with A = A |
 |
Indempotent |
| A . A = A | A in series with A = A |
 |
Indempotent |
| NOT A = A | NOT NOT A (double negative) = A |
|
Double Negation |
| A + A = 1 |
A in parallel with not A = CLOSED |
 |
Complement |
| A . A = 0 |
A in series with not A = OPEN |
 |
Complement |
| A+B = B+A |
A in parallel with B = B in parallel with A |
 |
Commutative |
| A.B = B.A |
A in series with B = B in series with A |
 |
Commutative |
| A+B = A.B |
invert and replace OR with AND |
|
de Morgan's Theorem |
| A.B = A+B |
invert and replace AND with OR |
|
de Morgan's Theorem |
Description of the Laws and Theorems
- Annulment Law - A term ANDŽed with a "0" equals Zero and
a term ORŽed with a "1" will equal One.
-
- Identity Law - A term ORŽed with a "0" or
ANDŽed with a "1" will always equal that term for example, A+0 = 0,
A.1 = 1
-
- Indempotent Law - An input ANDŽed with itself or
ORŽed with itself is equal to that input for example, A.A = A, A+A = A
-
- Complement Law - A term ANDŽed with its complement equals
"0" and a term ORŽed with its complement equals "1" for example A.
A = 0, A+A
= 1
-
- Commutative Law - The order of application of two separate terms is not
important for example, A.B = B.A, A+B = B+A
-
- Double Negation Law - A term that is inverted twice is equal to the original term.
-
- de MorganŽs Theorem - There are two "de MorganŽs" rules or theorems,
-
- (1) Two separate terms NORŽed together is the same as the two terms inverted (Complement)
and ANDŽed for example, A+B = A.
B.
-
- (2) Two separate terms NANDŽed together is the same as the two terms inverted (Complement)
and ORŽed for example, A.B = A
+B.
Boolean Algebra Functions
Using the information above, simple 2-input AND, OR and
NOT Gates can be represented by 16 possible functions as shown in the following table.
| Function | Description | Expression |
| 1. | NULL | 0 |
| 2. | IDENTITY | 1 |
| 3. | Input A | A |
| 4. | Input B | B |
| 5. | NOT A | A |
| 6. | NOT B | B |
| 7. | A AND B (AND) | A . B |
| 8. | A AND NOT B | A . B |
| 9. | NOT A AND B | A . B |
| 10. | NOT A AND NOT B (NAND) | A . B |
| 11. | A OR B (OR) | A + B |
| 12. | A OR NOT B | A + B |
| 13. | NOT A OR B | A + B |
| 14. | NOT OR (NOR) | A + B |
| 15. | Exclusive-OR | A.B + A.B |
| 16. | Exclusive-NOR | A.B + A.B |
|