klassikalisel viisil omistatud tõeväärtused • Kui valemil, mille tähiseks on W, on klassikalisel viisil omistatud tõeväärtus õige (ehk 1 või T), siis valemi ØW klassikalisel viisil omistatud tõeväärtuseks on vale (ehk 0 või F) • Kui valemil, mille tähiseks on W, on klassikalisel viisil omistatud tõeväärtus vale (ehk 0 või F), siis valemi ØW klassikalisel viisil omistatud tõeväärtuseks on õige (ehk 1 või T) Hulgateooria valemite konjunktsioonidele ja disjunktsioonidele klassikalisel viisil omistatud tõeväärtused • Kui W ja M on hulgateooria valemite tähised, siis järgnevad kirjutised W&M, WÚM, tähistavad vastavalt valemite W ning M konjunktsioone ja disjunktsioone, milles W ning M on valemis W&M konjunktid ning valemis WÚM disjunktid • Valemite W ja M konjunktsioonile W&M klassikaliselt omistatud tõeväärtuseks on õige vaid siis, kui mõlema konjunkti (st nii
o TDNK-le viimise algoritm: Elimineerida implikatsioonid ja ekvivalentsid Viia eitused vahetult lausemuutujate ette (st konjunktsioonide 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
annaabi.ee 
