new: Disjunctive Normal Form