K-Map Solver

Interactive Karnaugh map for 2–5 variables with don't cares, grouping and minimal SOP / POS.

All tools Number System Converter IEEE 754 Floating Point 1's & 2's Complement IP Address / Subnet / VLSM Boolean Expression Solver Truth Table Generator K-Map Solver SOP ⇄ POS Converter

Set up the map

Number of variables

Solve for

Minterms – cells that are 1 (Σm)

Don't cares – cells that are X (d)

Show cell numbers

Tip: click a cell on the map to change it: 0 → 1 → X → 0.

Examples

Karnaugh map

Minimal expression

Truth table