4-Variable Karnaugh Map Solver
The most commonly taught K-map size. Solve any 4-variable function with exact minimization via essential prime implicants and Petrick's method.
Why use this 4-variable karnaugh map solver
The size most courses use
If your textbook has a worked example, it's almost certainly 4 variables — check your work here.
Exact minimal cover
Goes beyond essential prime implicants and applies Petrick's method for a genuinely minimal expression, not just a good-enough one.
See the circuit, not just the expression
Get an auto-generated gate-level diagram alongside the simplified Boolean expression.
Frequently asked questions
Why is 4 variables the standard teaching example?
It's the largest size that still fits on one flat, single-tile grid, while being complex enough to need real grouping strategy.
How many prime implicants can a 4-variable map have?
It varies by function — a complex 4-variable function can have several overlapping candidate groups before minimization narrows them to the essential ones.
Can I export the result?
Yes — use the Export PDF button to save the K-map, minimized expression, and circuit diagram.