15 1111 x1 x 2 x 3 x 4 TKNK f(x1,x2,x3,x4) = ( x1 x 2 x3 x 4 )( x1 x 2 x 3 x 4 )( x1 x 2 x 3 x 4 )( x1 x 2 x 3 x 4 )& &( x1 x 2 x 3 x 4 )( x 1 x 2 x 3 x 4 )( x 1 x 2 x 3 x 4 )( x1 x 2 x 3 x 4 ) 2.6 Shannoni disjunktiivne arendus muutujatele x2x3x4 MDNK: f(x1,x2,x3,x4) = x1 x 2 x 4 x 2 x 3 x 3 x 4 MDNKs esineb võrdsel hulgal argumente x2, x3 ning x4. Arendan funktsiooni nende järgi. Shannoni osaline disjunktiivne arendus muutujate x 2, x3, x4 järgi. f(x1,x2,x3,x4) = = x 2 x 3 x 4 & f ( x1 ,0,0,0) x 2 x 3 x 4 & f ( x1 ,0,0,1) x 2 x 3 x 4 & f ( x1 ,0,1,0) x 2 x 3 x 4 & f ( x1 ,0,1,1) x 2 x 3 x 4 & f ( x1 ,1,0,0) x 2 x 3 x 4 & f ( x1 ,1,0,1) x 2 x3 x 4 & f ( x1 ,1,1,0) x 2 x3 x 4 & f ( x1 ,1,1,1) =
x1 x2 x3 x1 x2 x3 x4 x1 x2 x4 x1 x2 x3 x4 x2 x3 x4 x1 x2 x3 x1 x2 x3 x4 x1 x2 x4 x1 x2 x3 x4 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x1 x2 x3 x4 x1 x2 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x1 x2 x4 x2 x3 x4 x1 x2 x3 x1 x2 x4 x1 x2 x3 x4 MKNKst teisendatud DNK ei ole kokkulangev MDNK avaldisega, kuid sisaldab endas MDNKs olevaid avaldisi. DNK ja MDNK ei ole ka loogiliselt võrdsed, mõlema tõeväärtustabeli välja arvutamisel selgus, et erinevus on vektoris 1010. Teisendatud DNK avaldises on rohkem liikmeid, mis muudavad tõeväärtustabelid erinevaks. 5. Taandatud DNK ja Täieliku DNK leidmine. Täielik DNK: Punktis 2 esitatud tõeväärtustabeli järgi kuulub funktsiooni 1de piirkonda 7