Add Disjunctive Normal Form