Lecture 4
Lecture 4
Lecture 4
Boolean Theorems
• We have seen how Boolean algebra can be used to help analyze a logic
circuit and express its operation mathematically
• Boolean theorems (rules) help us to simplify logic expressions and logic
circuits in Boolean algebra.
• The first group of theorems is given in the Figure in the next page.
• In each theorem, x is a logic variable that can be either a 0 or a 1.
• Each theorem is accompanied by a logic-circuit diagram that demonstrates
its validity.
First set of Boolean Theorems with one variable
Boolean Theorems with more than one variable
• The methods of circuit simplification and design that we will be using are
based on the sum-of-products form, so we will not be doing much with the
product-of-sums form.
Simplifying Logic Circuits
• From the expression for a logic circuit, we may be able to reduce it to a
simpler form containing fewer terms or fewer variables in one or more terms.
• To illustrate, the circuit of Figure (a) can be simplified to produce the circuit of
Figure (b).
• The simpler circuit is more desirable because it contains fewer gates and will
therefore be smaller and cheaper.
• So do we achieve this simplification?
Algebraic Simplification
• We can use the Boolean algebra theorems discussed in previous
lecture to help us simplify the expression for a logic circuit.
• Usually simplification contain two essential steps:
• The original expression is put into SOP form by repeated application
of DeMorgan’s theorems and multiplication of terms.
• Once in SOP form, the product terms are checked for common
factors, and factoring is performed wherever possible.
• Consider the following example.
Example 1
• Simplify the logic circuit shown in Figure (a).
Solution
• First find the expression for the output if not given. Here we are given:
• With the expression now in SOP form, we look for common variables among
the various terms with the intention of factoring.