This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: c A.H.Dixon CMPT 150: Week 4 (Jan 28  Feb 1, 2008) 26 10 PRODUCT OF MAXTERMS CANONICAL FORM For each row of the function table where the value of the function is 0, construct a sum term with the property that all variables are included, and the value of the sum term is 0 for the assign of values to the variables indicated in the row. Example: x y z f sum term x + y + z 1 x + y + z 1 x + y + z 1 1 1 1 x + y + z 1 1 1 1 1 1 1 1 1 1 Then the expression: ( x + y + z )( x + y + z )(( x + y + z )( x + y + z ) is 0 only when any one of the sumterms is 0. Therefore it must have the same truth table as the function f . That is, f ( x,y,z ) = ( x + y + z )( x + y + z )(( x + y + z )( x + y + z ) Since all variables occur as literals in each sum term, each is a called a max term of the function f , and therefore the expression defines f as a product of maxterms. Like the sum of minterms, the product of maxterms representation is also a canon ical form, and a notation system exists to represent it ”numerically” similar to the Σ notation. In this case we list all the rows in which the function is 0, in a notation called the Π Notation, with the understanding that corresponding maxterms will be ”anded” together: f ( x,y,z ) = Π M (0 , 1 , 2 , 4) Just as every function has a least one sumofproducts representation, so every function has at least one productofsums representation. Other productofsums c A.H.Dixon CMPT 150: Week 4 (Jan 28  Feb 1, 2008) 27 representations can be found by applying the distributive, identity, and comple ment laws in a manner similar to the simplification of sumsofproducts. For example, consider the following function: f ( x,y,z ) = Π M (0 , 1 , 2 , 7) = ( x + y + z )( x + y + z )( x + y + z )( x + y + z ) = ( x + y + z )( x +...
View
Full
Document
This note was uploaded on 06/20/2010 for the course CMPT 150 taught by Professor Dr.anthonydixon during the Spring '08 term at Simon Fraser.
 Spring '08
 Dr.AnthonyDixon

Click to edit the document details