wiki_research

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

k_unambiguous_dnf (232B)

      1 # K unambiguous DNF
      2 
      3 A [DNF] where for every [Boolean_valuation] there are at most k [clauses] that evaluate to true
      4 
      5 Special cases:
      6 - k=1: [disjunctive_normal_form_orthogonal]
      7 - k=2: [2_unambiguous_DNF]
      8 
      9 Up: [DNF], [k_unambiguous]