Disjunctive Normal Form Theorem