Click cells on the K-Map to mark outputs as 1 — the minimized expression appears here live.
Prime Implicants
Truth Table & Waveform
Every input combination, generated straight from your K-Map — with a timing-diagram view of the same data below it.
Truth Table
Waveform Diagram
Algebraic Simplifier
A derivation from the canonical sum-of-products down to the minimal expression, built directly from the Quine–McCluskey merge steps.
Quine–McCluskey Steps
Expand each stage to see how minterms are grouped, merged, and filtered down to the minimal cover.
Circuit Diagram
The literal gate-for-gate circuit implied by the truth table, next to the minimized version — same logic, far fewer gates.
Original (Unsimplified)
Simplified
FSM Designer
Build a Moore or Mealy machine from its state table, minimize it, then get exact D/JK/T flip-flop equations — each backed by the same Quine–McCluskey engine as the K-Map tool.
State Diagram
Transition TableClick a next-state or output cell to edit it
Counter Designer
Pick a counter type (or type your own sequence), choose a flip-flop and direction — LogicBench derives the state table, checks it for lockout, minimizes it, and gives exact flip-flop equations, same as a hand-designed counter.
Count Sequence
Select Tool
Quick Guide
1Enter your variables and expression
2View K-Map and automatic grouping
3See minimized expression
4Build and simulate the circuit
HistoryView All
Circuit
State Diagram EditorClick empty canvas to add a state · drag the small teal dot on a state to another state to add a transition
Machine Type
Inputs
Drag a state's body to move it · drag its teal dot to connect it · click a state or transition to edit · Delete/Backspace removes the selected item
LogicBench
Digital Logic Suite