Settings

K-Map Solver

Quickly simplify Boolean logic with an interactive Karnaugh map (K-map) for 2–4 variables. Toggle cells, see solutions instantly, and switch between K-map and truth table views.

• Set Variables: Choose 2–4 variables. The grid updates automatically.
• Edit Cells: Click cells to cycle: 0 → 1 → X (“don’t care”).
• Features: Color-coded groups, Gray/Binary layouts, hide zeros, light/dark themes, PWA offline support.
• Solution: Minimal SOP form, copyable, multiple solutions if available.

• A = 1 (true), A̅ = 0 (false), blank = 0
• Example: A̅BC̅ means A=0, B=1, C=0

View source code on GitHub