Table of contents |
|
Introduction |
|
Truth Tables: |
|
Description of the Laws of Boolean Algebra |
|
Boolean Postulates – |
|
Boolean Algebra Functions |
|
Example |
|
A set of rules or Laws of 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 Algebra.
As well as the logic symbols “0” and “1” 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 respectively.
Boolean Algebra is the mathematics we use to analyze digital gates and circuits. We can use these “Laws of Boolean” to both reduce and simplify a complex Boolean expression in an attempt to reduce the number of logic gates required. Boolean Algebra is therefore a system of mathematics based on logic that has its own set of rules or laws, which are used to define and reduce Boolean expressions.
The variables used in Boolean Algebra only have one of two possible values, a logic “0” and a logic “1” but an expression can have an infinite number of variables all labelled individually to represent inputs to the expression, For example, variables A, B, C etc., giving us a logical expression of A + B = C, but each variable can ONLY be a 0 or a 1.
Examples of these individual laws of Boolean, rules and theorems for Boolean Algebra are given in the following table.
A truth table is a simple and useful tool used in Boolean algebra to show how a logical expression behaves for all possible combinations of input values. It lists all the possible input values (usually as 0s and 1s) and shows the corresponding output for each case. The following are the truth tables for NOT, AND, OR, and XOR operations.
The fundamental laws of Boolean algebra — namely the commutative law (which allows the rearrangement of terms in addition and multiplication), the associative law (which allows the removal or regrouping of brackets), and the distributive law (which allows expressions to be factored) — function similarly to those in regular algebra.
Although these laws are often shown using one or two variables, they are not limited to that. They can be applied to expressions with any number of variables. These Boolean laws are essential tools for proving Boolean expressions and simplifying complex digital circuits.
Below is a brief overview of the different Boolean laws, where A represents a variable input.
A term AND‘ed with a “0” equals 0 or OR‘ed with a “1” will equal 1
A term OR‘ed with a “0” or AND‘ed with a “1” will always equal that term
An input that is AND‘ed or OR´ed with itself is equal to that input
A term AND‘ed with its complement equals “0” and a term OR´ed with its complement equals “1”
The order of application of two separate terms is not important
A term that is inverted twice is equal to the original term
( A' )' = A - A double complement of a variable is always equal to the variable
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:
(2) Two separate terms NAND‘ed together is the same as the two terms inverted (Complement) and OR‘ed for example:
Other algebraic Laws of Boolean not detailed above include:
While not Boolean Laws in their own right, these are a set of Mathematical Laws which can be used in the simplification of Boolean Expressions.
This law permits the multiplying or factoring out of an expression.
This law enables a reduction in a complicated expression to a simpler one by absorbing like terms.
This law allows the removal of brackets from an expression and regrouping of the variables.
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.
Using the above laws, simplify the following expression: Q = (A + B)(A + C)
Then the expression: (A + B)(A + C) can be simplified to A + (B.C) as in the Distributive law.
53 docs|15 tests
|
1. What are truth tables and how are they used in Boolean algebra? | ![]() |
2. What are the basic laws of Boolean algebra? | ![]() |
3. Can you explain the concept of Boolean postulates? | ![]() |
4. How can Boolean algebra functions be simplified? | ![]() |
5. What is the significance of Boolean algebra in computer science engineering? | ![]() |