1 1 0 0 0 0 5 TaDNK = f(x1 x2 x3 x4) = x2 x3 v x2 x4 v x1 x3 x4 v x1 x3 x4 v x1 x2 x4 v x1 x2 x3 v x1 x3 x4 Täielik DNK leiame funktsiooni ühtede piirkonna argumentvektorite vastavate konstituentide kokku liitmise teel VÕI-tehtega: 6 ARGUMENTVEKTOR KONSTITUENT 0001 x1 x2 x3 x4 0011 x1 x2 x3 x4 0010 x1 x2 x3 x4 0100 x1 x2 x3 x4 0101 x1 x2 x3 x4 0110 x1 x2 x3 x4
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 argumentvektorit (0000, 0010, 0011, 0101, 1101, 1110, 1111), leian neile vastavad konstituendid: 1de piirkonna argumentvektorid Konstituent 0000 x1 x2 x3 x 4 0010 x1 x2 x3 x 4 0011 x1 x2 x3 x 4 0101 x1 x2 x3 x 4 1101 x1 x2 x3 x 4 1110 x1 x2 x3 x 4
Näiteid (näidetes on antud algavaldis ja lõppresultaat pärast lihtsustamist) (( x 1 ) x2 ) ( x1 x2 ) & x2 = x2 (( x 1 x )&( x x )) ( x 2 2 3 3 x1 ) = x1 x3 x1 x3 x2 x3 x1 x2 x3 x1 x3 = x1 x2 x3 (x1 x2 ) ( x1 x2 x3 ) = 1 10 i xi,kui_ i = 1 · Loogikafunktsiooni konstituent: & n i= 1 (x) i i , kus ( xi) = x ,kui_ = 0
x 1 x2 x1 x2 & x2 x2 x 1 x & x x x 2 2 3 3 x1 x1 x3 x1 x3 x2 x3 x1 x2 x3 x1 x3 x1 x2 x3 x1 x2 x1 x2 x3 1 i xi ,kui_i 1 Loogikafunktsiooni konstituent: & xi n i 1 i , kus xi x ,kui_ 0 i i
annaabi.ee 
