üksühene vastavus nii, et : (M1 S1 ) ( M2 S2 ), kus fi (mj1 ,....,mjk-1)=mjk (fi )((mj1 ),....,((mjk-1 )) = (mjk), mjl M1 , (mjl) M2 , fi S1 , (fi ) S2 . Cantori algebra ja loogikaalgebra on isomorfsed. Ülesanded. · A={0,1,...,p-1}. Operatsioonid : +(mod p) ja x(mod p) (s.o. liitmine ja korrutamine mooduliga p). Kas selliselt kirjeldatud algabra on rühm? · A={1,2,3,4}. Ehitada kõikvõimalike tükelduste võre. MATEMAATILINE LOOGIKA Vaatleme loogikafunktsioone f(x1 ,x2 ,...xn), kus nii argumendid kui funktsiooni väärtus kuuluvad hulka {0,1}.Iga loogikafunktsiooni võib esitada tõeväärtustabelina. 8 Näide Hääletusseade. Komisjon, mis koosneb 3 inimesest, hääletab teatava otsuse vastuvõtmise küsimuses. Otsus võetakse vastu lihthäälteenamusega. x1 x2 x3 f(x1, x2, x3 ) 0 0 0 0
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
Diskreetse Matemaatika alla kuuluvad: Formaalsete esituste ainus otstarve on nendes sisalduv info hiljem jälle verbaalseks (ehk mõnda lingvistilisse keelde) tagasi "üles lugeda" — Hulgad: Hulgaalgebra (Cantori algebra), Hulgaaritmeetika (taastada). — Loogika: Lausearvutus, Predikaatarvutus, Tõestusmeetodid Mistahes formaalne esitus peab olema üheselt tõlgendatav! — Loogikaalgebra (Boole'i algebra) — Loogikafunktsioonid: minimeerimine, normaalkujud . . . — Algebralised struktuurid: "mitteformaalne" ≡ "verbaalne" (sünonüümid) Fundamentaalalgebrad: Võred, Rühmad, Ringid, Korpused
Tallinna Tehnikaülikool Diskreetne matemaatika KODUTÖÖ Kristjan Keskküla 093540 IASB Tallinn 2009 ÜLESANNE 1 Leida oma martiklinumbrile vastav 4-muutuja loogikafunktsioon f(x1, x2, x3, x4) = (2,4,8,9,14,15) (6,11,13) _ (järgnevalt kui funktsioon) 1 ÜLESANNE 2 Leida MDNK ja MKNK, mis sobiksid martiklinumbrist leitud osaliselt määratud 4-muutuja funktsiooni esitamiseks Kuna minu martiklinumber on paarisarvuline leian: MKNK Karnaugh' kaardiga ja MDNK McCluskey' meetodiga. 1) Leian MKNK Karnaugh' kaardiga MKNK leidmiseks joonestan Karnaugh' kaardi, kuhu kannan peale funktsiooni 1d, 0d ja määramatused.
13 1 1 0 1 - 14 1 1 1 0 0 15 1 1 1 1 0 1.3 Tähistusi tähistatav tähistus inversioon x disjunktsioon v konjunktsioon & või " " lihtimplikant AX (X=1..n) DNK disjunktiivne normaalkuju KNK konjunktiivne normaalkuju täielik disjunktiivne / konjunktiivne TDNK/TKNK normaalkuju minimaalne disjunktiivne /
Tallinna Tehnikaülikool Diskreetne matemaatika KODUTÖÖ Mina Ise 132456 IADB?? Tallinn 2019 ÜLESANNE 1 LOOGIKAFUNKTSIOON Leian oma matriklinumbrile vastav 4-muutuja loogikafunktsioon Matriklinumbri 5 viimast numbrit: 93656 Matriklinumber kuueteistkümnendsüsteemis: 2F478 Seitsmekohaline arv: 3F58CC8 Üheksakohaline arv: 54DFF9FF8 Ühtede piirkond: 3, 5, 8, 12 ( C16 ), 15 ( F16 )/ 0011, 0101, 1000, 1100, 1111 Määramatuspiirkond : 4, 9, 13 ( D16 ) / 0100, 1001, 1101 0-de piirkond : 0, 1, 2, 6, 7, 10 ( A16 ), 11 ( B16 ), 14 ( E16 ) / 0000, 0001, 0010, 0110, 0111, 1010, 1011, 1110 𝒇(x(x1,x2,x3,x4) = ∑ ( 3, 5, 8, 12, 15 )1 ( 4, 9, 13 )_
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 )
Tallinna Tehnikaülikool Diskreetne Matemaatika KODUTÖÖ Kadri Liis Leht 155539 IABB12 Tallinn 2015 1. 4-muutuja loogikafunktsiooni leidmine Matrikli number: 155539 Esimese teisenduse tulemus: 32E0DF5 Ühtede piirkond: 3, 2, 14, 0, 13, 15, 5 Teise teisenduse tulemus: 442B4B343 Määramatuspiirkond: 4, 11 Nullide piirkonda kuuluvad ülejäänud arvud ehk (1, 6, 7, 8, 9, 10, 12) 0 Seega on minu matriklinumbrile vastav 4-muutuja loogikafunktsioon oma numbrilises 10ndesituses: f(x1,x2,x3,x4)= ∑ (0, 2, 3, 5, 13, 14, 15)1 (4, 11)_ 2. Funktsiooni f(x1,x2,x3,x4)= ∑ (0, 2, 3, 5, 13, 14, 15)1
Diskreetne matemaatika KODUTÖÖ SISUKORD SISUKORD..........................................................................................1 ÜLESANNE 1 LOOGIKAFUNKTSIOON......................................................3 ÜLESANNE 2 TÕEVÄÄRTUSTABEL..........................................................3 ÜLESANNE 3 MINIMAALSED NORMAALKUJUD........................................3 3.1 MDNK KARNAUGH’ KAARDIGA.......................................................................3 3.2 MKNK MCCLUSKEY MEETODIGA.....................................................................4 3.3 VÕRDLUS.............................................................
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 7 0 1 1 1 1
Eesti Infotehnoloogia Kolledž Digitaalloogika ja Digitaalsüsteemid KODUTÖÖ Tallinn 2013 Sisukord Sisukord.................................................................................................................. 2 1. Leida oma matriklinumbrile vastav 4-muutuja loogikafunktsioon......................4 1.1 — sisestada lahtrisse oma matriklinumber...................................................4 1.2 — lülitada kalkulaator ümber 16ndsüsteemile (Hex).....................................4 1.3 — kalkulaatoris näidatava 16ndarvu 7-ga korrutamiseks vajutada järjest * ja 7 ning järgnevalt võrdusmärki = korduvalt, kuni näidatav 16ndarv kasvab 7- kohaliseks:.........................................................................................
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 Tõeväärtustabelite põhjal selgus, et MKNK ja DNK on loogiliselt võrdsed! 4. Taandatud ja täieliku DNK leidmine Taandatud DNK x3x4 x1x2 00 01 11 10 00 0 1 0 0
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 -
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.
Tallinna Tehnikaülikool Diskreetne Matemaatika KODUTÖÖ *** 15****IAPB ****** Detsember 2015 1. Minu matriklinumbrile (155423) vastav loogikafunktsioon oma numbrilises 10nd esituses: f(x1, x2, x3, x4) = ∑ (2, 3, 7, 8, 9, 13)1 (1, 4, 5, 14, 15)_ 2. Esitada oma loogikafunktsiooni tõeväärtustabel: x1 x2 x3 x4 f 0000 0 0001 - 0010 1 0011 1 0100 - 0101 - 0110 0 0111 1 1000 1 1001 1 1010 0 1011 0 1100 0 1101 1 1110 - 1111 - 3. Leida MDNK (McClusky meetodil) ja MKNK (Karnaugh’ kaardiga); tuvastada, kas leitud MDNK ja MKNK on teineteisega loogiliselt võrdsed või mitte.
Tallinna Tehnikaülikool Diskreetne Matemaatika KODUTÖÖ Peeter Sikk 121055 IASB 13 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
Eesti Infotehnoloogia Kolledz Digitaalloogika ja digitaalsüsteemid KODUTÖÖ Märt Erik EIK10040050 Rühm A22 Tallinn 2005 1. Leida oma matriklinumbrile vastav 4-muutuja loogikafunktsioon. Tehes calculator'iga nõutud ja vajalikud tehted on minu matriklinumbrile 10040050 vastav 4- muutuja loogikafunktsioon oma numbrilises 10ndesituses: f ( x1 x2 x3 x4 ) = ( 0,1,2,5,12,13)1 ( 4,6,9,11) - 2. Kirjutada välja oma matriklinumbrist leitud osaliselt määratud 4- muutuja loogikafunktsiooni tõeväärtustabel. X1 X2 X3 X4 Y 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1
Tallinna Tehnikaülikool Diskreetne Matemaatika KODUTÖÖ Olga Dalton 104493 IAPB11 Tallinn 2010 1. Leida oma matriklinumbrile vastav 4-muutuja loogikafunktsioon. Matrikli number on 104493 Ühtede piirkonna määramiseks saadud 16-nd arv on 28DD194D Seega on ühtede piirkond f(x1,x2,x3,x4) = (1,2,4,8,9,13)1 Määramatuspiirkonna määramiseks saadud 16-nd arv on 2675BD7 Määramatuspiirkond on seega f(x1,x2,x3,x4) = (5,6,7,11) Seega on matriklinumbrile 104493 vastav 4-muutuja loogikafunktsioon oma numbrilises 10ndesituses: f(x1..x4) = (1,2,4,8,9,13)1 (5,6,7,11)_ 2
Tallinna Tehnikaülikool Diskreetne Matemaatika KODUTÖÖ 142438 Sisukord 1)Martiklinumbrile vastav 4-muutuja loogikafunktsioon.............................................3 2)Tõeväärtustabel............................................................................................................3 3)MDNK ja MKNK, mis sobiksid martiklinumbrist leitud osaliselt määratud 4- muutuja funktsiooni esitamiseks...................................................................................3 4. Teisenda MKNK DNK kujule.......................................................................................5 5
00 1 1 _ 01 1 1 1 _ 11 _ 10 1 1 MDNK f ( x1 x2 x3 x4 ) = x1 x2 x1 x3 x4 x1 x2 x3 x3 x4 McCluskey f(x1 ,x2 ,x3, x4 ) = (0,3,9,12,13,15)0(7,8,14)- In 0-de pk. M Ind 2-sed intervallid M Ind 4-sed d intervallid 0 0000 X 0-1 -000 A1 0-1-1-2 1 1 0 0 0* X 1-2 100- X 1-2 1 - 0 - A4 1-00 X 2-3 2 0011 X 2-3 0-11 A2 2-3-3-4 1 1 - - A5
Tallinna Tehnikaülikool Diskreetse Matemaatika KODUTÖ Ö Kristjan Lank 082784 MAHB-11 Tallinn 2009 1. Leida oma matriklinumbrile vastav 4-muutuja loogikafunktsioon. Matrikli number on 082784 Ühtede piirkonna määramiseks saadud 16-nd arv on 205FBF60 Ühtede piirkond on seega f(x1,x2,x3,x4) = (0,2,5,6,11,15) 1 Määramatuspiirkonna määramiseks saadud 16-nd arv on 1E783BA Määramatuspiirkond on seega f(x1,x2,x3,x4) =(1,3,7,8,10,14) 2. Leida selle funktsiooni MKNK Karnaugh' kaardiga ja MDNK McCluskey' meetodiga. MKNK: x3x4 x1x2 00 01 11 10
Diskreetne Matemaatika KODUTÖÖ 094231 Tallinn 2009 1. Ülesanne Matrikli number on: 094231 Matrikkel teisendatuna kuueteistkümmendsüsteemi saan tulemuseks 17017 Antud kuueteistkümmendarv kaheksakohalisena oleks 24D9BD77 1-de piirkond on mul seega: 2 4 7 9 11 13 Jagades kaheksakohaline kuueteistkümmendarv 11'ga saan tulemuseks 22AED07 Määramatuspiirkond on mul seega: 0 10 14 Seega oleks matriklinumbrile 094231 vastav 4-muutuja loogikafunktsioon oma numbrilises 10ndesituses: f(x1,x2,x3,x4) = (2, 4, 7, 9, 11, 13)1 (0, 10, 14)_ f(x1,x2,x3,x4) = (1, 3, 5, 6, 8, 12, 15)0 (0, 10, 14)_ 2. Ülesanne 2.1 MDNK Karnaugh' kaardiga: x3x4 x1x2 00 01 11 10 0 00 0 1 -1-
Tallinna Tehnikaülikool Diskreetne Matemaatika KODUTÖÖ Tallinn 2009 f ( x1 x2 x3 x4 ) (1,2,4,8,9,12)1 (3,6,11) 01 1. 11 10 x3x4 x1x2 00 01 11 10 00 0 1 - 1 01 1 0 0 - 11 1 0 0 0 10 1 1 - 0 f x1 , x2 , x3 , x4 x1 x2 x3 x4 x2 x4 x1 x3 MKNK: 2. Ind. Nr. Märge Ind. Nr.-d Vahe Märge Ind. Nr.-d Vahe Märge 1 1 x 1-2 1-3 2 x 1-2-2- 1-3-9- 2,8 A7 3 11 2
MDNK ja MKNK leidmised on teineteisest sõltumatud ja nad võib leida 10 1 0 0 1 10 1 0 0 1 ükskõik kumbas järjekorras. Leiame esimesena MDNK konstantsed muutujad 1-de kontuurile vastav ! DNK saadakse alati loogikafunktsiooni 1de piirkonnast ! vaadeldavas kontuuris elementaarkonjunktsioon Kontuuride valimise reeglid x 3 x4 x1 x 2 00 01 11 10 x 3 x4 x1 x 2 00 01 11 10 f ( x1 x2 x3 x4 ) = ¯1 x2 x3
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 -
2012 1. Ülesanne Matrikli number on: 123795 16nd süsteemi teisendatuna on see: 1E393 Teisendades see 8-kohaliseks: 102328D1 <- siit saab ühtede piirkonna 1-de piirkond: 0,1,2,3,8,13 Viimaks jagan 11-ga: F30266 <- siit saab määramatuspiirkonna (mis pole juba ühtede piirkonnas) Määramatuspiirkond: 6,15 Seega oleks matriklinumbrile 123795 vastav 4-muutuja loogikafunktsioon oma numbrilises 10ndesituses: f(x1,x2,x3,x4) = (0,1,2,3,8,13)1 (6,15)_ f(x1,x2,x3,x4) = (4,5,7,9,10,11,12,14)0 (6,15)_ 2. Ülesanne 2.1 Leian Karnaugh' kaardi abil MDNK x3x4 x1x2 00 01 11 10 00 1 1 1 1 01 0 0 0 -0-
x w x1 ) w x2 ( x1 x ¯3 ) Kui asendada n-muutuja funktsiooni f ( x1 x2 ... xi ... xn ) avaldises üks tema muutuja xi konstandiga 0 või 1 , siis on jääkfunktsiooniks . . . . arenduse avaldis leitud a (n1)-muutuja funktsioon: sellele avaldisele leidub ka lihtsam / kiirem arenduse leidmisvõimalus : ik
Eesti Infotehnoloogia Kolledž Digitaalloogika ja -süsteemid KODUTÖÖ kaugõpe Eesnimi Perenimi Matrikli nr. 10131846 Õpperühm DK21 Tallinn 2015 1. Leida oma matriklinumbrile vastav 4-muutuja loogikafunktsioon. Matriklinumber 10131846 on 16nd kujul 9A9986. 16nd kujul matriklinumber on vaja saada 7-kohaliseks. Selleks korrutan: 9A9986 * 7 = 43A32AA Saadud 16ndarvu 7 järguväärtust 0 . . . 15 määravad loogikafunktsiooni 1-de piirkonna. Seega 1-de piirkonda kuuluvad: 2, 3, 4, 10(A). Määramatuspiirkonna leidmiseks tuleb saadud 7-kohalist 16ndarvu korrutada veel niimitu korda 7-ga, kuni korrutamistulemus on 9-järguline: 43A32AA * 7 * 7 * 7 = 5A9F9E1C6. Tekkinud 16ndarvu need järguväärtused 0 . . . 15, mis ei kuulu juba 1-de piirkonda, moodustavad funktsiooni määramatuspiirkonna. Seega määramatuspiirkonda kuuluvad: 1, 5, 6, 9, 12(C), 14(E), 15(F). Ülejäänud arvud vahemikus 0...
Tallinna Tehnikaülikool Infotehnoloogia teaduskond Diskreetne Matemaatika KODUTÖÖ Üliõpilane: Andri Kaaremäe Õpperühm: IABB13 Matrikli nr: 154819 Tallinn 1) Matriklinumbrile vastav 4-muutuja loogikafunktsioon f(x1 ... x4) = (2, 3, 4, 5, 9, 10)1 (7, 8, 11, 13)_ (0, 1, 6, 12, 14, 15)0 2) Tõeväärtustabel X1 X2 X3 X4 f 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 1 - 1 0 0 0 - 1 0 0 1 1 1 0 1 0 1
1 1 0 0 - 1 1 0 1 - 1 1 1 0 1 1 1 1 1 - 3) MDNK Karnaugh’ kaardi abil: x3 x1 x4 00 01 11 10 x2 00 1 0 - 1 01 0 0 0 0 11 - - - 1 10 0 1 1 - MDNK ¿ f ( x 1 … x 4 )=´x 1 ´x 2 x´ 4 V x 1 x 4 V x 1 x3 MKNK McCluskey meetodi abil: Indeks Intervall Märge Indeks Intervallid Märge Indeks Intervall Märge 0 - 0-1 - 0-1-1-2 - 1 0001 (1) x 1-2 00-1* x 1-2-2-3 0--1* A3 0100 (4) x 0-01 x 01-- A4 1000 (8) x 010- x -10-* A5
1. Martiklinumbrile vastav 4-muutuja loogikafunktsioon? Minu martiklinumber: 155042 -> 25DA2 7-kohaline: 3 2 B 7 4 O E ----> 0 2 3 4 7 11 14 9-kohaline: 4 3 F 3 8 7 E C 2 ----> 2 3 4 7 8 12 14 15 Määramatus: 8, 12, 15 0-de piirkond: 1, 5, 6, 9, A, D f(x1, x2, x3, x4) = (0,2,3,4,7,11,14)1(8,12,15)_ 2. Loogikafunktsiooni tõeväärtustabel x1 x2 x3 x4 f 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 1 1 1 1 0 0 0 - 1 0 0 1 0 1 0 1 0 0
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" ).
x1 x 2 x 3 x 4 (1) x1 x 2 x3 x 4 (0) x1 x 2 x 3 x 4 (1) x1 x 2 x3 x 4 (1) x1 x 2 x 3 x 4 (0) 7. Shannoni disjunktsioon kahe muutujaga f(x 1 , x 2 , x 3 , x 4 ) = x1 x 2 x1 x3 x 4 x 2 x3 x 4 = x 1 x 2 (0 0 1 x3 x 4 0 x3 x 4 ) x1 x 2 (1 1 0 x3 x 4 1 x3 x 4 ) x1 x 2 (0 1 1 x3 x 4 1 x3 x 4 ) x1 x 2 (1 0 0 x3 x 4 0 x3 x 4 ) = x 1 x 2 (1 x3 x 4 ) x1 x 2 ( x3 x 4 ) x1 x 2 ( x3 x 4 x3 x 4 ) x1 x 2 (0) 8. MDNK-le Shannoni konjunktsioon kahe muutuja järgi [ f(x 1 , x 2 , x 3 , x 4 ) = x1 x 2 x1 x3 x 4 x 2 x3 x 4 = x 1 x 2 (1 1 0 x3 x 4 1 x3 x 4 ) ] [ & x1 x 2 (0 0 1 x3 x 4 0 x3 x 4 ) ] & [x 1 x2 (1 0 0 x x 0 x x ) ] 3 4 3 4 & [x 1 x2 (0 1 1 x x 1 x x ) ] = [ x 3 4 3 4 1 x 2 ( x3 x 4 )] & [x 1 x2 ( x x )]