disjunctive_normal_form_orthogonal (442B)
1 # Disjunctive normal form orthogonal 2 3 [disjunctive_normal_form] where for any two [terms] they are not mutually satisfiable 4 - so it is an [unambiguous] [disjunctive_normal_form] 5 6 [complement]: [hitting_cnf] 7 8 note that necessarily the clauses (all except at most one) must be big (at least n/2) to satisfy this condition 9 10 [disjunctive_normal_form_orthogonal_negation] 11 12 Up: [disjunctive_normal_form] 13 14 Aliases: unambiguous DNF, unambiguous DNFs