taandatud DNK ja täielik DNK, selgitades mõlema jaoks ära ka nende leidmisviisi. Saime f MDNK =x 1 x´2 ∨ x 4 . 5.1 TAANDATUD DNK Taandatud DNK on funktsiooni kõikide lihtimplikantide disjunktsioon. Lihtimplikant ehk maksimaalne implikant on selline, mis tervikuna ei sisaldu üheski suuremas ühtede intervallis. Vaadates alamülesande 3.1 parempoolset Karnaugh’ kaarti, näeme, et joonistatud kontuurid vastavad ühtlasi ka lihtimplikantidele. Seega loogikafunktsiooni taandatud disjunktiivne normaalkuju on võrdne saadud MDNK-ga: 5 f TaDNK =x1 x´ 2 ∨ x 4 =f MDNK 5.2 TÄIELIK DNK Täielik DNK on selline disjunktiivne normaalkuju, mille korral iga elementaarkonjunktsiooni pikkus on võrdne loogikafunktsiooni argumentide arvuga. Vaadates alamülesande 3.1 parempoolset Karnaugh’ kaarti, saame ühtede piirkonna järgi välja kirjutada TDNK
f(x1 ,x2 )= x1 x2 2.Kolme muutuja loogikafunktsioonid Näide 3 f(x1 ,x2 ,x3)=(1,3,6,7)1 14 x2x3 x1 00 01 11 10 0 0 1 1 0 1 0 0 1 1 f(x1 ,x2 ,x3)= x1 x2 x1 x3 - minimaalne DNK f(x1 ,x2 ,x3)= ( x1 x3 )( x1 x2 ) - minimaalne KNK Märkus: Karnough' kaardil on punktiiriga näidatud liiasetele lihtimplikantidele vastavad kontuurid. Näide 4 f(x1 ,x2 ,x3)=(1,4,5,6,7)1 x2x3 x1 00 01 11 10 0 0 1 0 0 1 1 1 1 1 f(x1 ,x2 ,x3)= x1 x2 x3 - minimaalne DNK f(x1 ,x2 ,x3)= ( x1 x2 )( x1 x3 ) - minimaalne KNK 3. Nelja muutuja loogikafunktsioonid Näide 5 f(x1 ,x2 ,x3, x4 )=(0,1,6,8,9,12,14)1 x3x4 x1x2 00 01 11 10
1 1 1 f(x1 ,x2 )= x1 x2 2.Kolme muutuja loogikafunktsioonid Näide 3 f(x1 ,x2 ,x3)=(1,3,6,7)1 x2x3 x1 00 01 11 10 0 0 1 1 0 1 0 0 1 1 f(x1 ,x2 ,x3)= x1 x2 x1 x3 - minimaalne DNK f(x1 ,x2 ,x3)= x1 x3 x1 x2 - minimaalne KNK Märkus: Karnough’ kaardil on punktiiriga näidatud liiasetele lihtimplikantidele vastavad kontuurid. Näide 4 f(x1 ,x2 ,x3)=(1,4,5,6,7)1 x2x3 x1 00 01 11 10 0 0 1 0 0 1 1 1 1 1 14 f(x1 ,x2 ,x3)= x1 x2 x3 - minimaalne DNK f(x1 ,x2 ,x3)= x1 x2 x1 x3 - minimaalne KNK 3. Nelja muutuja loogikafunktsioonid Näide 5