Ühendame saadud konjuktsioonid ühiseks disjunktsiooniks 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
kirjeldatud mõttekäigust. Lihtimplikant Vahed x1 x2 x3 x4 Konjunktsioon A2 2 0 1 - 1 x1 x2 x4 A4 1,8 - 0 0 - x2 x3 A6 4,8 - - 1 0 x3 x 4 f(x1 ,x2 ,x3, x4 ) = A4 A6 A2 = x 2 x3 x3 x4 x1 x2 x4 Kommentaarid: 1. Muutujate kaalud (antud juhul 8-4-2-1) ja vahede väärtused määravad konjunktsioonides mitteosalevad argumendid. Näiteks vahedest 1,8 (implikant A4) tulenevalt ei osale nimetatud konjunktsioonis argumendid x1 ja x4 . 2. Ülejäänud argumentide märgid tulenevad suvalisest implikandi kirjeldusse kuuluva kümnendnumbri kahendkoodist (s.o. vastavast kahendvektorist). Näiteks implikandi A4 koosseisus olevate kõigi numbrite 0,1,8 ja 9 kahendkoodides on x2 = 0 ja x3 = 0. Seega konjunktsiooniks tuleb x 2 x 3 . 20
kirjeldatud mõttekäigust. Lihtimplikant Vahed x1 x2 x3 x4 Konjunktsioon A2 2 0 1 - 1 x1 x2 x4 A4 1,8 - 0 0 - x2 x3 A6 4,8 - - 1 0 x3 x 4 f(x1 ,x2 ,x3, x4 ) = A4 A6 A2 = x 2 x3 x3 x4 x1 x2 x4 Kommentaarid: 1. Muutujate kaalud (antud juhul 8-4-2-1) ja vahede väärtused määravad konjunktsioonides mitteosalevad argumendid. Näiteks vahedest 1,8 (implikant A4) tulenevalt ei osale nimetatud konjunktsioonis argumendid x1 ja x4 . 2. Ülejäänud argumentide märgid tulenevad suvalisest implikandi kirjeldusse kuuluva kümnendnumbri kahendkoodist (s.o. vastavast kahendvektorist). Näiteks implikandi A4 koosseisus olevate kõigi numbrite 0,1,8 ja 9 kahendkoodides on x2 = 0 ja x3 = 0. Seega konjunktsiooniks tuleb x 2 x 3 .
annaabi.ee 
