PPT Slide
Combinational logic summary
Logic functions, truth tables, and switches
- NOT, AND, OR, NAND, NOR, XOR, . . ., minimal set
Axioms and theorems of Boolean algebra
- proofs by re-writing and perfect induction
Gate logic
- networks of Boolean functions and their time behavior
Canonical forms
- two-level and incompletely specified functions
Later
- automation of simplification
- multi-level logic
- design case studies
- time behavior