Tools
Interactive minimizers that show their work. Enter minterms, get the smallest expression, and see how it was found.
Scheinman tree method
Minimize single- and multiple-output functions and see every step of the tree, then the prime implicant chart.
Open the tool →
Scheinman tree, step by step
Every node of the tree drawn as you would write it by hand: the split, the matches, the check marks, then the chart.
Open the tool →
K-map solver
Click the cells of a 2–5 variable Karnaugh map and watch the groups and the minimal expression appear.
Open the tool →
Quine–McCluskey steps
The tabular method, one merge at a time, ending in the prime implicant chart.
Open the tool →
Truth table converter
From an expression to its truth table, minterms and canonical forms — and back again.
Open the tool →
Gate circuit viewer
Draw any minimized result as a network of AND, OR and NOT gates, with shared gates highlighted.
Open the tool →
Espresso
The classic heuristic minimizer, for comparing against exact methods on larger functions.
Open the tool →
The new tools will run entirely in your browser: nothing to install, and nothing you type is sent anywhere.