disjunctive_normal_form