CNF / DNF

Disjunctive and conjunctive normal forms from a Boolean expression.

About this tool

Disjunctive (DNF) and conjunctive (CNF) normal forms from a Boolean expression. Same syntax as Logic Tables. Up to 6 variables.

Example: (a & b) | !c