dnk on loogika funktsiooni esitamine rea liikmete disjunktsioonina (summana), kus liikmed on argumentide või argumentide inversioonide elementtaar konjunktsioonid (korrutised). Elementtaar konjunktsioon on näiteks: x1 g 2 g 3 ; x2 g 3 g 4 . x x x x Elementtaar konjunktsioon ei ole näiteks: x1 g 2 g 2; x1 g 2 g 4 ; x2 g 3 g 4 x x x x x x