Logic minimization and Karnaugh maps
How do we minimize logic functions?
- 2 – 4 vbls: K-maps
- 4 – 6 vbls: K-maps or CAD tools
- 6+ vbls: CAD tools
K-maps visualize the uniting theorem
- Uniting thm: A(B + B') = A
- On-set elements with one changing variable are adjacent