BDD Solver
An interactive app for turning truth tables into Binary Decision Diagram reduction steps.
Overview
BDD Solver turns a truth table into live Binary Decision Diagram reduction steps. Edit output rows, choose variable labels, inspect the tree, and follow the diagram as equivalent nodes and redundant decisions are removed.
The live app contains the full solver flow and supporting details. Open BDD Solver.
Truth Table
Define minterms and don't-cares for 1 to 4 variables.
Reduce
Step through the BDD until redundant decisions are removed.
Inspect
Read formulas, labels, node counts, and the active tree state.
BDD Visualization
The tree view shows each reduction step as a layered decision diagram with readable low and high edges.
Step formulas and selected node formulas stay visible in readable KaTeX notation and can be copied as LaTeX.
MUX Circuit
You can also view the MUX circuit representation of the current Binary Decision Diagram.
Technical Notes
The app uses React and Vite for the frontend, SVG for the BDD tree, KaTeX for math rendering, and a solver API that returns ordered reduction steps and tree metadata.
Comments
0Loading comments...