Mark Redekopp, All rights reserved. Lecture 5 Slides. Canonical Sums and Products (Minterms and Maxterms) 2-3 Variable Theorems DeMorgan s Theorem

Size: px

Start display at page:

Beryl Harris
5 years ago
Views:

1 Lecture 5 Slides Canonical Sums and Products (Minterms and Materms) 2-3 Variable Theorems DeMorgan s Theorem

2 Using products of materms to implement a function MAXTERMS

3 Question Is there a set of functions (F1, F2, etc.) that would allow ou to build ANY 3- variable function X Y Z F1 Fn?? Think simple, think man X Y Z F1 F2 Fn? 0 0 0? 0 0 1? 0 1 0? 0 1 1? 1 0 0? 1 0 1? 1 1 0? 1 1 1? X Y Z m0 m1 m2 m3 m4 m5 m6 m7? ? ? ? ? ? ? ? ? OR together an combination of m I s

4 Question OR this set of functions would also work. X Y Z F1 Fn?? X Y Z M0 M1 M2 M3 M4 M5 M6 M7? ? ? ? ? ? ? ? ? AND together an combination of M I s G G = M1 M3 M6

5 Materm Definition Materm: A sum term where each input variable of a function appears eactl once in that term (either in its true or complemented form) f(,,z) => + +z ++z +z z

6 Venn Diagram of Materms Onl one region OFF and all others ON M0 M2 X=0,Y=0 X+Y X=1,Y=0 X+Y M1 X=0,Y=1 X +Y M3 X=1,Y=1 X +Y

7 Product of Materms To compose a function we can AND the materms from the function s OFF-Set X Y F AND AND F=1 X=0,Y=0 X+Y X=1,Y=1 X +Y = F = XY + X Y

8 Checkers / Decoders An OR gate onl outputs 0 for 1 combination That combination can be changed b adding inverters to the inputs We can think of the OR gate as checking or decoding a specific combination and outputting a 0 when it matches. z OR gate decoding (checking for) combination 010 F X Y Z F z OR gate decoding (checking for) combination 110 F X Y Z F

9 Finding Equations/Circuits Given a function and checkers (called decoders) for each combination, we just need to AND together the checkers where F = 0 3-bit number {,,z} Mark Redekopp, All rights reserved Checker for 000 Checker for 001 Checker for 010 Checker for 011 Checker for 100 Checker for 101 Checker for 110 Checker for 111 Assume we use ORgate decoders that output a 0 when the combination is found F X Y Z F

11 Canonical Sums We OR together all the minterms where F = 1 ( = SUM or OR of all the minterms) F = m 2 +m 3 +m 5 +m 7 m 0 m 1 Canonical Sum: F = z (2,3,5,7) List the minterms where F is 1. m 2 m 3 m 4 m 5 m 6 m 7 X Y Z F

12 Canonical Products We AND together all the materms where F = 0 F = M 0 M 1 M 4 M 6 M 0 M 1 Canonical Product: F = z (0,1,4,6) List the materms where F is 0. M 2 M 3 M 4 M 5 M 6 M 7 X Y Z F

Logic Functions A logic function maps input combinations to an output value ( 1 or 0 ) 3 possible representations of a function Equation Schematic Truth Table Can convert between representations

14 Logic Functions A logic function maps input combinations to an output value ( 1 or 0 ) 3 possible representations of a function Equation Schematic Truth Table Can convert between representations Truth table is onl unique representation* * Canonical Sums/Products (minterm/materm) representation provides a standard equation/schematic form that is unique per function Mark Redekopp, All rights reserved

15 Unique Representations Canonical => Same functions will have same representations Truth Tables along with Canonical Sums and Products specif a function uniquel Equations/circuit schematics are NOT inherentl canonical Truth Table z P P, Canonical Sum ( 2,3,5,7 ), z ON-Set of P (minterms) Yields SOP equation, AND-OR circuit Canonical Product P (0,1,4,6 ),, z OFF-Set of P (materms) Yields POS equation, OR-AND circuit

16 Boolean Algebra Terminolog SOP (Sum of Products) Form: An SOP epression is a logical sum (OR) of product terms. Correct Eamples: [ z + w + a b c], [w + z + z] Incorrect Eamples: [ z + w (a+b) ], [ + ( z) ] POS (Product of Sums) Form: A POS epression is a logical product (AND) of sum terms. Correct Eamples: [(+ +z) (w +z) (a)], [z (+) (w +)] Incorrect Eamples: [ + (+w)], [(+) (+z) ]

17 Check Yourself Epression SOP / POS / Both / Neither w ( z) + z + w +z+(w z) (w+ +z)(w+) (w+)(w +z) w + w + w++

18 Check Yourself Epression SOP / POS / Both / Neither w ( z) + z + w +z+(w z) (w+ +z)(w+) (w+)(w +z) w + w + w++ Neither (Can t have complements of sub-epressions onl literal) SOP (parentheses are unnecessar) POS POS (a single literal is a sum term) SOP (redundanc doesn t matter) Both (individual literals are both a product and sum term)

19 2- and 3-variable Theorems BOOLEAN ALGEBRA AGAIN

20 2 & 3 Variable Theorems T8 XY+XZ = X(Y+Z) T8 (X+Y)(X+Z) = X+YZ T9 X + XY = X T9 X(X+Y) = X T10 XY + XY = X T10 (X+Y)(X+Y ) = X T11 XY + X Z + YZ = XY + X Z T11 (X+Y)(X +Z)(Y+Z) = (X+Y)(X +Z)

21 T8 Proof The police are looking for drunk drivers. The can arrest a person if his breath test is positive OR if the find an open container in the car and the contents are alcoholic. Mark Redekopp, All rights reserved Arrest = Breath + OpenContainer ContentsAlcoholic B T8 Arrest = (Breath + OpenContainer)(Breath + ContentsAlcoholic) B O C O C B+O C B+O B+C (B+O)(B+C)

22 Boolean Algebra Terminolog Literal: A literal is an instance of a single variable or its complement. Correct Eamples:,,, ALARM, (LON) Incorrect Eamples: +, (these are epressions) Product Term: A single literal or a logical product (AND ing) of two or more literals. Correct Eamples: z, w, w a b, c Incorrect Eamples: (+) z w, ( ) Onl evaluates to 1 for a single input combination Sum Term: A single literal or a logical sum (OR ing) of two or more literals. Correct Eamples: z +w+, +, Incorrect Eamples: ab+c, ( + z) Onl evaluates to 0 for a single input combination SOP (Sum of Products) Form: An SOP epression is a logical sum (OR) of product terms. (Convert to SOP b distributing full using T8) Correct Eamples: [ z + w + a b c], [w + z + z] Incorrect Eamples: [ z+w (a+b) ], [ + ( z) ] POS (Product of Sums) Form: A POS epression is a logical product (AND) of sum terms. (Convert to POS b distributing full using T8 ) Correct Eamples: [(+ +z) (w +z) (a)], [z (+) (w +)] Incorrect Eamples: [( +) +(+w)], [(+) (+z) ]

23 Convert to SOP/POS Epression + (+w) to SOP SOP or POS + +z to POS (XZ + X Z )(WY + W Y ) to SOP X Y + (X+Y)Z to POS

24 T9 Proof X + XY = X X XY + = X

25 T9 Proof X(X+Y)= X X X+Y = X

26 T10 Proof XY + XY = X XY XY + = X

27 T10 Proof (X+Y )(X+Y)= X X+Y X+Y = X

28 Proof b Other Theorems T9: X+XY = X T9 : X(X+Y) = X T10: XY +XY = X T10 : (X+Y )(X+Y) = X

29 T11 Proof Proof T11: XY + X Z + YZ = XY + X Z z z XY+X Z+YZ XY+X Z

30 T11 Proof Proof T11: (X+Y)(X +Z)(Y+Z) = (X+Y)(X +Z) z z (X+Y)(X +Z)(Y+Z) (X+Y)(X +Z)

31 DeMorgan s Theorem Consider the statement You will get a Good grade if ou do our Homework and go to Class When will ou get a bad grade? Consider the statement: USC will Win if we Pla better or UCLA Turns the ball over When will USC lose?

32 DeMorgan s Theorem Inverting output of an AND gate = inverting the inputs of an OR gate Inverting output of an OR gate = inverting the inputs of an AND gate A function s inverse is equivalent to inverting all the inputs and changing AND to OR and vice versa A B Out A B Out A B A+B A B Out A B Out A+B A B

33 DeMorgan s Theorem F = (X+Y) + Z (Y+W) To find F, invert both sides of the equation and then use DeMorgan s theorem to simplif F = (X+Y) + Z (Y+W) F = (X+Y) (Z (Y+W)) F = (X Y) (Z + (Y+W)) F = (X Y) (Z + (Y W))

Generalized DeMorgan s Theorem F (X 1,,X n,+, ) = F(X 1,,X n,,+) To find F, swap AND s and OR s and complement each literal. However, ou must maintain the original order of operations.

34 Generalized DeMorgan s Theorem F (X 1,,X n,+, ) = F(X 1,,X n,,+) To find F, swap AND s and OR s and complement each literal. However, ou must maintain the original order of operations. Note: This parentheses doesn t matter (we are just OR ing X, Y, and the following subepression) F = (X+Y) + Z (Y+W) F = X+Y + (Z (Y+W)) Full parenthesized to show original order of ops. F = X Y (Z + (Y W)) AND s & OR s swapped Each literal is inverted

35 DeMorgan s Theorem Eample Cancel as man bubbles as ou can using DeMorgan s theorem then convert to either SOP or POS. W X Y F Z

37 Unique Representations Canonical => Same functions will have same representations Truth Tables along with Canonical Sums and Products specif a function uniquel Equations/circuit schematics are NOT inherentl canonical Truth Table z P P, Canonical Sum ( 2,3,5,7 ), z Canonical Product P (0,1,4,6 ),, z rows where P=1 rows where P=0 Yields SOP equation, AND-OR circuit Yields POS equation, OR-AND circuit

38 Binar Decision Diagram Graph (binar tree) representation of logic function Verte = Variable/Decision Edge = Variable value (T / F) X Y Z F X Y Z F X Y Z X Y Z 0 1 True False BDD for F Mark Redekopp, All rights reserved 0 1

39 Venn Diagrams Practice F = (X Y)

40 Venn Diagrams Answer F = (X Y) X Y F = (X Y)

41 3-Variable Venn Diagrams All the same rules appl Since there are 3-variables, we must have 8 disjoint regions (1 for each combination / minterm / materm) z

42 3-Variable Venn Diagrams Each area represents a different combination of X, Y, and Z This area represent where X=1 and Y=1 and Z=0 (i.e. F=X Y Z ) z

43 3-Variable Venn Diagrams Each area represents a different combination of X, Y, and Z This area represent where X=1 and Y=1 and Z=0 (i.e. F=X Y Z ) This area represent where X=1 and Y=1 and Z=1 (i.e. F=X Y Z) z

44 3-Variable Venn Diagrams Each area represents a different combination of X, Y, and Z This area represent where X=1 and Y=1 and Z=0 (i.e. F=X Y Z ) This area represent where X=1 and Y=1 and Z=1 (i.e. F=X Y Z) z This area represent where X=0 and Y=0 and Z=1 (i.e. F=X Y Z)

7.1. Unit 7. Minterm and Canonical Sums 2- and 3-Variable Boolean Algebra Theorems DeMorgan's Theorem Simplification using Boolean Algebra

7.1. Unit 7. Minterm and Canonical Sums 2- and 3-Variable Boolean Algebra Theorems DeMorgan's Theorem Simplification using Boolean Algebra 7.1 Unit 7 Minterm and Canonical Sums 2- and 3-Variable Boolean Algebra Theorems DeMorgan's Theorem Simplification using Boolean Algebra CHECKERS / DECODERS 7.2 7.3 Gates Gates can have more than 2 inputs