0
ㅤ
0000
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, AB/CD or CD/AB 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
4
ㅤ
0100
12
ㅤ
1100
8
ㅤ
1000
1
ㅤ
0001
5
ㅤ
0101
13
ㅤ
1101
9
ㅤ
1001
3
ㅤ
0011
7
ㅤ
0111
15
ㅤ
1111
11
ㅤ
1011
2
ㅤ
0010
6
ㅤ
0110
14
ㅤ
1110
10
ㅤ
1010
| # | A | B | C | D | Output |
|---|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 0 | ㅤ |
| 1 | 0 | 0 | 0 | 1 | ㅤ |
| 2 | 0 | 0 | 1 | 0 | ㅤ |
| 3 | 0 | 0 | 1 | 1 | ㅤ |
| 4 | 0 | 1 | 0 | 0 | ㅤ |
| 5 | 0 | 1 | 0 | 1 | ㅤ |
| 6 | 0 | 1 | 1 | 0 | ㅤ |
| 7 | 0 | 1 | 1 | 1 | ㅤ |
| 8 | 1 | 0 | 0 | 0 | ㅤ |
| 9 | 1 | 0 | 0 | 1 | ㅤ |
| 10 | 1 | 0 | 1 | 0 | ㅤ |
| 11 | 1 | 0 | 1 | 1 | ㅤ |
| 12 | 1 | 1 | 0 | 0 | ㅤ |
| 13 | 1 | 1 | 0 | 1 | ㅤ |
| 14 | 1 | 1 | 1 | 0 | ㅤ |
| 15 | 1 | 1 | 1 | 1 | ㅤ |