11 1 - 0 1 10 -1 1 -1 0 Täielik DNK: x1x2x3x 00 01 11 10 4 00 1 0 1 1 01 1 0 0 0 11 1 - 0 1 10 -1 1 -1 0 5. Täielik KNK: x1x2x3x 00 01 11 10 4 00 1 0 1 1 01 1 0 0 0 11 1 - 0 1 10 - 1 -0 0 6. Shannoni disjunktiivne arendus (x1x2x4 järgi) = = 7. Shannoni disjunktiivne arendus (1 muutuja järgi) = 8. Shannoni konjunktiivne arendus (järgi) & & =[ 9. Reed-Mulleri polünoom
määramatuspiirkonna tõttu on nende tõeväärtustabelid erinevad (MDNK puhul on ka määramatuspiirkond arvestatud 1-de piirkonda). 4. Teisendada punktis 3 leitud MKNK loogikaalgebra põhiseaduste abil DNK-kujule (ehk korrutada MKNK avaldises "sulud lahti" ja lihtsustada tekkiv DNK käsitsi). Võrrelda, kas saadud DNK ja MDNK langevad kokku. f(x1x2 x3x4) = (x1 V x3) ( xx2 V x4) (xx1 V x2 V xx3) = (x1xx2 V x1x4 V xx2 x3 V x3x4) (xx1 V x2 V xx3) = = xx1 xx2 x3 V xx1 x3x4 V x1x2x4 V x2x3x4 V x1xx2 xx3 V x1xx3 x4 Leitud DNK ei lange kokku MDNK-ga. Kontrollin, kas nad on omavahel loogiliselt võrdsed – arvutan mõlemale tõeväärtustabelid: x1 x2 x3 x4 fMDNK fDNK 0000 0 0 0001 0 0 0010 1 1 0011 1 1 0100 0 0 0101 1 0 0110 0 0 0111 1 1
x1 x 2 x3 x 4 Asendadame disjunktsioonid (moodul 2 summa) ja inversioonid + 1-ga . Võime asendada disjunktsioonid, kuna kõik ,,1"-d on katetud paaritu arvu kontuuridega. x1 x 2 x3 V x1x2x3 V x1 x2 x 4 V x1 x 2 x3 x 4 = x1 x 2 x3 x1x2x3 x1 x2 x 4 x1 x 2 x3 x 4 = x1(x2 1)(x3 1) x1x2x3 (x1 1)x2(x4 1) (x2 1) (x2 1)x3(x2 1) = (x1x2 x1) (x3 1) x1x2x3 (x1x2 x2) (x4 1) (x1x3 x3) (x2 1) (x4 1) = x1x2x3 x1x2 x1x3 x1 x1x2x3 x1x2x4 x1x2 x2x4 x2 (x1x2x3 x1x3 x2x3 x3) (x4 1) = x1x2x3x4 x1x2x3 x1x3x4 x2x3x4 x2x3 x3x4 x1x2x4 x2x4 x1 x2 x3
(8/10) 1 0 -- 0 (10/11) 1 0 1 -- (4/5/6/7/4/6/5/7) 0 1 -- -- (3/11) -- 0 1 1 (3/11/7/15/3/7/11/15) -- -- 1 1 (4/5/6/7/4/6/5/7) 0 1 -- -- . . (3/11/7/15/3/7/11/15) -- -- 1 1 . -- X1X2 v X3X4 v X1X2X3 v X1X2X4 v X2X3X4 v X1X3X4 · II 0100 0101 0011 0110 1011 0111 1. 0--00 1 0 0 0 0 0 --000 0 0 0 0 0 0 10--0 0 0 0 0 0 0 01---- 1 1 0 1 0 0 101-- 0 0 0 0 1 0
) (3/7) 0-11 (13 1101 ) (10/11) 101- 3 (7) 0111 (13/15) 11-1 (11) 1011 3 (7/15) -111 4 (15 1111 ) (11/15)Tallinn 1-11University of Technology 2012 7 - II . 1000 1100 1101 1111 0111 0010 --11 1-00 -01- 11-1 110- -01- 0 0 0 0 0 1 X3X4 X1X3X4 X2X3 X1X2X4 --11 0 0 0 1 1 0 X1X2X3 1-00 1 1 0 0 0 0 10-0 1 0 0 0 0 0 00-1 0 0 0 0 0 0 X3X4vX1X3X4vX2X3vX1X2X4 110- 0 1 1 0 0 0 11-1 0 0 1 1 0 0 Tallinn University of Technology 2012 8 - I 000 0 0 (0) 0000 010 M°= 0 1 (4) 0100
10 1 1 1 0 17.3.14 T. Evartson 45 x1 1 1 x3 1 y x2 1 & 1 x4 17.3.14 T. Evartson 46 Lihtsustada ja koostada loogikaskeem X1 ( X2 + X3X4 + X1 X2) + X1X3X4 +X2X4 = X1X2 + X2X4 + X1X3 X1 ( X2 + X3X4 + X1 X2) + X1X3X4 +X2X4 = X1X2 + X2X4 X1 ( X2 + X3X4 + X1 X2) + X1X2X4 +X2X4 = X1 + X2X4 X1 ( X3 + X3X4 + X1 X2) + X1X3X4 +X2X4 = X1 + X2X4 X3 ( X2 + X3X4 + X1 X2) + X1X3X4 +X2X4 = X1X3 + X2X3 + X2X4 17.3.14 T. Evartson 47
DNK: f = xx 1xx 2xx 3xx 4 v xx 1x3 v x1x2xx 3 v x1xx 2xx 3x4 v x1x3xx 4 Reed-Mulleri polünoom: f = xx 1xx 2xx 3xx 4 v xx 1x3 v x1x2xx 3 v x1xx 2xx 3x4 v x1x3xx 4 = (x1 1)(x2 1)(x3 1)(x4 1) (x1 1)x3 x1x2(x3 1) x1(x2 1) (x3 1)x4 x1x3(x4 1) = (x1x2 x1 x2 1) ( x3x4 x3 x4 1) x1x3 x3 x1x2x3 x1x2 x1x4(x2x3 x2 x3 1) x1x3x4 x1x3 = x1x2x3x4 x1x2x3 x1x2x4 x1x2 x1x3x4 x1x3 x1x4 x1 x2x3x4 x2x3 x2x4 x2 x3x4 x3 x4 1 x1x3 x3 x1x2x3 x1x2 x1x4x2x3 x1x4x2 x1x4x3 x1x4 x1x3x4 x1x3 = x1 x2x3x4 x2x3 x2x4 x2 x3x4 x4 1 x1x3x4 x1x3 10
X2X3 6,2780697533 X2X4 2,9855420624 X3X4 2,5142605106 X1X2X3 7,3475809864 X1X3X4 3,4729028416 X1X2X4 4,1457010814 X2X3X4 4,2014352048 X1X2X3X4 4,9987527278 SUMMARY OUTPUT Regression Statistics Multiple R 0,5624358723 R Square 0,3163341104 Adjusted R Square 0,2069475681