Chapter 4 Boolean Algebra (1)
Chapter 4 Boolean Algebra (1)
Boolean Algebra
Laws and Rules
Theorem
Universal Gates
Combinational Logic Circuits
Objectives
10/9/2012 RA/Sept2013-Jan2014 2
Boolean Algebra
10/9/2012 RA/Sept2012-Jan2013 3
Commutative Laws
A+B=B+A
Example AB = BA
10/9/2012 RA/Sept2012-Jan2013 4
Associative Laws
A + (B + C) = (A + B) + C
Example A (BC) = (AB) C
10/9/2012 RA/Sept2012-Jan2013 5
Distributive Laws
A (B + C) = AB + AC
Example AB + AC = A(B + C)
10/9/2012 RA/Sept2012-Jan2013 6
Rules of Boolean Algebra
A.0 = 0
Rule 1 Examples: AB.0 = 0
(A+B)(C+D).0 = 0
A.1 = A
Rule 2 Examples: AB.1 = AB
(A+B)(C+D).1 = (A+B)(C+D)
A + 0 = A
Rule 3 Examples: AB + 0 = AB
A + B + 0 = A + B
A + 1 = 1
Examples: AB + 1 = 1
Rule 4 A+B+C +1 = 1
(A+B)(C+D) + 1 = 1
10/9/2012 RA/Sept2012-Jan2013 7
Rules of Boolean Algebra
A.A=A
Examples: (AB).(AB) = AB
Rule 5 (A+B)(A+B) = A+B
A.B.A = A.B
A+A=A
Rule 6 Examples: AB + AB = AB
A+A+B+C = A+B+C
Rule 7 Examples:
Rule 8 Examples:
10/9/2012 RA/Sept2012-Jan2013 8
Rules of Boolean Algebra
Examples:
Rule 9
Rule 10 Examples:
Examples:
Rule 11
10/9/2012 RA/Sept2012-Jan2013 9
Simplifying Expressions using Boolean
Algebra
Example 1
Simplify
Solution:
Rule 10
Example 2
Simplify Y A A.B A.B.C
Solution: Y A A.B A.B.C
A A.B(1 C) Rule 11
A A.B
A B Rule 10
10/9/2012 RA/Sept2012-Jan2013 10
Simplifying Expressions using Boolean
Algebra
Example 3
Prove that
Solution:
Distributive Law
Rule 10
10/9/2012 RA/Sept2012-Jan2013 11
SOP = POS
Example
Prove that the SOP and POS expressions for an OR gate are equivalent.
SOP,
POS, Y = A + B
Solution:
Distributive Law
Rule 10
10/9/2012 RA/Sept2012-Jan2013 12
Theorem
10/9/2012 RA/Sept2012-Jan2013 13
Theorem
Example 1 Example 2
Example 3
Prove that
Solution
10/9/2012 RA/Sept2012-Jan2013 14
Universality of NAND and NOR gates
10/9/2012 RA/Sept2012-Jan2013 15
10/9/2012 RA/Sept2012-Jan2013 16
Universality of NAND and NOR gates
Example 1
10/9/2012 RA/Sept2012-Jan2013 17
10/9/2012 RA/Sept2012-Jan2013 18
10/9/2012 RA/Sept2012-Jan2013 19
Universality of NAND and NOR gates
Example 2
10/9/2012 RA/Sept2012-Jan2013 20
10/9/2012 RA/Sept2012-Jan2013 21
10/9/2012 RA/Sept2012-Jan2013 22
Universality of NAND and NOR gates
NAND NOR
10/9/2012 RA/Sept2012-Jan2013 23
Sum-of-Product (SOP)
SOP expression is the sum of all product terms when
the output is a logic 1.
Description Product Term is formed by ANDing the complemented
or uncomplemented input variables.
A B Y SOP
0 0 0
0 1 1 AB
1 0 1 AB Product term
1 1 1 AB
Therefore, Y = A B + A B + A B
10/9/2012 RA/Sept2012-Jan2013 24
Product-of-Sum (POS)
POS expression is the product of all sum terms when
the output is a logic 0.
Description Sum term is formed by ORing the complemented or
uncomplemented input variables.
A B Y POS
0 0 0 A+B
0 1 0 A+B Sum terms
1 0 0 A+B
1 1 1
10/9/2012 RA/Sept2012-Jan2013 25
Combinational Logic Circuits
Identify Simplify
Derive Draw the
1 the truth
table
2 the
Boolean 3 the
Boolean 4 logic
circuit
expression expression
10/9/2012 RA/Sept2012-Jan2013 26
Designing Combinational Logic Circuits
Example
The diagram shown below is a water filtering system. A water quality sensing
detector will generate a quality scale from 0 7. From this scale, selected filter
will function as follows to produce clean water.
Clean Water Scale Filters
Water flow Filter
water
A B C Condition needed
The cleanest 0 No filters are
activated
Water Logic 1 A
quality circuit
sensing 2 A, B and C
detector
3 B
4 A
Scale 0 - 7 5 A and B
6 A and C
The dirtiest 7 A, B and C
Design the logic circuit. Your solution should include:
a) Truth table.
b) Simplified expression.
c) Based on the simplified expression in (b), draw the logic
circuit.
10/9/2012 RA/Sept2012-Jan2013 27