Logic Minimization

Using this tool, you can compute minimal disjunctive normal forms using KV diagrams, the Quine-McCluskey tables, or symbolic logic minimization using BDDs.