Karnough

Karnough takes one of the trickiest topics in digital logic — simplifying boolean expressions with Karnaugh maps — and makes it visual and hands-on. Enter a truth table or type a boolean expression, and Karnough lays out the corresponding K-map, then shows you exactly how the ones group together into the largest valid blocks and reads off the minimized expression that results. It teaches the method rather than just handing over an answer. The map is drawn with proper Gray-code ordering so adjacencies actually line up, and the grouping is shown visually — each group highlighted as a colored block — so you can see why adjacent ones combine and how a bigger group means a simpler term. It walks the simplification step by step, explaining which variables drop out of each group and why, then assembles the final sum-of-products expression. It handles maps from two up to four variables, deals with don't-care conditions, and lets you toggle individual cells to watch the grouping and the simplified result update instantly — turning "why is that the minimal form" into something you can just see. A practice mode gives you expressions to minimize yourself and checks your answer, and a reference explains the rules of grouping and the logic behind them. Clear, visual, and built for actually understanding digital logic. Everything runs on your device: no account, no connection, no ads. Just the map, the groups, and the simplest form.