4. Leida vabaltvalitud viisil punktis 2 saadud MDNK-ga (loogiliselt) võrdne Taandatud DNK ja Täielik DNK, näidates (selgitades) mõlema jaoks ära ka nende leidmisviisi. Taandatud DNK saab välja kirjutada punktis 2 koostatud McCluskey' minimeerimismeetodist. Sel juhul võrdub taandatud disjunktiivne normaalkuju lihtimplikantide disjunktsiooniga. Taandatud DNK: f ( x1 ; x 2 ; x3 ; x 4 ) = x1 x 2 x 2 x 4 x1 x 4 x3 Loogikafunktsiooni Täielik DNK on normaalkuju, milles iga elementaarkojunktsioon sisaldab loogikaf.-ni kõiki argumente (või nende inversioone). ühtede piirkonna kümnenednumbrile kahendvektorile vastav kümnendnumber vastav kahendvektor elementaarkonjunktsioon 0 0000 x1 x 2 x 3 x 4 2 0010 x1 x 2 x3 x 4
MDNK f(x1,x2,x3,x4) = x1 x 2 x 4 x 2 x 3 x 3 x 4 Taandatud DNK on funktsiooni kõigi lihtimplikantide disjunktsioon. TaDNK võib sisaldada ka liiased liikmeid. Funktisooni lihtimplikantide hulga leidsin McCluskey meetodiga lõigus 2.1. Sellele hulgale vastav funktsiooni taandatud disjunktiivne normaalkuju: TaDNK f(x1,x2,x3,x4) = x1 x 2 x 4 x1 x 3 x 2 x 3 x 3 x 4 2.4 Täieliku DNK leidmine Loogikafunktsiooni Täielik DNK on normaalkuju, milles iga elementaarkojunktsioon sisaldab loogikaf.-ni kõiki argumente (või nende inversioone). S.t iga elementaarkonjunktsiooni pikkus on võrdne f.-ni argumentide arvuga. Antud juhul 4-ga. Igal loogikafunktsioonil on täpselt üks TDNK. TDNK leidmise meetod: · võtan f.-ni ühtede piirkonna mingi kümnendnumbri · leian kümnendnubrile vastava kahendvektori · leian kahendvektorile vastava elementaarkonjunktsiooni · lisan elementaarkonjunktsiooni funktsiooni TDNK avaldisse