Täielik elementaarkonjuktsioon on literaalidest L1,L2,...,Ln koostatud valem L1&L2&...&Ln. Täielik disjunktiivne normaalkuju Lausearvutuse valemi F täielikuks disjunktiivseks normaalkujuks nimetatakse valemiga F samaväärset valemit, mis kujutab endast erinevate täielike elementaarkonjuktsioonide disjunktsiooni. Täielik elementaardisjunktsioon on literaalidest L1,L2,...,Ln koostatud valem L1vL2v...vLn. Täielik konjuktiivne normaalkuju - Lausearvutuse valemi F täielikuks konjuktiivseks normaalkujuks nimetatakse valemiga F samaväärset valemit, mis kujutab endast erinevate täielike elementaardisjunkttsioonide konjuktsiooni. Hulgateooria alusmõisted: 1. Hulk on üksteisest erinevate objektide ehk hulga elementide kogum, mida vaadeldakse ühe tervikuna 2. Hulkade võrdsus: kahte hulka loeme võrdseks, kui nad koosnevad samadest elementidest. Elementide järjestus ega muud elementide omavahelised vahekorrad olulised ei ole. 3
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, ..., ¬mn) ja tõene kõigil ülejäänud väärtustustel.TKNK-le viimine: Koostame valemi põhjal tõeväärtustabeli
annaabi.ee 
