Design the logic first.
Then wire it for real.
Six free digital logic design tools, built as one connected suite instead of six disconnected calculators: a K-Map solver, a circuit diagram generator, a truth table generator, a Boolean algebra simplifier, a two-way FSM designer, and a lockout-checked counter designer.
Solve your problem here, then click Build — every result becomes a real circuit wired from actual 74-series ICs and flip-flops in LogicBench’s simulator, ready to extend or reuse as a sub-circuit, not just a diagram on screen.
Pick where your problem starts.
K-Map Solver
Click cells or type an expression — get the minimized SOP, the algebraic proof, Quine-McCluskey steps, a truth table, a waveform, and a real gate-level circuit you can build with one click.
Open tool02Circuit Diagram
The unsimplified and minimized gate-level schematics side by side, with exact term and gate counts — and a Build button that wires either one from real ICs in the simulator.
Open tool03Truth Table Generator
The full truth table and a synced timing waveform, generated from the same expression as your K-Map, circuit, and Quine-McCluskey steps — no retyping between tools.
Open tool04Boolean Algebra Simplifier
Every simplification step named — De Morgan's, absorption, consensus — as an algebraic proof alongside the same problem's K-Map grouping and Quine-McCluskey merge passes.
Open tool05FSM Designer
Draw the state diagram or fill in the transition table — either direction auto-generates the other, plus the excitation table and flip-flop equations, then builds as real flip-flop ICs.
Open tool06Counter Designer
Binary, BCD, Gray, ring, Johnson, mod-N, or a fully custom sequence — with automatic lockout detection, state encoding, excitation equations, waveform, and a real flip-flop circuit.
Open toolA truth table, a K-Map, and a circuit are the same problem.
Most online tools solve one step in isolation — a K-Map here, a truth table generator there — and leave you to retype the answer into the next one by hand. LogicBench’s Digital Logic Suite keeps them connected: build a K-Map, and its truth table, algebraic proof, Quine-McCluskey check, and gate-level circuit are already waiting for you. Draw an FSM’s state diagram and its transition table, excitation table, and flip-flop equations update automatically — and the reverse works too.
And because it’s built on the same engine as LogicBench’s simulator, every result — a minimized expression, an FSM’s flip-flop equations, a counter’s lockout-checked excitation table — builds as a real circuit with actual 74-series ICs and flip-flops, not just a diagram. Once it’s built, extend it or reuse it as a sub-circuit inside a larger design, the same way you’d reuse a verified block on a real breadboard.
6
Connected tools, one shared engine.
7
Counter types — binary, BCD, Gray, ring, Johnson, mod-N, custom.
Solve → Build → Reuse
Every result builds as real ICs in the simulator — extend it or drop it into a larger circuit as a sub-circuit.
Free. No signup. No limits.
Pick a tool and start solving — everything stays connected.
Open the K-Map solver