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 · kordan eelmist nelja tegevust, kuni kõik ühtede piirkonna numbrid on läbitud ühtede piirkonna kümnenednumbrile kahendvektorile vastav kümnendnumber vastav kahendvektor elementaarkonjunktsioon 4 0100 x1 x2 x 3 x 4
Sellele hulgale vastav funktsiooni taandatud DNK: TaDNK : f(x1, x2, x3, x4) = A1 A2 A3 A4 A5 A8 x1 x 2 x3 x1 x 2 x 4 x1 x3 x 4 x1 x 2 x 4 x1 x 2 x3 x3 x 4 TaDNK : f(x1, x2, x3, x4) = 2. Täielik DNK TDNK leidmine: võtan f.-ni ühtede piirkonna (koos määramatusega mida kasutati MDNK-s) kümnendnumbri ning leian kümnendnubrile vastava kahendvektori ja leian kahendvektorile vastava elementaarkonjunktsiooni ning lisan need funktsiooni TDNK avaldisse (0,1,2,5,6,7,9,13)1 ühtede piirkonna kümnenednumbrile vastav kahendvektorile vastav kümnendnumber kahendvektor elementaarkonjunktsioon 0 0000 x1 x 2 x 3 x 4 1 0001 x1 x 2 x 3 x4 2 0010 x 1 x 2 x3 x 4
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 5 0101 x1 x 2 x 3 x 4
Taandatud DNK võib sisaldada ka liiased liikmeid. X3,X4 00 01 11 10 X1,X2 00 0 0 1 1 01 - 1 1 - 11 - - 1 - 10 - 0 1 0 X1X 3 X 4 X1 X 2 X 3 X 3 X 4 Taandatud DNK: (X1,X2,X3,X4) = Täielik DNK leidmine: Ühtede piirkonna Kümnenednumbrile vastav Kahendvektorile vastav kümnendnumber kahendvektor elementaarkonjunktsioon 2 0010 X1 X 2 X 3 X 4 3 0011 X1 X 2 X 3 X 4 5 0101 X1X 2 X 3 X 4 7 0111 X1X 2 X 3 X 4
10 1 0 0 0 TADNK (x1,x2,x3,x4) x´ 1 x 4 x 1 x2 x´ 4 x 2 x3 x 3 x2 x´ 3 x 4 , TDNK leidmine: Täielik DNK on DNK normaalkuju, milles iga elmentaarfunktsioon sisaldab funktsiooni kõiki argumente. Selle leidmiseks võtan kõik ühtede piirkonna kümnendnumbrid, leian neile vastavad kahendvektorid ja leian kahendvektoritele vastavad elementaarkonjunktsioonid ning lisan nad avaldisse. 1de pk. Kümnendnumbrile Kahendvektorile vastav vastav kahendvektor elementaarkonjunktsioo n 1 0001 x´ 1 x´ 2 x´ 3 x4 3 0011 x´ 1 x´ 2 x3 x4 5 0101 x´ 1 x 2 x´ 3 x4 7 0111 x´ 1 x 2 x3 x4
f ( x1 x2 . . . xn ) : { 0, 1 }n → { 0, 1 } x1 x2 x3 f ( x1 x2 x3 ) f (x 1 x2 x3 ): Seega seab n-muutuja loogikafunktsioon igale n-järgulisele kahendvektorile 000 0 0 0 0 (ehk argumentvektorile) x1 x2 . . . xn vastavaks loogikaväärtuse 0 või 1. 001 0 0 1 1 2-muutuja funktsioon f ( x1 x2 ) on seega vastavus 010 0 1 0 0 011 0