Conjunctive and Disjunctive Normal Forms