Logic Solver
Quine–McCluskey
The tabulation method: group minterms, find prime implicants and read the minimal cover.
Variables
Set some cells to 1 to start tabulating.
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
Minterms are grouped by their count of 1s. Neighbouring groups that differ in a single bit merge, and that bit becomes “-”. A ✓ means the term was absorbed by a merge; an unmarked row (P) is a prime implicant. Don’t cares take part in merging but never need covering.