Logic Solver
Karnaugh Map
A layered K-map with grouping, SOP and POS results and the gate circuit for the answer.
Variables
AB\CD0001111000011110
Minimal sum of products (exact minimum)
F(A, B, C, D) = 0
Minterms / don’t cares0 / 0 of 16
Prime implicants0 (0 essential)
Terms · literals0 · 0
Rows and columns use Gray code, so neighbours differ by one bit. Beyond 4 variables the map is drawn as layers (the leftmost variables label each layer): cells in the same position of layers that differ in one variable are also neighbours. Tap a term above to see its group. ★ marks an essential prime implicant.