DNF for propositional logic.