· Konjunktiivne normaalkuju (KNK) on valem, mis koosneb elemantaardisjunktsioonide konjunktsioonist. · Elemantaardisjunktsioon koosneb argumentide ja/või nende inversioonide disjunktsioonist. · Iga funktsioon on esitatav DNK ja KNK kujul, kuid mitte üheselt. · Täielik DNK (TDNK) on selline DNK, kus iga elemantaarkonjunktsiooni pikkus on n (s.o. iga elementaarkonjunktsioon sisaldab funktsiooni kõiki argumente). · Täielik KNK (TKNK) on selline KNK, kus iga elemantaardisjunktsiooni pikkus on n (s.o. iga elementaardisjunktsioon sisaldab funktsiooni kõiki argumente). · Igal funktsioonil on täpselt üks TDNK ja üks TKNK. Näiteid · x1x2 x1 x2 x3 = x1 x2 x3 x1 x2 x3 x1 x2 x3 Parempoolne valem on funktsiooni täielik DNK. · x1 x2 x1 x2 x3 = ( x1 x2 x3 )( x1 x2 x3 )( x1 x2 x3 )( x1 x2 x3 )( x1 x2 x3 ) Parempoolne valem on funktsiooni täielik KNK. · ( x1x2 ) ( x1 x3 ) = x1 x2 x3 Parempoolne valem on antud funktsiooni DNK, KNK, TKNK.
Konjunktiivne normaalkuju (KNK) on valem, mis koosneb elemantaardisjunktsioonide konjunktsioonist. Elemantaardisjunktsioon koosneb argumentide ja/või nende inversioonide disjunktsioonist. Iga funktsioon on esitatav DNK ja KNK kujul, kuid mitte üheselt. Täielik DNK (TDNK) on selline DNK, kus iga elemantaarkonjunktsiooni pikkus on n (s.o. iga elementaarkonjunktsioon sisaldab funktsiooni kõiki argumente). Täielik KNK (TKNK) on selline KNK, kus iga elemantaardisjunktsiooni pikkus on n (s.o. iga elementaardisjunktsioon sisaldab funktsiooni kõiki argumente). Igal funktsioonil on täpselt üks TDNK ja üks TKNK. Näiteid x1 x2 x1 x2 x3 x1 x2 x3 x1 x2 x3 x1 x2 x3 Parempoolne valem on funktsiooni täielik DNK. 11 x1 x2 x1 x2 x3 x1 x2 x3 x1 x2 x3 x1 x2 x3 x1 x2 x3 x1 x2 x3
annaabi.ee 
