400 likes | 416 Views
ECE/CS 352 Digital Systems Fundamentals. Spring 2001 Chapter 2 Part 3. Tom Kaminski & Charles R. Kime. Boolean Operator Precedence. Review: Duality Principle. Duality In Proofs. Useful Theorems. Proof of Simplification. Proof of Concensus. Proof of DeMorgan’s Law.
E N D
ECE/CS 352 Digital Systems Fundamentals Spring 2001 Chapter 2 Part 3 Tom Kaminski& Charles R. Kime ECE/CS 352 Digital System Fundamentals
Boolean Operator Precedence ECE/CS 352 Digital System Fundamentals
Review: Duality Principle ECE/CS 352 Digital System Fundamentals
Duality In Proofs ECE/CS 352 Digital System Fundamentals
Useful Theorems ECE/CS 352 Digital System Fundamentals
Proof of Simplification ECE/CS 352 Digital System Fundamentals
Proof of Concensus ECE/CS 352 Digital System Fundamentals
Proof of DeMorgan’s Law ECE/CS 352 Digital System Fundamentals
Boolean Function Evaluation ECE/CS 352 Digital System Fundamentals
Expression Simplification • Simplify to contain the smallest number of literals (complemented and uncomplemented variables): ECE/CS 352 Digital System Fundamentals
Complementing Functions • This generate a lot of terms. You might want to simplify the expression first. ECE/CS 352 Digital System Fundamentals
Canonical Forms • It is useful to specify Boolean functions of n variables in a manner that is easy to compare. • Two such Canonical Forms are in common usage: • Sum of Minterms • Product of Maxterms ECE/CS 352 Digital System Fundamentals
Minterms ECE/CS 352 Digital System Fundamentals
Maxterms ECE/CS 352 Digital System Fundamentals
Maxterms and Minterms The index above is important for describing which variables in the terms are true and which are complemented. ECE/CS 352 Digital System Fundamentals
Standard Order ECE/CS 352 Digital System Fundamentals
Purpose of the Index • The index for the minterm or maxterm, expressed as a binary number, is used to determine whether the variable is shown in the true form or complemented form. ECE/CS 352 Digital System Fundamentals
Index Example in Three Variables ECE/CS 352 Digital System Fundamentals
Four Variables, Index 0-7 ECE/CS 352 Digital System Fundamentals
Four Variables, Index 8-15 ECE/CS 352 Digital System Fundamentals
Minterm and Maxterm Relationship ECE/CS 352 Digital System Fundamentals
Function Tables for Both Minterms of two variables Maxterms of two variables ECE/CS 352 Digital System Fundamentals
Observations ECE/CS 352 Digital System Fundamentals
Minterm Function Example ECE/CS 352 Digital System Fundamentals
Minterm Function Example • F(A, B, C, D, E) = m2 + m9 + m17 + m23 ECE/CS 352 Digital System Fundamentals
Maxterm Function Example ECE/CS 352 Digital System Fundamentals
Maxterm Function Example ECE/CS 352 Digital System Fundamentals
Cannonical Sum of Minterms ECE/CS 352 Digital System Fundamentals
Another SOM Example ECE/CS 352 Digital System Fundamentals
Shorthand SOM Form Note that we explicitly show the standard variables in order and drop the “m” designators. ECE/CS 352 Digital System Fundamentals
Canonical Product of Maxterms ECE/CS 352 Digital System Fundamentals
Product of Maxterm Example ECE/CS 352 Digital System Fundamentals
Function Complements Then: Or alternately: ECE/CS 352 Digital System Fundamentals
Conversion Between Forms ECE/CS 352 Digital System Fundamentals
Review of Canonical Forms ECE/CS 352 Digital System Fundamentals
Review: Indices ECE/CS 352 Digital System Fundamentals
Forms of Terms, Complements ECE/CS 352 Digital System Fundamentals
Review: Sum of Minterms Form ECE/CS 352 Digital System Fundamentals
Review: Product of Maxterms ECE/CS 352 Digital System Fundamentals
Review: Complements, Conversions ECE/CS 352 Digital System Fundamentals