Leidsid 33 sarnast õppematerjali, mis on seotud failiga "Kodutöö 2008". Need materjalid aitavad sul teemat sügavamalt mõista.
kahendvektor, muutuja, shannoni, karnaugh, tadnk, avaldis, disjunktiivne, lihtimplikantide, reed, polünoom, diskreetse, matemaatika, mahb11, matriklinumbrile, loogikafunktsioon, kaardiga, loogikaalgebra, kujule, disjunktsioon, sisaldada, funktisooni, 0101, 0111, 1001, 1101, 1111, esindatud, konjunktiivne, asendada, kaardilt, konjunktsioonid, moodul....................................................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:
8 8-9 A4 1 6*-14 A3 8 6* 2 9-11* 2 9 9-13* 4 11* 11*-15 4 3 13* 13*-15 2 14 14-15 A2 1 4 15 Tabelist saame 6 lihtimplikanti. Kanname lihtimplikandid lihtimplikantide tabelisse. 6 11 13 1 Lihtimplikandid 2 4 8 9 15 * * * 4 A1 1 1 1 1 A2 1 1 A3 1 1 A4 1 1 A5 1 1 A6 1 1
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
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
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
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
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
x1xx2 xx3 xx4 V 4 V x1x2x4 V xx1 x2 x4 = = xx1 xx2 x3x4 V xx1 xx2 x3xx4 V x1xx2 xx3x4 V x1xx2 xx3 xx4 V x1x2 x3x4 V x1x2 xx3 x4 V xx1 x2 x3x4 V xx1 x2 xx3 x4 Taandatud DNK leidmine: Selle leidmiseks koostan MDNK Karnaugh’ kaardi, millel märgin ära kõik lihtimplikandid, mis tervikuna ei sisaldu üheski teises (mustaga märgitud MDNK lihtimplikandid ja punasega lisaks TaDNK jaoks vajalikud lihtimplikandid) TaDNK: f(x1x2 x3x4) = xx1 xx2 x3 V x1xx2 xx3 V x2x4 V xx1 x3x4 V x1xx3 x4 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
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
00 0 1 0 0 01 0 - 1 0 11 1 - 1 - 10 1 1 - - Täielik DNK : = x1 x2 x3 x4 x1 x2 x3 x2 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 5. Leian MKNK'ga loogiliselt võrdse täieliku KNK Karnaugh kaardi abil x3x4 x1x2 00 01 11 10 00 0 1 0 0 01 0 - 1 0 11 1 - 1 - 10 1 1 - - ( x1 x2 x3 x4 )( x1 x2 x3 x4 )( x1 x2 x3 x4 ) ( x1 x2 x3 x4 )( x1 x2 x3 x4 ) 6. MDNK-le Shannoni disjunktiivne arendus x4 järgi
= 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
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 )
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
...... 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
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"
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:
Täieliku DNK jaoks võtan MDNK tõeväärtustabelist kõik ühtede piirkonnad. Täielik DNK: f ( x 1 x 2 x3 x 4 ) =¿ ´x 1 ´x 2 ´x 3 x 4 v ´x 1 ´x 2 x 3 x 4 v ´x 1 x 2 ´x 3 x 4 v ´x 1 x 2 x 3 x 4 v x 1 ´x 2 ´x 3 x´ 4 v x 1 ´x 2 ´x 3 x 4 v v x 1 ´x 2 x 3 x´ 4 v x 1 x 2 ´x 3 x´ 4 v x 1 x 2 x 3 x 4 MDNK TaDNK Täielik DNK x 1 x 2 ´x 3 x 4 x 1 x 2 x 3 x´ 4 v 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1
..................................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:.......................................................................................
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
1001 x1 v x2 v x3 v x4 1011 x1 v x2 v x3 v x4 1010 x1 v x2 v x3 v x4 TKNK = (x1 v x2 v x3 v x4) (x1 v x2 v x3 v x4) (x1 v x2 v x3 v x4) (x1 v x2 v x3 v x4) (x1 v x2 v x3 v x4) (x1 v x2 v x3 v x4) (x1 v x2 v x3 v x4) (x1 v x2 v x3 v x4) (x1 v x2 v x3 v x4) 7. Teha punktis 3 saadud MDNK-le Shannoni disjunktiivne arendus selle muutuja (muutujate) xi järgi, mida esineb MDNK-s kõige rohkem Kuna minu MDMK's leidub kolme muutujat sama tihti, teen arenduse kolme muutuja järgi. 7 Shannoni disjunktiivne arendus x1, x3 ja x4 järgi: f(x1 x2 x3 x4) = x1 x3 x4 * f(1 * x2 * 0 v 1 * 0 * 1 v x2 * 1 v 0 * 1 * 1) v x1 x3 x4 * f(1 * x2 * 1 v 1 * 1 * 0 v x2 * 1 v 0 * 1 * 0) v x1 x3 x4 * f(1 * x2 * 0 v 1 * 1 * 1 v x2 * 0 v 0 * 0 * 1) v
....................................................11 5.1 Võrrelda lihtsustamisel saadud DNK-d eelnevalt (punktis 3) leitud MDNK-ga: .......................................................................................................................... 11 5.1.1 — kas nad on võrdsed?.........................................................................11 5.1.2 — kui nad pole võrdsed, siis kumb nendest on väiksema keerukusega (ehk lihtsam) avaldis ja miks?........................................................................11 6. Leida ja näidata, milleks (0 või 1) väärtustuvad (punktis 3) leitud MDNK ja MKNK määramatuspiirkonna kõikide argumentvektorite korral............................11 6.1 Otsustada (hinnata), kas leitud MDNK ja MKNK on teineteisega võrdsed või mitte.................................................................................................................. 12
Täielik KNK f ( 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 ) & ( x1 x 2 x3 x 4 ) & ( x1 x 2 x3 x 4 ) Lahendasin Karnaugh' järgi: x3x4 x1x2 00 01 11 10 00 0 0 01 11 0 0 0 10 0 0 6. MDNK Shannoni disjunktiivne arendus kahe muutuja järgi x1 x3 f(x1 , x 2 , x 3 , x 4 ) = x1 x2 x1 x3 x4 x1 x2 x3 x3 x4 = = x1 x3 (1 x2 1 1 x4 0 x2 0 0 x4 ) x1 x3 (0 x2 0 1 x4 1 x2 0 0 x4 ) x1 x3 (1 x2 1 0 x4 0 x2 1 1 x4 ) x1 x3 (0 x2 0 0 x4 1 x2 1 1 x4 ) = = x1 x3 ( x2 x4 ) x1 x3 (0) x1 x3 ( x2 x4 ) x1 x3 ( x2 x4 ) 7. Shannoni disjunktsioon ühe muutujaga x 2 f(x1 , x 2 , x 3 , x 4 ) = x1 x2 x1 x3 x4 x1 x2 x3 x3 x4 =
A5 x 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.
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
1 1 0 0 - 0 1 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
& ( 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 ) Lahendasin Karnaugh' järgi: x3x4 x1x2 00 01 11 10 00 01 0 0 0 0 11 0 0 0 10 0 0 6. MDNK Shannoni disjunktiivne arendus f(x 1 , x 2 , x 3 , x 4 ) = x1 x 2 x1 x3 x 4 x 2 x 3 x 4 = x1 x 2 x3 x 4 (1 0 0 0 0 0 1 1) x1 x 2 x 3 x 4 (0 1 1 0 0 1 1 1) x1 x 2 x 3 x 4 (0 0 1 1 0 0 0 1) x1 x 2 x3 x 4 (0 0 1 0 1 0 1 0) x1 x 2 x3 x 4 (1 1 0 0 0 1 1 1) x1 x 2 x 3 x 4 (0 1 1 1 0 1 0 1) x1 x 2 x 3 x 4 (0 0 1 1 1 0 0 0) x1 x 2 x3 x 4 (1 0 0 0 1 0 1 0) x1 x 2 x 3 x 4 (0 1 1 0 1 1 1 0) x1 x 2 x 3 x 4 (1 0 0 1 0 0 0 1) x1 x 2 x3 x 4 (1 1 0 1 0 1 0 1)
x1x2 00 01 11 10 00 0 1 1 1 01 1 0 0 1 11 1 0 0 0 10 1 1 0 0 x 2 x3 x 4 6.Shannoni disjunktiivne arendus muutujate järgi: x1 x3 x 4 x 2 x3 x 4 x1 x 2 x3 x 2 x 4 x 2 x 3 x 4 ( x1 ) x 2 x 3 x 4 ( x1 1) x 2 x3 x 4 ( x1 ) x 2 x 3 x 4 (1) x 2 x3 x 4 (1) x 2 x3 x 4 ( x 1 ) x 2 x 3 x 4 (0) x 2 x3 x 4 (0) x1 x 2 7. Shannoni disjunktiivne arendus muutujate järgi:
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
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
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.
T konjunktsioon : & konstant 1 : 1 01 1 . . . . 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
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
1 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 1 0 0 1 1 1 1 0 Kirjutame välja vektorid, mille korral funktsiooni väärtus on 0. TKNK = f(x1...x4) = (1 v 2 v 3 v 4)( 1 v 2 v 3 v 4)( 1 v 2 v 3 v 4)( 1 v 2 v 3 v 4)( 1 v 2 v 3 v 4)( 1 v 2 v 3 v 4)( 1 v 2 v 3 v 4)( 1 v 2 v 3 v 4)( 1 v 2 v 3 v 4) 7 7. Shannoni disjunktiivne arendus ühe muutuja järgi MDNK = f(x1...x4) = 1 2 4 v 1 2 3 v 2 3 4 v 1 2 3 4 v 1 2 3 4 Shannoni disjunktiivne arendus x2 järgi: f(x1...x4) = 2 ( 1 1 4 v 1 1 3 v 0 3 4 v 1 1 3 4 v 1 1 3 4 ) v 2 ( 1 0 4 v 1 0 3 v 1 3 4 v 1 0 3 4 v 1 0 3 4 ) = 2 ( 1 4 v 1 3 v 1 3 4 v 1 3 4 ) v 2 (3 4 ) Tulemus: 2 ( 1 4 v 1 3 v 1 3 4 v 1 3 4 ) v 2 (3 4 ) 8. Shannoni disjunktiivne arendus vabaltvalitud kahe muutuja järgi MDNK = f(x1..