Karnaugh Map Solver
One group per line: "variables; minterms; don't cares (optional)", e.g. A,B,C; 0,2,5,7 or A,B,C; 0,1,2; 3,5 - or just "3; 0,2,5,7", or a SOP like A'B + AC'
Input mode:
Variables:
Don't cares:
Output form:
K-map grid:
Separator:
Max results:
Calculation Result
Download CSV
| No. | Minterms | Minimal SOP | Minimal POS | Implicants | Gates |
|---|
Introduction to the tool and how to use it
Online Karnaugh-map simplifier: enter minterms and optional don't cares, and get the minimal SOP, minimal POS, the K-map grid, and a gate-count estimate.
One group per line in the format variables; minterms; don't-cares (optional), such as
Simplification uses the Quine-McCluskey algorithm to find all prime implicants, then essential prime implicants plus Petrick's method select the minimum cover — true K-map simplification, not a lookup table. It outputs each implicant term and the minterm indices it covers. Choosing output K-map grid draws rows and columns in Gray code (2 vars 2×2, 3 vars 2×4, 4 vars 4×4, 5 vars 4×8, 6 vars 8×8); each cell shows its minterm index and value (1 / 0 / X) and marks which group it belongs to. Up to 6 variables (2^6 = 64 cells); out-of-range minterm indices get a clear warning.
Note: this tool focuses on K-map simplification to minimal forms; for a full truth table from an expression use the Truth Table Generator, and for converting between SOP / POS / minterms / maxterms use the Boolean expression bidirectional converter.
One group per line in the format variables; minterms; don't-cares (optional), such as
A,B,C; 0,2,5,7 or A,B,C; 0,1,2; 3,5; you can also write just the variable count 3; 0,2,5,7, or only minterms and let the variable-count parameter set the bit width. Switch to SOP-expression mode and write A'B + AC' directly; the tool expands to a truth table before simplifying.Simplification uses the Quine-McCluskey algorithm to find all prime implicants, then essential prime implicants plus Petrick's method select the minimum cover — true K-map simplification, not a lookup table. It outputs each implicant term and the minterm indices it covers. Choosing output K-map grid draws rows and columns in Gray code (2 vars 2×2, 3 vars 2×4, 4 vars 4×4, 5 vars 4×8, 6 vars 8×8); each cell shows its minterm index and value (1 / 0 / X) and marks which group it belongs to. Up to 6 variables (2^6 = 64 cells); out-of-range minterm indices get a clear warning.
Note: this tool focuses on K-map simplification to minimal forms; for a full truth table from an expression use the Truth Table Generator, and for converting between SOP / POS / minterms / maxterms use the Boolean expression bidirectional converter.
How to use
- Paste minterms or logical expressions into the input box, one per line.
- Choose input mode and output form, and enter variable count and don't cares.
- Click Run.
- Review the simplified form and K-map, then copy or export.
Message board
All messages →-
No one has spoken up yet — want to go first?