Embedded Systems Group (ES)

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.

method
variable ordering
formula
care set