Two-level 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
- proofs by perfect induction (show correctness for all input values)
Gate logic
- networks of Boolean functions and their time behavior
Canonical forms
- two-level and incompletely specified functions
Simplification
- two-level simplification (K-maps)