K-map Structure
2x4 Grid Structure (Variables: A, B, C)
00
01
11
10
BC
BC
BC
BC
0
m0
m1
m3
m2
1
m4
m5
m7
m6
Row Labels: A values (0, 1)
Column Labels: BC values in Gray code
Gray Code Order: Adjacent columns differ by exactly 1 bit
00 → 01 → 11 → 10
Minterm Addresses:
mn = decimal value of ABC
e.g., m5 = A=1, B=0, C=1 (1012 = 5)
Why Gray Code? Ensures adjacent cells differ by only one variable, enabling visual identification of simplification opportunities.
Interactive K-map
Click cells to toggle: 0 → 1 → X → 0
BC A
A\BC
00
01
11
10
B'C'
B'C
BC
BC'
0
m00
m10
m30
m20
1
m40
m50
m70
m60
A=1 (bottom row)
B=1 (columns 11, 10)
C=1 (columns 01, 11)
Wraparound Adjacency: Column 00 is adjacent to column 10 (they differ by only B)
Product Term Entry
Enter SOP Expression:
Or select minterms directly:
Current Function:
F(A,B,C) = 0
Notation: Use ' for complement (A' = NOT A), + for OR, and adjacency for AND.