A collection of 4 posts
TL;DR: Boolean algebra is a formal system for manipulating two-valued logical variables with operations such as AND, OR, and NOT. Identity, absorption, distributive, complement, and De Morgan laws...
TL;DR: De Morgan's two identities — and — let you swap AND for OR (and vice versa) by distributing inversion. The practical payoff: any logic function can be implemented in NAND...
TL;DR: Canonical Product of Sums ANDs one maxterm for each zero row; canonical Sum of Products ORs one minterm for each one row. Counting zero rows predicts canonical term...
TL;DR: A Karnaugh map arranges a truth table on a Gray-coded grid so adjacent cells differ in one variable. Power-of-two groups identify implicants for a two...
