KNK konjunktiivne normaalkuju täielik disjunktiivne / konjunktiivne TDNK/TKNK normaalkuju minimaalne disjunktiivne / MDNK/MDNK konjunktiivne normaalkuju taandatud disjunktiivne / TaDNK/TaKNK konjunktiivne normaalkuju 2. Ülesannete lahendamine 2.1 MDNK leidmine McCluskey meetodiga 2.1.1 Lihtimplikantide hulga leidmine implikant konjunktsioon, mis vastab funktsiooni ühtede intervallile ind nr mrg. ind. nr.-d vahe mrg. ind. nr.-d vahe mrg 1 1* x 1-2 1*-5 4 x 1-2-2-3 1*-9-5-13* 4,8 A2
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) Kõik muutujaväärtused on inverteeritud (0 annab x, 1 annab x inversiooni) Osaliselt määratud funktsioonis võtta kaasa võimalikult palju kriipse TaDNK – kõigi lihtimplikantide disjunktsioon Karnaugh’ kaardil MDNK kontuuride ühendamine kontuuridega, mis EI OLE TÄIESTI teiste sees TaKNK – kõigi lihtimplikantide disjunktsioon Karnaugh’ kaardil MKNK kontuuride ühendamine kontuuridega, mis EI OLE TÄIESTI teiste sees Reed-Mulleri polünoom - Karnaugh’ kaardil 1-de piirkonnas võtta mittelõikuvad kontuurid (paaritult) Shannoni disj arendus – nt 𝑥(𝑥 1 𝑥) 𝑉 𝑥̅(𝑥 0 𝑥) Shannoni konj arendus – nt [𝑥 𝑉 (𝑥 0 𝑥)]∗[𝑥̅ 𝑉 ( 𝑥 1 𝑥)]
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) Kõik muutujaväärtused on inverteeritud (0 annab x, 1 annab x inversiooni) Osaliselt määratud funktsioonis võtta kaasa võimalikult palju kriipse TaDNK – kõigi lihtimplikantide disjunktsioon Karnaugh’ kaardil MDNK kontuuride ühendamine kontuuridega, mis EI OLE TÄIESTI teiste sees TaKNK – kõigi lihtimplikantide disjunktsioon Karnaugh’ kaardil MKNK kontuuride ühendamine kontuuridega, mis EI OLE TÄIESTI teiste sees Reed-Mulleri polünoom - Karnaugh’ kaardil 1-de piirkonnas võtta mittelõikuvad kontuurid (paaritult) Shannoni disj arendus – nt 𝑥(𝑥 1 𝑥) 𝑉 𝑥̅ (𝑥 0 𝑥) Shannoni konj arendus – nt [𝑥 𝑉 (𝑥 0 𝑥)] ∗ [𝑥̅ 𝑉 ( 𝑥 1 𝑥)]