logic design i (17.341) fall 2011 lecture...
TRANSCRIPT
![Page 1: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/1.jpg)
Logic Design I (17.341)
Fall 2011
Lecture Outline
lClass # 03
September 26, 2011
Dohn Bowden
1
![Page 2: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/2.jpg)
Today’s Lecture
• Administrative
• Main Logic Topic
• Homework
2
![Page 3: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/3.jpg)
CCoursed iAdmin
3
![Page 4: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/4.jpg)
Administrative
• Admin for tonight …
– Syllabus Review
4
![Page 5: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/5.jpg)
Syllabus
• Syllabus
– Exam #1 … next week
• Chapters 1 - 3
5
![Page 6: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/6.jpg)
Syllabus ReviewWeek Date Topics Chapter Lab Report Due
1 09/12/11 Introduction to digital systems and number systems 1
2 09/19/11 Binary Codes and Boolean Algebra 2
3 09/26/11 Boolean Algebra (continued) 3
4 10/03/11 Examination 1
X 10/10/11 No Class - Holiday
5 10/17/11 Application of Boolean Algebra. Lab lecture 4
6 10/24/11 K h M 56 10/24/11 Karnaugh Maps 5
7 10/31/11 Multi-Level Gate Circuits. NAND and NOR Gates 7 1
8 11/07/11 Examination 2
9 11/14/11 Combinational Circuit Design and Simulation Using 8 29 11/14/11 Combinational Circuit Design and Simulation Using Gates
8 2
10 11/23/11 Multiplexers, Decoders. Encoder, and PLD 9
11 11/28/11 Introduction to VHDL 10 3
12 12/05/11 Examination 3
13 12/12/11 Review 4
14 12/19/11 Final Exam
6
![Page 7: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/7.jpg)
Questions?
7
![Page 8: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/8.jpg)
Chapter 3 …Chapter 3 …
Boolean AlgebraBoolean Algebra(Continued)( )
8
![Page 9: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/9.jpg)
Objectives
9
![Page 10: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/10.jpg)
Objectives
• Understand and apply Chapter 2 Boolean algebra Laws and TheoremsTheorems
– Apply laws and theorems to the manipulation of algebraic expressions includingexpressions including …
• Simplifying an expression
• Finding the complement of an expression
• Multiplying out and factoring an expression
10
![Page 11: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/11.jpg)
Objectives
• Continued …
– Prove theorems using a truth table or algebraic proof
– Define the exclusive-OR and equivalence operations
– Use the consensus theorem to delete terms from and add terms to a switching expression
– Given an equation …Given an equation … • Prove algebraically that it is valid … or …
• Show that it is not valid• Show that it is not valid
11
![Page 12: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/12.jpg)
Multiplying Outandand
Factoring Expressions
12
![Page 13: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/13.jpg)
Multiplying OutMultiplying Out
13
![Page 14: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/14.jpg)
Multiplying Out
• Given an expression in product-of-sums form …
– The corresponding sum-of-products expression can be obtained by …
– Multiplying out … using … the following two distributive laws …
X(Y + Z) = XY + XZ (3-1)
(X + Y)(X + Z) = X + YZ (3-2)(X Y)(X Z) X YZ (3 2)
14
![Page 15: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/15.jpg)
Multiplying Out
• In addition … the following theorem is very useful for factoring and multiplying out …multiplying out …
(X + Y)(X′ + Z) = XZ + X′Y (3-3)
• Note that the variable that is paired with X on one side of the equation is …
» Paired with X on the other side … and … vice versa
• This theorem can be applied when we have …– Two terms … one which contains a variable … and … another
which contains its complementwhich contains its complement
15
![Page 16: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/16.jpg)
Multiplying Out
• Example … Multiply out … AB + A’C
16
![Page 17: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/17.jpg)
Multiplying Out
• Example … Multiply out … (Q + AB’)(C’D + Q’)
17
![Page 18: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/18.jpg)
Multiplying Out
• Example … Multiply out …
(A + B + C’)(A + B + D)(A + B + E)(A + D’ + E)(A’ +C)
18
![Page 19: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/19.jpg)
FactoringFactoring
19
![Page 20: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/20.jpg)
Factoring
• Any expression can be converted to a product-of-sums form by using …using …
– The same theorems that are useful for multiplying out expressions Byexpressions … By …
• Repeatedly applying … (3-1) … (3-2) … and (3-3)
( ) ( )X(Y + Z) = XY + XZ (3-1)
(X + Y)(X + Z) = X + YZ (3-2)
(X + Y)(X′ + Z) = XZ + X′Y (3-3)
20
![Page 21: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/21.jpg)
Factoring
• Example … Factor … AC + A’BD’ + A’BE + A’C’DE
21
![Page 22: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/22.jpg)
Exclusive-OR
andand
E i l O iEquivalence Operations
22
![Page 23: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/23.jpg)
Exclusive-ORExclusive OR
23
![Page 24: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/24.jpg)
Exclusive-OR
• The exclusive-OR operation ( ) is defined as follows …
24
![Page 25: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/25.jpg)
Exclusive-OR
• Exclusive OR can be expressed in terms of AND and OR
• Because X Y = 1 … iff …» X is 0 … and … Y is 1 … or …» X is 1 … and … Y is 0, we can write
25
![Page 26: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/26.jpg)
Exclusive-OR
• The following theorems apply to exclusive OR …
26
![Page 27: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/27.jpg)
Equivalence OperationsEquivalence Operations
27
![Page 28: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/28.jpg)
Equivalence Operation
• Equivalence is the complement of exclusive-OR …
• The equivalence operation ( ) is defined by …
28
![Page 29: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/29.jpg)
Equivalence Operation
• Because equivalence is the complement of exclusive-OR … an …
– Alternate symbol of the equivalence gate is an exclusive-OR gate with a … complemented output …
• The equivalence gate is also called an …The equivalence gate is also called an …
» Exclusive-NOR gate
29
![Page 30: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/30.jpg)
ExamplesExamples …
30
![Page 31: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/31.jpg)
Examples
• Example … Simplify …
31
![Page 32: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/32.jpg)
Examples
• Example … Simplify … A’ B C
32
![Page 33: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/33.jpg)
The Consensus TheoremThe Consensus Theorem
33
![Page 34: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/34.jpg)
Consensus Theorem
• The consensus theorem is very useful in simplifying Boolean expressionsexpressions
• Given an expression of the form …
• The term YZ is redundant … and …
XY + X'Z + YZ
– Can be eliminated to form the equivalent expression …
XY + X'Z
– The term that was eliminated is referred to as the consensus term
XY + X Z
consensus term
34
![Page 35: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/35.jpg)
Consensus Theorem
• Given a pair of terms for which a …
– Variable appears in one term … and …
– The complement of that variable in another
– The consensus term is formed by multiplying the two original g gterms together …
• Leaving out the selected variable and its complementLeaving out the selected variable and its complement
XY + X'Z + YZ = XY + X'Z
35
![Page 36: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/36.jpg)
Dual Form - Consensus Theorem
• The Dual Form of the consensus theorem is …
(X + Y)(X’ + Z)(Y + Z) = (X + Y)(X’ + Z)
36
![Page 37: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/37.jpg)
Basic Methods
forfor
Si lif i F iSimplifying Functions
37
![Page 38: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/38.jpg)
Combining TermsCombining Terms
38
![Page 39: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/39.jpg)
Combining Terms
1. Combining terms …
• Use the theorem …
XY + XY′ = X
• To combine two terms
• For example,
abc′d′ + abcd′ = abd′ Let x = abd′ and Y = c
39
![Page 40: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/40.jpg)
Eliminating TermsEliminating Terms
40
![Page 41: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/41.jpg)
Eliminating Terms
2. Eliminating terms …
– Use the theorem …
X + XY = X
• To eliminate redundant terms if possible … then …
• Try to apply the consensus theorem …
XY + X′Z + YZ = XY + X′Z
T li i• To eliminate any consensus terms41
![Page 42: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/42.jpg)
Eliminating Terms
• For example … use X + XY = X … for …
a′b + a′bc Let x = a′b
a′b + a′bc = a′b
• Example … use the consensus theorem (XY + X′Z + YZ = XY + X′Z)
a b + a bc = a b
We get
a′bc′ + bcd + a′bd … Let x = c … Y = bd … Z = a′b
We get …
a′bc′ + bcd + a′bd = a′bc′ + bcd
42
![Page 43: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/43.jpg)
Eliminating LiteralsEliminating Literals
43
![Page 44: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/44.jpg)
Eliminating Literals
3. Eliminating literals …
– Use the theorem …
X + X’Y = X + Y
– … To eliminate redundant literals
– Simple factoring may be necessary before the theorem is applied
44
![Page 45: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/45.jpg)
Eliminating Literals
• Example … Simplify … A′B + A′B′C′D′ + ABCD′
• Using … X + X’Y = X + Y
45
![Page 46: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/46.jpg)
Adding Redundant TermsAdding Redundant Terms
46
![Page 47: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/47.jpg)
Adding Redundant Terms
4. Adding redundant terms … Redundant terms can be introduced in several ways such as …several ways such as …
– Adding xx′
– Multiplying by (x + x′)
– Adding yz to xy + x′z
– Or adding xy to xOr adding xy to x
• When possible … the added terms should be chosen so that they will combine with or eliminate other termswill combine with or eliminate other terms
47
![Page 48: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/48.jpg)
Adding Redundant Terms
• Example … WX + XY + X′Z′ + WY′Z′
48
![Page 49: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/49.jpg)
Adding Redundant Terms
• Example …
A’B’C’D’ + A’BC’D’ + A’BD + A’BC’D +ABCD + ACD’ + B’CD’
49
![Page 50: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/50.jpg)
Proving Validity
of anof an
E iEquation
50
![Page 51: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/51.jpg)
Proving Validity of an Equation
• There are Several methods that can be used to determine if an equation is valid for all combinations of values of the variables …equation is valid for all combinations of values of the variables …
• Method 1 …
– Construct a truth table and evaluate both sides of the equation for all combinations of values of the variables
• This method is rather tedious if the number of variables is large
51
![Page 52: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/52.jpg)
Proving Validity of an Equation
• Method 2 …
– Manipulate one side of the equation by applying various theorems until it is identical with the other side
• Method 3 …
– Reduce both sides of the equation independently to the same expression
52
![Page 53: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/53.jpg)
Proving Validity of an Equation
• Method 4 …
– Perform the same operation on both sides of the equation provided that the operation is reversible
53
![Page 54: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/54.jpg)
Proving Validity of an Equation
• Method 4 … Examples …
– Complement both sides of the equation
– CANNOT multiply both sides of the equation by the same expression
• Multiplication is not reversible because division is not defined for Boolean algebra
– CANNOT add the same term to both sides of the equation
• Because subtraction is not defined for Boolean algebra• Because subtraction is not defined for Boolean algebra
54
![Page 55: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/55.jpg)
Proving That An Equation Is
NOTNOT
V lidValid
55
![Page 56: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/56.jpg)
Proving That An Equation Is NOT Valid
• To prove that an equation is not valid …
– It is sufficient to show …
• One combination of values of the variables for which the …
– Two sides of the equation have different values
– When using method 2 or 3 to prove that an equation is valid, a useful strategy is touseful strategy is to
56
![Page 57: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/57.jpg)
Proving That An Equation Is NOT Valid
• When using method 2 or 3 to prove that an equation is valid …
– A useful strategy is to …
1. First reduce both sides to a sum of products (or a product of sums)
2. Compare the two sides of the equation to see how they d ffdiffer
3. Then try to add terms to one side of the equation that are present on the other side
4. Finally try to eliminate terms from one side that are not present on the other
57
![Page 58: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/58.jpg)
Proving That An Equation Is NOT Valid
• Whatever method is used …
– Frequently compare both sides of the equation and let the different between them serve as a guide for what steps to take nextnext
58
![Page 59: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/59.jpg)
Example
• Show that … A'BD' + BCD + ABC' + AB'D = BC'D' + AD + A'BC
59
![Page 60: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/60.jpg)
Differences Between
Boolean algebraBoolean algebra and
O di Al bOrdinary Algebra
60
![Page 61: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/61.jpg)
Differences between Boolean algebra and ordinary algebra
• Some of the theorems of Boolean algebra are not true for ordinary algebraalgebra
• Similarly … some of the theorems of ordinary algebra are not true for Boolean algebrafor Boolean algebra
61
![Page 62: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/62.jpg)
Differences between Boolean algebra and ordinary algebra
• For example … the cancellation law for ordinary algebra …
If x + y = x + z then y = z
• The cancellation law is not true for Boolean algebra
• For example … x + y = x + z but y ≠ z.
– Let x = 1 y = 0 z = 1 ThenLet x = 1 y = 0 z = 1 … Then …
1 + 0 = 1 + 1 both side = 1 … but (y ≠ z … 0 ≠ 1)
62
![Page 63: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/63.jpg)
Differences between Boolean algebra and ordinary algebra
• In ordinary algebra … the cancellation law for multiplication is
If xy = xz, then y = z (3-32)
• This law is valid provided x ≠ 0
• In Boolean algebra … the cancellation law for multiplication is also gnot valid when x = 0
Let x = 0, y = 0, z = 1 … then 0 • 0 = 0 • 1, but 0 ≠ 1Let x 0, y 0, z 1 … then 0 0 0 1, but 0 ≠ 1
• Because x = 0 about half the time in switching algebra … the cancellation law for multiplication cannot be usedcancellation law for multiplication cannot be used
63
![Page 64: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/64.jpg)
Similarities Between
Boolean AlgebraBoolean Algebra and
O di Al bOrdinary Algebra
64
![Page 65: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/65.jpg)
Similarities Between Boolean Algebra and Ordinary Algebra
• Even though the statements in the previous slides are generally false for Boolean algebra … the converses are true …false for Boolean algebra … the converses are true …
If y = z, then x + y = x + z
If y = z, then xy = xz
65
![Page 66: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/66.jpg)
LabLab
66
![Page 67: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/67.jpg)
Lab
• No topics this week
67
![Page 68: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/68.jpg)
Next Week …
68
![Page 69: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/69.jpg)
Next Week Topics
• Exam #1 …
– Chapters 1 - 3 …
• I will provide a list of Laws and Theorems (page 55)
69
![Page 70: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/70.jpg)
Home Work
70
![Page 71: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/71.jpg)
Homework
1. Study for Exam #1 …
• Chapters 1 – 3
71
![Page 72: Logic Design I (17.341) Fall 2011 Lecture Outlinefaculty.uml.edu/dbowden/ClassPages/2011_Fall_KCS/17...• Understand and apply Chapter 2 Boolean algebra Laws and Theorems – Apply](https://reader034.vdocuments.net/reader034/viewer/2022042022/5e799857c6276a020c431595/html5/thumbnails/72.jpg)
References
1. None
72