Graafid ja matemaatiline loogika eksamimaterjal
ja disjunktsioonide sisse)
Korrutada disjunktsioonid läbi (distributiivsuse seaduse abil)
Kaotada samaselt väärad konjunktsioonid ja sama liikme
mitmekordsed esinemised konjunktsioonides
Lisada konjunktsioonidele puuduvad muutujad
Korrastada valem (järjestada muutujad konjunktsioonides ja
kaotada korduvad konjunktsioonid)
o TDNK leidub igal kehtestataval valemil ja on üheselt määratud
täielike elementaarkonjuktsioonide järjekorra täpsusega
Lausearvutuse valemi F täielikuks konjuktiivseks normaalkujuks
(TKNK) nimetatakse valemiga F samaväärset valemit, mis kujutab endast
erinevate täielike elementaardisjunktsioonide konjuktsiooni
o (X111 V ... V X n1n) & (X121 V ... V Xn2n) & ...& (X1m1 V ... V X nmn) on
väär väärtustustel (¬11, ..., ¬1n), (¬21, ..., ¬2n), ..., (¬m1, ...,
annaabi.ee 
