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 W, kuid ka M) klassikaliselt omistatud tõeväärtuseks on õige
o TKNK-le viimise algoritm: Elimineerida implikatsioonid ja ekvivalentsid Viia eitused vahetult lausemuutujate ette (st konjunktsioonide ja disjunktsioonide sisse) ,,Liita" konjunktsioonid läbi (teise distributiivsuse seaduse abil) Kaotada samaselt tõesed disjunktsioonid ja sama liikme mitmekordsed esinemised disjunktsioonides Lisada disjunktsioonidele puuduvad muutujad Korrastada valem (järjestada muutujad disjunktsioonides ja kaotada korduvad disjunktsioonid) Lausearvutuse valemid A(X1 ,..., Xn ) ja B(X1 ,..., Xn ) on loogiliselt samaväärsed parajasti siis, kui nende TDNK-d koosnevad samadest elementaarkonjunktsioonidest Lausearvutuse valemist A(X1 ,..., Xn ) järeldub valem B(X1 ,..., Xn ) parajasti siis, kui B täielik disjunktiivne normaalkuju sisaldab kõiki A normaalkuju liikmeid
annaabi.ee 
