DISKMAT KODUTÖÖ 2015
Teisenda MKNK DNK kujule.
0 1 1 1 1 1
1 0 0 0 0 0 MKNK: f = (x1 v x3)(x2 v x3 v x4)(xx 1 v xx 3 v xx 4)
1 0 0 1 1 1 Teisendus DNK kujule:
1 0 1 0 1 1 f = (x1 v x3)(x2 v x3 v x4)(xx 1 v xx 3 v xx 4) = (x1x2 v x1x3
1 0 1 1 0 0 v x1x4 v x2x3 v x3x3 v x3x4)(xx 1 v xx 3 v xx 4) = x1x2xx 1 v
1 1 0 0 1 1 x1x2xx 3 v x1x2xx 4 v x1x3xx 1 v x1x3xx 3 v x1x3xx 4 v x1x4xx 1
1 1 0 1 1 1 v x1x4xx 3 v x1x4xx 4 v x2x3xx 1 v x2x3xx 3 v x2x3xx 4 v x3xx 1
v x3xx 3 v x3xx 4 v x3x4xx 1 v x3x4xx 3 v x3x4xx 4 = x1x2xx 3 v
1 1 1 0 1 1