Logic Solver
Prime Chart
Which prime implicants cover which minterms, with essential primes marked.
Variables
Mark at least one minterm as 1.
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
A column with a single dot forces its row: that prime is essential (★). The remaining minterms are then covered with the fewest primes, found by an exhaustive search (Petrick-style) that falls back to a good heuristic on very large charts. Highlighted rows form the answer.