Disjunctive Normal form (DNF)

what is DNF?

In a logical expression, a product of the variable and their negation is called elementary product.

e.g p^q, ~p^~q, ~p^q are elementary product

A sum of the variable and their negation is called elementary sum

e.g p v q, ~p v~q, ~p v q

Definition:

A logical expression is said to be in DNF form is it is the sum of elementary product.

dnf