Disjunctive Normal Form (DNF) and Conjunctive Normal Form (CNF)

The following truth table represents the function y = f(x_n,...,x₁, x₀). You can manually edit this function by clicking on the gray elements in the y column. Alternatively, you can generate a random function by pressing the "Random example" button.

Random example
Number of input variables: 1 2 3 4 5 6
Display: CNF DNF and CNF DNF

The JavaScript source code can be found here: normalform.js.

This website is part of the lecture Technical Computer Science.

Keywords: disjunctive normal form, conjunctive normal form, interactive DNF CNF calculator, html5, javascript