Elementtaar

Kasutatud lausetes (Informaatika)

Loogikafunktsiooni täielik disjunktiivne normaalkuju ehk TDNK 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 TDNK puhul peavad kõik liikmed sisaldama funktsiooni kõiki argumente või nende inversioone.
elementtaar konjunktsioon on näiteks: x1 gx2 gx3 ; x2 gx3 gx4 .

Kirjapilt.