Boolean simplification is usually more confusing than it needs to be, and that's the gap this project tries to close.
Rather than juggling separate tools for a K-Map, a truth table, a Boolean expression, and minterms and maxterms, everything lives in one place here. Each of those views describes the same underlying function, so changing one updates the rest instead of forcing you to start the problem over.
Functions with 2, 3, 4, and 5 variables are all supported. SOP and POS forms, don't-care conditions, highlighted K-Map groupings, and gate-level circuit diagrams are part of the core toolkit.
When a straightforward visual grouping isn't enough to reach a minimal answer, the solver falls back on Quine-McCluskey and Petrick's Method behind the scenes.
Getting an answer was never really the point on its own. Seeing how the truth table, the map, the simplified expression, the groupings, and the final circuit all connect matters just as much.
A finished solution can also be exported as a PDF, useful if you want to hold onto it for study or review later.
This is an independent web project, maintained on the side rather than by a company. Keeping it fast, clear, and usable on both desktop and mobile, without needing an account, is really the whole focus.
If something looks off, a calculation behaves in a way you didn't expect, or you've got an idea that would make the solver more useful, the Contact page is the place to send it. Feedback genuinely shapes what gets worked on next.
About the Project
Karnaugh Map Solver is a browser-based tool for Boolean logic, built around accuracy, usability, and clear visual feedback.
What's included:
- interactive K-Maps
- synchronized truth tables
- Boolean expression input
- direct minterm and maxterm input
- SOP and POS simplification
- don't-care handling
- highlighted groups
- logic circuit diagrams
- step-by-step results
- PDF export
- multilingual support
It's meant for learning, practice, checking your own work, and general Boolean logic problems. No account is needed for normal use.
Who Built This
Computer science and software engineering student focused on full-stack development, algorithmic efficiency, and building fast, practical web tools. Karnaugh Map Solver is an independently developed project built around accurate Boolean simplification, clear visual feedback, and a smooth experience across desktop and mobile.
