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

The following truth table represents the function y = f(xn,...,x1, x0). 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.

Number of input variables:

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