negation_normal_form (373B)
1 # Negation normal form 2 3 [Boolean_circuits] using [OR], [AND], [literal_gates], and [cosntant_gates] 4 5 Hence, [negation] is only at the leaves 6 7 Subclasses: 8 9 - [DNNF] 10 11 All [knowledge_compilation_queries] are (conditionally) intractable on the class ; some [knowledge_compilation_transformations] are tractable and others not 12 13 Up: [knowledge_compilation_classes] 14 15 Aliases: NNF