( + + ... )( + + ... )...( + + ... ) prodotto di somme
a conjunction of clauses, each clause being a disjunction of literals or negation of literals.
disjunctive normal form
( · · ...)+( · · ...)+...+( · · ...) somma di prodotti
Teo: Every propositional formula can be transformed into conjunctive normal form and into disjunctive normal form.
johndcook/ 7 normal forms in logic