1111 1 1 Avaldised pole ka loogiliselt võrdsed, sest nende tõeväärtustabelid ei ole täpselt samad. MDNK haarab suurema kontuuri moodustamise tõttu ühe määramatusepiirkonnas oleva vektori rohkem 1-de piirkonda, kui leitud DNK, mis koosneb ainult kahevektorilistest intervallidest. 5. Leida MDNK-ga loogiliselt võrdne Taandatud DNK ja Täielik DNK, näidates/selgitades mõlema jaoks ära ka nende leidmisviisi. Täieliku DNK leidmine: Kasutan kleepimisseadust: x1 = x1xx2 V x1x2 f(x1x2 x3x4) = xx1 xx2 x3 V x1 xx2 xx3 V x2 x4 = xx1 xx2 x3x4 V xx1 xx2 x3xx4 V x1xx2 xx3x4 V 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
t 3 4 ? kas leidub ka avaldise teisendus, mis kaotaks liiase liikme ? 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
¯4 w x3 x4 t i t 10 1 1 1 ? kas leidub ka avaldise teisendus, mis kaotaks liiase liikme ? In s rakendades kleepimisseadust x = x y w x ¯ y teisendame avaldise analüüsitava DNK tõeväärtustabel kaardil korraks keerulisemaks, lisades liiasele liikmele seal puuduva muutuja x4 mitme kontuuriga õnnestub katta kõik 1-de ruudud optimaalseimal viisil ? Siis tekkivad avaldises neeldumised kujul x w xy = x
__ __ __ __ B ∪ ( A ∩ B ∩ C ) ∪ ( A ∩ B∩ C ) ∪ ( A ∩ B ∩ C ) (A ∆ B ) C Cantori täielik normaalkuju sisaldab igas ühendis või ühisosas kõiki avaldises osalevaid hulki. Avaldiseliikmes puuduvaid hulki saab lisada kleepimisseadust rakendades: __ __ A=(A∪B) ∩ (A∪B) A=(A∩B) ∪ (A∩B) Hulkade RISTKORRUTIS ehk OTSEKORRUTIS × Kahe hulga ristkorrutis A × B on järjestatud paaride < a, b > hulk, kus paari esimene element on esimeseks teguriks olevast hulgast ja paari teine element on teiseks teguriks olevast hulgast: A × B = { < a, b > | a ∈ A ∧ b ∈ B }
annaabi.ee 
