conjunctive_normal_form (674B)
1 # Conjunctive normal form (CNF) 2 3 A [boolean_formula] which is a [conjunction] of [clauses] 4 5 Types: 6 - [monotone_cnf] 7 - [2cnf] 8 - [monotone2cnf] 9 - [3cnf] 10 - [kcnf] 11 - [cnf_variable_convex] 12 - [hitting_cnf] 13 14 lower bound on size of CNF relative to [disjunctive_normal_form] 15 16 Graphs: 17 - [primal_graph] 18 - [dual_graph] 19 - [incidence_graph] 20 21 Parameters: 22 - [clause_width] 23 - [primal_treewidth] 24 - [dual_treewidth] 25 - [incidence_treewidth] 26 - [CNF_dimension] 27 - [variable_clause_difference] 28 29 [conversion]: 30 - [cnf_to_dnnf] 31 - [cnf_to_decision_dnnf] 32 33 Notions: 34 - [Sub_CNF]: a [subset] of the [clauses] 35 36 See also: [disjunctive_normal_form], [dualization] 37 38 Up: [boolean_formula] 39 40 Aliases: CNF, CNFs