Tallinna Tehnikaülikool Diskreetne Matemaatika KODUTÖÖ 1. Leida oma matriklinumbrile vastav 4- muutuja loogikafunktsioon. Loogikafunktsioon: f (x1, x2, x3, x4) = 1 (8, 9, 10)_ 2. Leida MDNK ja MKNK, mis sobiksid matriklinumbrist leitud osaliselt määratud 4- muutuja funktsiooni esitamiseks. MDNK Karnaugh' kaardiga f (x1, x2, x3, x4) = 1 (8, 9, 10)_ x3x4 00 01 11 10 x1x2 00 1 0 0 1 01 0 1 1 0 11 1 0 1 0 10 - - 0 - f (x1, x2, x3, x4) = MKNK McCluskey meetodiga Lihtimplikantide hulga leidmine
Tõeväärtus tabelid on erinevad. f (1,1,1,0) ja f (0,1,1,1) on määramata. MDNK leidmisel määrasin need ühtede piirkonda. MKNK leidmisel aga nullide piirkonda, sellest ongi tingitud tõeväärtustabelite erinevus. 4. Täielik DNK f ( x1 , x 2 , x3 , x 4 ) = x1 x 2 x3 x 4 x1 x 2 x 3 x 4 x1 x 2 x3 x 4 x1 x 2 x3 x 4 x1 x 2 x3 x 4 x1 x 2 x3 x 4 x1 x 2 x3 x 4 x1 x 2 x3 x 4 x1 x 2 x3 x 4 Leidsin Karnaugh' kaarti järgi: x3x4 x1x2 00 01 11 10 00 1 1 01 1 1 1 1 11 1 10 1 1 Taandatud DNK f ( x1 , x2 , x3 , x4 ) = x1 x2 x1 x3 x4 x1 x2 x3 x3 x4
A2 x x A3 x x A4 x x A5 x x A6 x x Lihtimplikant Vahed x1 x2 x3 x4 A1 2,4 0 - - 0 x1 x 4 A2 1 0 0 1 - x1 x 2 x 3 MKNK ( x1 x4 )( x1 x2 x3 ) 3. MKNK teisendamine DNK kujule loogika põhiseaduste abil ( x1 x4 )( x1 x2 x3 ) = = x1 x1 x2 x1 x3 x1 x4 x2 x4 x3 x4 = = x1 x1 x3 x1 x4 x2 x4 x3 x4 = = x1 x1 x4 x2 x4 x3 x4 = x1 x2 x4 x3 x4
(4) intervalli (101-) konstantsed muutujad - x1 = 1, x2 = 0, x3 = 1 Sellest saame MKNK jaoks x 1 V x2V x 3 MKNK - f(x1, x2, x3, x4) = (x1Vx2Vx3)&( x1V x 4 )&( x 1 V x 2 Vx3)&( x 1 V x2V x 3 ) 2) Leian MDNK McCluskey' meetodiga MDNK leidmiseks leian funktsiooni 1de elementide kahendvektorid ja paigutan need indeksi (1de arv kahendvektoris) põhjal tabelisse. MDNK saaamiseks lähtun funktsiooni 1de piirkonnast. Määramatused märgin tärniga (*). Välja jätan vahed, mis ei vasta 2-astmele. (2n) Leian lihtimplikandid ehk sellised intervallid, mida ei ole suurimas implikantide intervallis. Tähistan implikandid A tähega. 1-de 2-sed 4-sed Indeks Vahe Vahe pk. intervallid intervallid 2 2-6* A6 4
= x1 x 2 x1 x 2 x1 x 2 x1 x3 x1 x 2 x 2 x3 x1 x 4 x1 x 2 x1 x 4 x1 x3 x1 x 4 x 2 x3 x 2 x 4 x1 x 2 x 2 x 4 x1 x3 x 2 x 4 x 2 x3 = = x1 x 2 x 4 x1 x3 x 4 x1 x 2 x3 x 4 Põhimõtteliselt on võrdne punktis 2 leitud MDNK-ga. Erinevus tuleb erinevalt määratud määramatuspiirkonnast. 4. Ülesanne 4.1 Taandatud DNK leidmine: x x x x1 x3 x 4 x1 x3 x 4 x1 x2 x4 x1 x2 x3 x4 MDNK: f(x1,x2,x3,x4) = 1 2 4 Taandatud DNK on funktsiooni kõigi lihtimplikantide disjunktsioon. Taandatud DNK võib sisaldada ka liiaseid liikmeid. x3x4 x1x2 00 01 11 10 0 00 0 1 -1- 01 0 0 1 1
3 11* x Impl. 1 2 3* 4 6* 8 9 11* 12 A1 x x A2 x x A3 x x A4 x x A5 x x A6 x x A7 x x x x Lihtimp- Vahed x1 x2 x3 x4 likant A2 4 0 - 1 0 A4 8 - 1 0 0 A5 1 1 0 0 - A7 2,8 - 0 - 1 f x1 , x 2 , x3 , x 4 A2 A4 A5 A7 x 1 x3 x 4 x 2 x3 x 4 x1 x 2 x3 x 2 x 4 MDNK: 3.
4. Leian vabalt valitud viisil punktis 2 saadud MDNK-ga (loogiliselt) võrdse Taandatud DNK ja Täieliku DNK. x3x4 x1x2 00 01 11 10 00 1 1 1 1 01 0 0 0 0 11 0 1 1 0 10 1 0 0 0 4.1. Leian Taandatud DNK Taandatud DNK on kõikide lihtimplikantide disjunktsioon ning antud juhul võrdne MDNK'ga: x x x 2 x3 x 4 x1 x 2 x 4 f(x1,x2,x3,x4) = 1 2 x3x4 x1x2 00 01 11 10 00 1 1 1 1 01 0 0 0 0 11 0 1 1 0 10 1 0 0 0 4.2. Leian Täieliku DNK ehk TDNK
1 1 1 0 0 1 1 1 1 1 ÜLESANNE 3 MINIMAALSED NORMAALKUJUD Leian MDNK ja MKNK, mis sobiksid matriklinumbrist leitud osaliselt määratud 4-muutuja funktsiooni esitamiseks. MDNK Karnaugh’ kaardiga ja MKNK McCluskey' meetodiga. 3 3.1 MDNK KARNAUGH’ KAARDIGA Leian MDNK Karnaugh kaardiga, sest matriklinumber on paarisarv. Funktsioon 𝒇(x(x1,x2,x3,x4) = ∑ ( 3, 5, 8, 12, 15 )1 ( 4, 9, 13 )_ x1x2/x3x4 00 01 11 10 00 0 0 1 0 01 x 1 0 0 11 1/1 x/x/x 1 0
....................................................5 2.2MKNK leidmine Karnaugh' kaardiga..................................................................6 2.3 Taandatud DNK leidmine..................................................................................6 2.4 Täieliku DNK leidmine...................................................................................... 6 2.5Täieliku KNK leidmine........................................................................................7 2.6 Shannoni disjunktiivne arendus muutujatele x2x3x4 ....................................... 8 Vastused................................................................................................................8 1. Funktsiooni leidmine 1.1 Funktsiooni arvutamine Matrikli number on 010636 Pärast selle teisendamist kuueteistkümnendsüsteemi 'Windows Calculatoris' saan tulemuseks arvu 298C Leian funktsiooni ühtede piirkonna ja määramatuspiirkonna:
f ( x1 ; x 2 ; x3 ; x 4 ) = ( x 2 x3 x 4 ) ( x1 x3 ) = x1 x 2 x1 x3 x1 x 4 x 2 x3 x3 x3 x 4 = x1 x 2 x1 x 4 x3 Selle teisenduse tulemuseks olev DNK langeb kokku punktis 2 leitud MDNK-ga 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
6. Leida vabalt valitud viisil MKNK-ga võrdne Täielik KNK. Selleks vaatan MKNK Karnaugh’kaarti ja kirjutan 0-de piiskonna argumentvektorite järgi välja nende elementaardisjunktsioonid ja korrutan need JA-tehtega kokku KNK-ks: TKNK: f(x1x2 x3x4) = (x1 V x2 V x3 V x4)(x1 V x2 V x3 V xx4)(x1 V xx2 V x3 V x4) (x1 V xx2 V x3 V xx4)(x1 V V xx2 V xx3 V x4)(xx1 V xx2 V x3 V x4)(xx1 V xx2 V xx3 V x4)(xx1 V x2 V xx3 V xx4)(xx1 V x2 V xx3 V x4) 7. Teha MDNK-le Shannoni disjunktiivne arendus selle muutuja(te) järgi, mis esineb MDNK-s kõige rohkem => x2 järgi. MDNK: f(x1x2 x3x4) = xx1 xx2 x3 V x1 xx2 xx3 V x2 x4 5 Shannoni disjunktiivne arendus: f(x1x2 x3x4) = xx2∙f(x10 x3x4) V x2∙f(x11 x3x4) = = xx2 (xx1 ∙1∙x3 V x1∙1∙xx3 V 0∙x4) ∙ x2(xx1 ∙0∙x3 V x1∙0∙xx3 V 1∙x4) = xx2 (xx1 x3 V x1xx3) ∙ x2(x4) 8
(x1 )( )( x3 x1 x2 x2 x3 x4 x2 x3 x4 = )( ) = x1 x2 x3 x1 x2 x4 x1 x2 x 3 x4 x1 x 2 x3 x1 x 2 x 3 x1 x 3 x4 x1 x 2 x 3 x4 x 2 x 3 x4 x1 x 2 x 4 x1 x 2 x 3 x 4 x 2 x 3 x 4 x1 x3 x 4 x1 x 2 x3 x 4 = = x1 x2 x4 x3 x4 x1 x2 x3 = MDNK Ülesanne 4 1. Leida vabaltvalitud viisil punktis 2 saadud MDNK-ga võrdne Taandatud DNK Taandatud DNK on funktsiooni kõigi lihtimplikantide disjunktsioon. Taandatud DNK võib sisaldada ka liiased liikmeid. Funktisooni lihtimplikantide hulga leidsin McCluskey meetodiga ülesandes 2. Kuna lihtimplikandid A6 ja A7 sisaldavad määramatust ja ei osutunud valituks MDNK-sse, ei vali ka neid TaDNK-sse , et saadud avaldis oleks loogiliselt võrdne MDNK-ga. Sellele hulgale vastav funktsiooni taandatud DNK: TaDNK : f(x1, x2, x3, x4) = A1 A2
4 1111 X f(x1,x2,x3,x4)= A1˅A2˅A3˅A4˅A5 implikant 0 2 3 5 13 14 15 A1 x x A2 x x A3 x x A4 x x A5 x x Minimaalne disjunktiivne normaalkuju on f(x1,x2,x3,x4)= x1 x2 x4 x1 x2 x3 x2 x3 x4 x1 x2 x3 Leitud MDNK ja MKNK on loogiliselt võrdsed (nende tõeväärtustabelid on võrdsed). 4. MKNK teisendamine DNK-kujule ( x1 x2 )( x1 x2 x3 )( x2 x3 x4 )( x2 x3 x4 ) ( x1 x2 )( x1 x2 x3 )( x3 x2 x2 x4 x2 x3 x3 x3 x4 x4 x2 x3 x4 )
0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 f(x1 , x2 , x3 )= x1 x2x3 x1 x2 x3 x1x2 x3 x1x2x3 Erinevate loogikafunktsioonide f(x1 ,x2 ,...xn) arv K on 2 2 n . n=1 K=4 n=2 K=16 n=3 K=256 n=4 K=65536 n=5 K=4,3 · 109 Järgnevalt tutvume kõikvõimalike kahe muutuja funktsioonidega f(x1 , x2 ). x1 x2 f0 f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 Tabelis on kirjeldatud järgnevad funktsioonid:
1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 f(x1 , x2 , x3 )= x1 x2x3 x1 x2 x3 x1x2 x3 x1x2x3 n Erinevate loogikafunktsioonide f(x1 ,x2 ,...xn) arv K on 2 2 . n=1 K=4 n=2 K=16 n=3 K=256 8 n=4 K=65536 n=5 K=4,3 109 Järgnevalt tutvume kõikvõimalike kahe muutuja funktsioonidega f(x1 , x2 ). x1 x2 f0 f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 Tabelis on kirjeldatud järgnevad funktsioonid: f0 - konstant "0"
6 0 1 1 0 0 7 0 1 1 1 1 8 1 0 0 0 1 9 1 0 0 1 0 10 1 0 1 0 0 11 1 0 1 1 0 12 1 1 0 0 1 13 1 1 0 1 0 14 1 1 1 0 1 15 1 1 1 1 1 Graaf 2.1 2 LAHENDATAVAD ÜLESANDED 3. Matrikli number on paarisarvuline. Leidmine MDNK Karnaugh kaardiga ja MKNK McCluskey meetodiga. MDNK leidmine Karnaugh kaardiga. Funktsiooni (x1,x2,x3,x4)= (3, 7, 8, 12, 14, 15) (1, 2, 4, 5)_ x3x4 x1x2 00 01 11 10 00 0 - 1 - 01 - - 1 0 11 1 0 1 1 10 1 0 0 0
6) (Loogiliselt) Võrdse täieliku KNK leidmine 5 X1 X2 X3 X4 0 0 1 1 1 1 - 0 0 - 0 0 - 1 - 1 ( x 1 V x 2V x 3)(x 1V x´2 V x´3)( x´1 V x´2 V x 3)( x´1V x´2 V x´3) 7) Shannoni disjunktiivne arendus MDNK : x´1 x 2 x´3 V x´2 x 3 Vx 1 x´2 X2 järgi: x 2[ f ( x 1, 1, x 3 ) ] V x´2[f ( x 1, 0, x 3 ) ]=x 2 ( x´11x´3 V 0x 3V x 10 ) V x´2 ( x´10x´3 V 1x 3 V x 11 ) =x 8) Shannoni disjunktiivne arendus 2 muutuja järgi MDNK : x´1 x 2 x´3 V x´2 x 3 Vx 1 x´2 X1 X2 järgi: x 1´x 2[ f ( 0, 0, x 3 ) ] V x´1 x 2 [ f ( 0, 1, x 3 ) ] V x 1 x´2 [ f (1, 0, x 3 ) ] V x 1 x 2 [ f ( 1,1, x 3 ) ] = x´1 x´2 (10x 3 V 1x 3 V 0
..................................3 4. Teisenda MKNK DNK kujule.......................................................................................5 5. Leida vabaltvalitud viisil MDNK-ga loogiliselt võrdne Taandatud DNK ja Täielik DNK...................................................................................................................................6 6.MKNK-ga võrdne Täielik KNK......................................................................................7 7.Shannoni disjunktiivne arendus rohkeima muutuja järgi........................................8 8. Shannoni disjunktiivne arendus 1 muutuja järgi.....................................................8 9.Shannoni konjuktiivne arendus MDNK-le 2 muutuja järgi.......................................8 10.Tuletis kõigi nelja muutuja järgi................................................................................8 10.1.x1 järgi:.......................................................................................
X1,X 2 00 - 1 1 1 01 1 0 - 1 11 1 0 0 0 10 0 0 0 0 TDNK = xx 1 xx 2 xx 3 x4 ∨ xx 1 xx 2 x3 x4 ∨ xx 1 xx 2 x3 xx 4 ∨ xx 1 x2 xx 3 xx 4 ∨ xx 1 x2 x3 xx 4 ∨ x1 x2 xx 3 xx 4 6. Leida vabaltvalitud viisil punktis 3 saadud MKNK-ga (loogiliselt) võrdne Täielik KNK. MKNK leidsime Karnaugh kaardi abil nullide piirkonnast. Täieliku KNK saamiseks Karnaugh' kaardist kirjutame välja kõik nullide piirkonna 1-sed kontuurid, ehk X3,X4 00 01 11 10 X1,X 2 00 - 1 1 1 01 1 0 - 1 11 1 0 0 0 10 0 0 0 0
1 1 0 1 15 ¿-1 1 1 1 1 1 0 1 1 1 1 1 1 1 0,-2,9, 11, 12,13, 14, 1 1 DNK : f ( x 1 … x 4 )=Σ ¿ 5) Leian taandatud DNK McCluskey’ meetodiga. TaDNK on kõigi lihtimplikantide disjunktsioon. L. 1de 2sed Vahe Märg Ind. Märge Ind. Ind. 4sed impl. Märge pk. impl. e 0 0 x 0-1 0-2 2 A1 2-3-3-4 9-11-13-15 A3
f(0001) = 0 1 1 1 1 1 = 0 f(0101) = 1 0 1 1 1 1 = 0 f(0110) = 1 1 0 1 1 1 = 0 f(1001) = 1 1 1 0 1 1 = 0 f(1010) = 1 1 1 1 0 1 = 0 f(1101) = 1 1 1 1 1 0 = 0 *Saadud KNK on täielik, kuna iga tema elementaardisjunktsioon sisaldab kõiki nelja funktsiooni muutujat. 7. Teha punktis 3 saadud MDNK-le Shannoni disjunktiivne arendus. MDNK = ( ´x 3 ´x 4 v x3x4 v ´x 1 ´x 2 3 x v x1x2x3) *x3 me esineb kõige rohkem *Jääkfunktsioonide teguriteks on algtermid ´x ja x3
Tallinn 2012 1. Leida oma matriklinumbrile vastav 4-muutuja loogikafunktsioon. Matrikli number 10. süsteemis: 121055 Matrikli number 16. Süsteemis: 8-kohaline arv: 2F572B3F 4-muutuja loogikafunktsiooni 1de piirkond: 2, 15, 5, 7, 11, 3 2F572B3F/11=2C8E46D Määramatuspiirkond: 12, 8, 14, 4, 6, 13 (x1...x4) = (2, 3, 5, 7, 11, 15)1 (4, 6, 8, 12, 13, 14)_ 2. Leida MDNK ja MKNK, mis sobiksid matriklinumbrist leitud osaliselt määratud 4- muutuja funktsiooni esitamiseks. X3,X4 00 01 11 10 X1,X2 00 0 0 1 1 01 - 1 1 - 11 - - 1 - 10 - 0 1 0 __ (X1,X2,X3,X4)=( X2 X3 X4 X1 X3) - MDNK Index Number Märge Index Nr.d Vahe M Index Nr.d Vah M
...... 5 ÜLESANNE 4 MKNK TEISENDAMINE DNK-KUJULE....................................5 ÜLESANNE 5 DISJUNKTIIVSED NORMAALKUJUD.....................................5 5.1 TAANDATUD DNK........................................................................................... 5 5.2 TÄIELIK DNK.................................................................................................. 6 ÜLESANNE 6 TÄIELIK KNK....................................................................6 ÜLESANNE 7 SHANNONI DISJUNKTIIVNE ARENDUS KOLME MUUTUJA JÄRGI..................................................................................................6 ..........................................................................................................7 ÜLESANNE 8 SHANNONI DISJUNKTIIVNE ARENDUS KAHE MUUTUJA JÄRGI7 ÜLESANNE 9 SHANNONI KONJUNKTIIVNE ARENDUS...............................7 ÜLESANNE 10 TULETISED.....................................................................8
v 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 2 0 0 1 0 0 0 0 Taandatud DNK jaoks leian 3 0 0 1 1 1 1 1 karnaugh kaardilt lihtimplikandid 4 0 1 0 0 0 0 0 5 0 1 0 1 1 1 1 TaDNK: f ( x 1 x 2 x3 x 4 ) = ´x 1 x 4 v 6 0 1 1 0 0 0 0 ´x 3 x 4 v x 1 ´x 4 v x 1 ´x 3 7 0 1 1 1 1 1 1
A4 1 1 1 1 A5 1 1 1 1 8 4 2 1 x1 x2 x3 x4 A1 0 0 0 0 x1 x4 A3 0 0 1 0 A4 0 0 1 0 x 2 x´3 A5 0 1 0 0 x´ 3 x 4 x 1 x´2 Minimaalne disjunktiivne normaalkuju: f ( x 1 x 2 x3 x 4 ) =x1 x 4 + x 2 x´3 + x´3 x 4 + x 1 x´2 4. Kirjutada oma funktsiooni 1-de piirkonnast välja täielik DNK (TDNK) (ignoreerides määramatuspiirkonda). Täielik disjunktiivne normaalkuju: f ( x 1 x 2 x3 x 4 ) = x1´x 2 x 3 x 4 + x 1´x 2 x3 x´4 + x´1 x 2 x 3´x 4 + x´ 1 x 2 x 3 x 4+ x1 x´ 2 x 3 x 4 + x 1 x´2 x3 x´4 10
A6 x MKNK: f(, , , ) = (v v )( v v )( v v ) 3.Teisendada punktis 2 leitud MKNK loogikaalgebra põhiseaduste abil DNK-kujule 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 leidmine MDNK: f(, , , ) = v v v Taandatud DNK on kõigi lihtimplikantide disjunktsioon. Kõik lihtimplikandid ehk maksimaalsed ühtede intervallid on märgitud Karnaugh' kaardil kontuuridena. x3x4 00 01 11 10 x1x2 00 1 1 1 1 01 1 0 1 1 11 0 0 1 1 10 1 1 0 0 Taandatud DNK: f(, , , ) = v v v v Täieliku DNK leidmine Täieliku DKN saab Karnaugh' kaardilt, kirjutades välja kõik ühtede intervallid.
T Karnaugh' kaartide topoloogia 2muutuja Karnaugh' kaart on tabel mõõtmetega 2 2 (või 1 4) ruutu ; 3muutuja Karnaugh' kaart on tabel mõõtmetega 2 4 = 8 ruutu ; 4muutuja Karnaugh' kaart on tabel mõõtmetega 4 4 = 16 ruutu ; e h n ik a t või i 6 - muutuja Karnaugh' kaart v ut Karnaugh' kaartide põhiomadused r 2 - muutuja 3 - muutuja 4 - muutuja Karnaugh' kaart Karnaugh' kaart Karnaugh' kaart A Karnaugh' kaardil on 2 põhiomadust.
1 1 1 1 1 1 — — s 00 In rakendades kleepimisseadust x = x y w x ¯ y teisendame avaldise 01 — — korraks keerulisemaks, lisades liiasele liikmele seal puuduva muutuja x4 11 1 1 — 1 Siis tekkivad avaldises neeldumised kujul x w xy = x 10 1 1 x1 x¯2 x¯4 w x1 x¯2 x3 w x3 x4 = x1 x2 = 00 x1 x2 = 01 x1 x2 = 11 x1 x2 = 10
erinevalt ehk teineteisest sõltumatult. Seega sain lõppkokkuvõttes 2 erinevat lõpuni määratud funktsiooni: f1(x1..x4) = (1,2,4,5,6,7,8,9,13)1 f2(x1..x4) = (1,2,4,5,6,8,9,13)1 Siit tuleneb ka erinevus. 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. * Leian taandatud DNK McCluskey' meetodiga. taandatud disjunktiivne normaalkuju võrdub lihtimplikantide disjunktsiooniga. f1(x1..x4) = (1,2,4,5,6,7,8,9,13)1 In Nr Mär Ind Nr-d Vahe Mär Ind Nr-d Vah Mä d ge ge e rge 1 1 x 1-2 1-5 4 x 1-2-2-3 4-5-6-7 1,2 A3 2 x 1-9 8 x 1-5-9-13 4,8 A4 4 x 2-6 4 A1
DNK-d lihtsaima DNK-ni, milleks see TDNK lihtsustub. Võrrelda lihtsustamisel saadud DNK-d eelnevalt (punktis 3) leitud MDNK-ga: — kas nad on võrdsed? — kui nad pole võrdsed, siis kumb nendest on väiksema keerukusega (ehk lihtsam) avaldis ja miks? fTDNK ( 1 2x3 4) v ( 1 2x3x4) v ( 1x2 3 4) v (x1 2x3 4) = 1 2x3( 4 v x4) v ( 1x2 3 4) v (x1 2x3 4) = ( 1 2x3) v ( 1x2 3 4) v (x1 2x3 4) Funktsioon edasi ei lihtsustu. Kontrollin Karnaugh kaardiga, ignoreerides määramatuspiirkonda: 00 01 11 10 x1 x3 x2 x4 00 0 - 1 1 01 1 - 0 - 11 - 0 - - 10 0 - 0 1 Tulemus tuleb sama: fTDNK = ( 1 2x3) v ( 1x2 3 4) v (x1 2x3 4) MDNK ja DNK ei ole võrdsed
. ja kus sulud on lahtikorrutatud (ehk sulge enam pole) 11 1 1 1 1 Reed-Mulleri polünoom on seega (sulgudeta) loogikaavaldis süsteemis a {& 1} 10 1 1 ik polünoomis ei sisaldu tehteid disjunktsioon ja inversioon n MDNK jaoks parimad kontuurid h Igal loogikafunktsioonil on täpselt üks Reed-Mulleri polünoom. e MDNK : f = ¯3 x
Loogikafunktsiooni implikant Lihtimplikant Taandatud DNK Taandatud DNK (TaDNK) on funktsiooni kõikide lihtimplikantide disjunktsioon. Mõistel IMPLIKANT pole mingit seost loogikatehtega implikatsioon. Eelmise näitefunktsiooni Taandatud DNK esitub Karnaugh' kaardil : Ü Loogikafunktsiooni implikandiks nimetatakse tema 1-de piirkonna x 2 x3 T mistahes intervalli ( ehk tema igat "ühtede intervalli" ).
tehtemärk tehte nimi ja selgitus O — väljas on soe ¯¯ loogiline eitus e. inversioon V — vihma sajab P — väljas on pime ∧ loogiline korrutamine e. konjunktsioon e. JA-tehe R — päikesevarjutus kestab ( aritmeetilise korrutamise analoog loogikas ) L — päike on loojunud ∨ loogiline liitmine e. disjunktsioon e. VÕI-tehe M — Ferrari on kiirem kui McLaren ( aritmeetilise liitmise analoog loogikas )
annaabi.ee 
Sisene Facebook'ga
Sisene Google'ga
Sisene LinkedIn'ga
