← Virtual labs

Digital design · Two-level minimisation

Logic synthesis.

Minimal sum-of-products

Quine-McCluskey prime implicants + essential-PI cover. The same two-level SOP realises directly as NAND-NAND with identical gate count (De Morgan).

Karnaugh map · implicant groups

Gate-level circuit (AND-OR)