Karnaugh map solver
Enter minterms and optional don't-care terms; the solver returns one valid minimal SOP.
Method and Gray-code order
This uses deterministic Quine–McCluskey implicant merging up to four variables; the reported form is one valid minimal SOP when alternatives exist. Gray-code cell order is shown with each result. Test: 2-variable Σm(0,1,2,3) gives 1; all-zero is 0.
Boolean Logic Calculator · Number System Converter · Semiconductor hub