wiki_research

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

hitting_cnf (235B)

      1 # Hitting cnf
      2 
      3 A [conjunctive_normal_form] where the [disjunction] of any two [clauses] is [tautological]
      4 
      5 [Negation]: [disjunctive_normal_form_orthogonal]
      6 
      7 Up: [conjunctive_normal_form]
      8 
      9 See also: [hitting_set]
     10 
     11 Aliases: hitting CNFs