WOLFRAM NOTEBOOK

WOLFRAM|DEMONSTRATIONS PROJECT

Minimal Disjunctive Normal Form

​
order
1
change table
truth table
DNF table
prime implicants
minimal DNF
The truth table of a
k
-order Boolean function has
k
2
rows. Its disjunctive normal form extracts all rows that return True. The prime implicants for these cases consolidate rules by introducing so-called "don't care" inputs that specify cases that do not depend on the value of a particular input. The minimal disjunctive form of a Boolean function is found by taking the smallest number of prime implicants.
The left plot presents a randomly generated truth table. The red vertical line separates the input bits on the left from the output on the right. The second plot tabulates the disjunctive normal form that includes only those cases which return True. The third plot shows all prime implicants and marks "don't care" inputs by cyan-colored squares. The right plot shows the minimal disjunctive normal form.
Wolfram Cloud

You are using a browser not supported by the Wolfram Cloud

Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.


I understand and wish to continue anyway »

You are using a browser not supported by the Wolfram Cloud. Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.