full disjunctive normal form