disjunctive_normal_form_orthogonal (526B)
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 Could be called "unambiguous DNF" 7 8 What is the complement called? it's a [conjunctive_normal_form] where the disjunction of any two clauses is tautological 9 10 note that necessarily the clauses (all except at most one) must be big (at least n/2) to satisfy this condition 11 12 [disjunctive_normal_form_orthogonal_negation] 13 14 Up: [disjunctive_normal_form]