a f ( x1 x2 x3 ) = x 1 ¯x 2 w ¯1 x3 x w ¯2 x3 x ( TaDNK ) k 0 0 1 1 0 n i MDNK ja TaDNK võivad olla (osadel funktsioonidel) sama avaldis. h 1 1 1 0 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
Tallinna Tehnikaülikool Diskreetse Matemaatika KODUTÖÖ 082800 MAHB11 Tallinn 2008 Ülesanne 1. Leida oma matriklinumbrile vastav 4-muutuja loogikafunktsioon. f( x1, x2, x3, x4 ) = (0,1,2,5,6,7,9)1 (11,13,14)- 1 1 0 1 0 1 1 1 0 - 0 - 0 1 - 0 Ülesanne 2. MKNK leidmine Karnaugh' kaardiga. MKNK: f(x1,x2, x3, x4)= (x 1 )( )( )( x3 x1 x 2 x2 x3 x 4 x2 x3 x 4 ) MDNK leidmine McCluskey meetodiga Ind Märge Ind. Nr.-d Vahe Märge Ind. Nr.-d Vahe Märge Nr. . 0 0 x ...
01 1 1 0 0 11 1 - 0 0 10 1 1 0 1 MKNK f(x1,x2,x3,x4) = ( x1 x2 )( x3 x4 )( x2 x3 ) 2.3 Taandatud DNK leidmine 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
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
Tallinna Tehnikaülikool Diskreetne Matemaatika KODUTÖÖ 164780 1. Matriklinumber: 164780 Matriklinumber 16ndsüsteemis: 283AC 7-kohaline arv: 35E6B74 4-muutuja loogikafunktisooni 1de piirkond: 3, 4, 5, 6, 7, 11, 14 9-kohaline arv: 48381F86C 4-muutuja loogikafunktisooni määramatuspiirkond: 1, 8, 12, 15 4-muutuja loogikafunktisooni 0de piirkond: 0, 2, 9, 10, 13 2. f(x1x2x3x4) = ∑(3, 4, 5, 6, 7, 11, 14)1 (1, 8, 12, 15)_ x1x2x3 f x4 0000 0 0001 - 0010 0 0011 1 0100 1 0101 1 0110 1 0111 1 1000 - 1001 0 1010 0 1011 1 1100 - 1101 0 1110 1 1111 - 3. MDNK leidmine Karnaugh´ kaariga: 00 01 11 10 00 0 − 1 0 01 ...
Tallinna Tehnikaülikool Diskreetne matemaatika KODUTÖÖ Ilja Freiberg 185138 IAIB11 Tallinn 2018 1. Funktsiooni leidmine. Matrikli number on 185138 Seitsmekohaline 16ndarv on 3C8F7FE Ühtede piirkonnaks on 3, 5, 8, 12, 13 Üheksakohaline 16ndarv on 512444552 Määramatuse piirkonnaks on 1, 2, 4, 5 Minu matrikli numbrile 185138 vastav 4-muutuja loogikafunktsioon oma numbrilises 10ndesituses oleks: (x1,x2,x3,x4)= (3, 7, 8, 12, 14, 15) (1, 2, 4, 5)_ Ja nullide piirkonnaks on kõik ülejäänud arvud (0, 6, 9, 10, 11, 13) (x1,x2,x3,x4) = (0, 6, 9, 10, 11, 13)0 (1, 2, 4, 5)_ 2. Funktsiooni tõeväärtustabel. nr x1 x2 x3 x4 0 0 0 0 0 0 1 0 0 0 1 - 2 0 0 1 0 - 3 0 0 1 1 1 4 0 1 0 0 - 5 0 1 0 1 - 6 0 1 1 0 0 ...
kirjuta elementaarkonj./elementaardisj. Nõrgalt määratud F on suure määramatuspiirkonnaga osaliselt määratud F. Intervallid on ortogonaalsed, kui nad ei oma ühisosa (mittelõikuvad 2ndvektorite hulgad). Implikant on loogika-ni 1-de piirkonna intervall. Lihtimplikant on maksimaalne implikant, mis ei sisaldu tervikuna üheksi teises selle F-ni implikandis. Taandatud DNK on F-ni kõigi lihtimplikantide disjunktsioon. Igal F-nil on vaid 1 TaDNK. MDNK koosneb alati osadest/kõikidest TaDNK elementaarkonjunktsioonidest. MCCLUSKEY’ MEETOD McCluskey’ meetod on rakendatav suvalise loogikamuutujate arvu korral. Sellel on 2 põhietappi: loogikafunktsiooni kõigi lihtimplikantide leidmine ; minimaalse katte leidmine (lihtimplikantide hulga minimeerimine). McCluskey’ meetodis on arvu indeks 1-de arv selle arvu kahendkujus. 2 modifikatsiooni: intervallmeetod ja numbriline meetod
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
/elementaardisj. Nõrgalt määratud F on suure määramatuspiirkonnaga osaliselt määratud F. Intervallid on ortogonaalsed, kui nad ei oma ühisosa (mittelõikuvad 2ndvektorite hulgad). Implikant on loogika-ni 1-de piirkonna intervall. Lihtimplikant on maksimaalne implikant, mis ei sisaldu tervikuna üheksi teises selle F-ni implikandis. Taandatud DNK on F-ni kõigi lihtimplikantide disjunktsioon. Igal F-nil on vaid 1 TaDNK. MDNK koosneb alati osadest/kõikidest TaDNK elementaarkonjunktsioonidest. MCCLUSKEY’ MEETOD McCluskey’ meetod on rakendatav suvalise loogikamuutujate arvu korral. Sellel on 2 põhietappi: loogikafunktsiooni kõigi lihtimplikantide leidmine ; minimaalse katte leidmine (lihtimplikantide hulga minimeerimine). McCluskey’ meetodis on arvu indeks 1-de arv selle arvu kahendkujus. 2 modifikatsiooni: intervallmeetod ja numbriline meetod McCluskey ja Karnaugh sarnasused: 1) Lähiskoodid sattuvad indeksite järgi grupeerides
x3x4 11 00 01 10 x1x2 00 1 1 1 01 1 11 1 1 1 10 Leitud kontuurid moodustavad TaDNK f(x1,x2,x3,x4)= x1 x2 x4 x1 x2 x3 x2 x3 x4 x1 x2 x4 x1 x2 x3 6. Täielik KNK 0de piirkonda kuuluvad vektorid (0001, 0110, 0111, 1000, 1001, 1010, 1100, 0100, 1011). Seega täielik KNK on f(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 )
Tallinna Tehnikaülikool Diskreetne Matemaatika KAUGÕPE KODUTÖÖ 1. Leida oma matriklinumbrile vastav 4-muutuja loogikafunktsioon Matriklinumber: 184974 7-kohaline 16-nd süsteemi arv: 3C81C42 Ühtede piirkond: f(x1 x2 x3 x4) = (1,2,3,4,8,12)1 9-kohaline 16-nd süsteemi arv: 5111DDC6E Määramatuspiirkond: f(x1 x2 x3 x4) = (5,6,13,14)_ Nullide piirkond: 0,7,9,10,11,15 Minu funktsioon: f(x1 x2 x3 x4) = (1,2,3,4,8,12)1 (5,6,13,14)_ 2. Esitada oma loogikafunktsiooni tõeväärtustabel x1 x2 x3 x4 0000 0 0001 1 0010 1 0011 1 0100 1 0101 - ...
5.1 TAANDATUD DNK Taandatud DNK on funktsiooni kõikide lihtimplikantide disjunktsioon. Lihtimplikant ehk maksimaalne implikant on selline, mis tervikuna ei sisaldu üheski suuremas ühtede intervallis. Vaadates alamülesande 3.1 parempoolset Karnaugh’ kaarti, näeme, et joonistatud kontuurid vastavad ühtlasi ka lihtimplikantidele. Seega loogikafunktsiooni taandatud disjunktiivne normaalkuju on võrdne saadud MDNK-ga: 5 f TaDNK =x1 x´ 2 ∨ x 4 =f MDNK 5.2 TÄIELIK DNK Täielik DNK on selline disjunktiivne normaalkuju, mille korral iga elementaarkonjunktsiooni pikkus on võrdne loogikafunktsiooni argumentide arvuga. Vaadates alamülesande 3.1 parempoolset Karnaugh’ kaarti, saame ühtede piirkonna järgi välja kirjutada TDNK. Selleks valime ühtede piirkonnast minimaalse suurusega kontuurid, s.t joonistame iga muutujate väärtuse “1” ümber kontuuri suurusega 1 ning kirjutame kaardi
Tallinna Tehnikaülikool DISKREETNE MATEMAATIKA KODUTÖÖ Elena Borissov 155175IAPB IAPB11 1. Leida oma matriklinumbrile vastav 4-muuutuja loogikafunktsioon Esimene seitsmekohaline arv kalkulaatoris 32C2641 . Kümnendarvudena 3, 2, 12, 6, 4, 1 Järjekorras 1, 2, 3, 4, 6, 12 1de piirkond Esimene üheksakohaline arv kalkulaatoris 440274117 Järjekorras 0, 7 määramatus piirkond 5, 8, 9, 10, 11, 13, 14, 15 0de piirkond f(x1, x2, x3, x4)=∑(1, 2, 3, 4, 6, 12)1 (0, 7)_ 2. Tõeväärtustabel x1, x2, x3, x4 f 0000 - 0001 1 0010 1 0011 1 0100 ...
Tallinna Tehnikaülikool Diskreetne Matemaatika Kodutöö Ilya Zaitsev 179712IACB IACB12 1.Matriklinumbrile vastav 4-muutuja loogikafunktsioon Matriklinumber: 179712 7-kohaline 16-nd süsteemi arv: 3AC9200 Seega ühtede piirkond on f(x1...x4) = (0, 2, 3, 9, 10, 12)1 9-kohaline 16-nd süsteemi arv: 4EC3 79E00 Seega määramatuspiirkond on f(x1...x4) = (4, 7, 14) _ Nullide piirkond: 1, 5, 6, 8, 11, 13, 15 Minu funktsioon: f(x1... x4) = (0, 2, 3, 9, 10, 12)1 (4, 7, 14)_ 2. Loogikafunktsiooni tõeväärtustabel X1 X2 X3 X4 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 1 0 1 0 0 - 0 1 0 1 0 0 1 1 0 0 0 1 1 1 - 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 ...