MDNK või MKNK. Kuidas kasutatakse karnaugh kaarti funktsiooni minimeerimisel? 4 etappi: Paigutatakse funktsiooni tõeväärtustabel karnaugh kaardile Katta kaardil kõik 1-d (MDNK) või kõik -d(MKNK) võimalikult väikse arvu ja võimalikult suurte kontuuridega. Leida iga valitud kontuuri jaoks tema ulatuses konstantsed muutujad xi Kirjutada kontuuride konstantsete muutujate järgi välja MDNK elementaarkonjuktsioonid või MKNK elementaardisjunktsioonid. Milline loogikafunktsioon on nõrgalt määratud? Suure määramatuspiirkonnaga osaliselt määratud funktsioone nimetatakse nõrgalt määratud loogikafunktsioonideks. Millised intervallid on ortogonaalsed? Intervallid on ortogonaalsed, kui nad ei oma ühisosa. 2 intervalli on ortogonaalsed, kui ei leidu sellist kahendvektorit, mis kuuluks samaaegselt mõlemasse intervalli. Mis on ortogonaalsustehe? Millele teda rakendatakse? Vt lk 217 Mis on loogikafunktsiooni implikant
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 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
𝑥1𝑥2=(𝑥1→(𝑥2→(𝑥1⊕𝑥1)))→(𝑥1⊕𝑥1) DNK – suvalised elementaarkonjunktsioonide disjunktsioonid Saadakse funktsiooni 1-de piirkonnast. KNK – suvalised elementaardisjunktsioonide konjunktsioonid Saadakse funktsiooni 0-de piirkonnast TDNK – kõik elementaarkonjunktsioonid sisaldavad kõiki muutujaid Kõik 1-de piirkonda kuuluvad argumentvektorid (tõeväärtustabelis) TKNK – kõik elementaardisjunktsioonid sisaldavad kõiki muutujaid Kõik 0-de piirkonda kuuluvad argumentvektorid (tõeväärtustabelis) Muutujaväärtused inverteeritud (0 annab x, 1 annab x inversiooni) MDNK – väikseima keerukusega DNK Karnaugh’ kaardil võimalikult suured kontuurid ümber 1-de (1, 2, 4, 8) Osaliselt määratud funktsioonis võtta kaasa võimalikult palju kriipse MKNK – väikseima keerukusega KNK Karnaugh’ kaardil võimalikult suured kontuurid ümber 0-de (1, 2, 4, 8)
Sellist hulka, kus vähemalt 2 elementi pole omavahel vaadeldava võrdluskriteeriumiga võrreldavad, nim osaliselt järjestatud hulgaks. DNK – suvalised elementaarkonjunktsioonide disjunktsioonid Saadakse funktsiooni 1-de piirkonnast. KNK – suvalised elementaardisjunktsioonide konjunktsioonid Saadakse funktsiooni 0-de piirkonnast TDNK – kõik elementaarkonjunktsioonid sisaldavad kõiki muutujaid Kõik 1-de piirkonda kuuluvad argumentvektorid (tõeväärtustabelis) TKNK – kõik elementaardisjunktsioonid sisaldavad kõiki muutujaid Kõik 0-de piirkonda kuuluvad argumentvektorid (tõeväärtustabelis) Muutujaväärtused inverteeritud (0 annab x, 1 annab x inversiooni) MDNK – väikseima keerukusega DNK Karnaugh’ kaardil võimalikult suured kontuurid ümber 1-de (1, 2, 4, 8) Osaliselt määratud funktsioonis võtta kaasa võimalikult palju kriipse MKNK – väikseima keerukusega KNK Karnaugh’ kaardil võimalikult suured kontuurid ümber 0-de (1, 2, 4, 8)