2cnf (240B)
1 # 2-CNF 2 3 A [conjunctive_normal_form] [boolean_formula] where every [clause] contains two [literals] 4 5 - [satisfiability_boolean] on such formulas: [2sat] 6 - generalization: [kcnf] 7 - special case: [monotone2cnf] 8 9 Up: [conjunctive_normal_form]