wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

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