DNF
disjunctive normal form