^^Conjunctive & disjunctive normal form.

 

Teo: Every propositional formula can be transformed into

 

wp/Conjunctive_normal_form

(  +  +  ... )(  +  +  ... )...(  +  +  ... )  prodotto di somme

a conjunction of clauses, each clause being a disjunction of literals or negation of literals.

 

disjunctive normal form

(  ·  ·  ...)+(  ·  ·  ...)+...+(  ·  ·  ...)   somma di prodotti

 

Dirlo

Teo: Every propositional formula can be transformed into conjunctive normal form and into disjunctive normal form.

 

Links

johndcook/ 7 normal forms in logic