Tallinna Tehnikaülikool
Diskreetne Matemaatika KODUTÖÖ164780
1.
Matriklinumber : 164780
Matriklinumber 16ndsüsteemis: 283AC
7-
kohaline arv: 35E6B74
4-
muutuja loogikafunktisooni 1de piirkond: 3, 4, 5, 6, 7, 11, 14
9-kohaline arv: 48381F86C
4-
muutuja loogikafunktisooni määramatuspiirkond: 1, 8, 12, 15
4-muutuja loogikafunktisooni 0de piirkond: 0, 2, 9, 10, 13
2. f(x1x2x3x4) = ∑(3, 4, 5, 6, 7, 11, 14)1 (1, 8, 12, 15)_
x1x2x3fx40000
0
0001
0010
0
0011
1
0100
1
0101
1
0110
1
0111
1
1000
1001 0
1010 0
1011 1
1100
1101 0
1110
1
1111 3. MDNK leidmine Karnaugh´ kaariga:00011110000
−
1
0
011
1
1
1
11−
0
−
1
10−
0
1
0
MDNK:
f(xxx´
x1x2x3x4) =
´
x 1
2 v
x 3
4 v
x 2
4
MKNK McCluskey´ meetodiga:Indeks Intervall K?IntervallK?IntervallK?0
0000
X
000-
X
-00-
A10001*
X
00-0
X
-0-0
A21
0010
X
-000
X
1000*
X
-001
X
1-0-
A31001
X
-010
X
2
1010
X
100-
X
1100*
X
10-0
X
3
1101
X
1-00
X
4
1111*
X
1-01
X
110-
X
11-1
A401*28*910121315**←
A1X
X
X
X
←
A2X
X
X
X
←
A3X
X
X
X
A4X
X
MKNK: :
f(x1x2x3x4) = (
x 2 v
x 3)(
x 2 v
x 4)( ´
x 1 v
x 3)
4.
5. MDNK-ga loogiliselt võrdne Taandatud DNK ( TaDNK ) ja Täielik DNK
(TDNK)TaDNK00011110000
0
1
0
011
1
1
1
111
0
1
1
100
0
1
0
TaDNK:
f(xxx´
xxx1x2x3x4) =
´
x 1
2 v
x 3
4 v
x 2
4 v
x 1
2
3
TDNK00011110000
0
1
0
011
1
1
1
111
0
1
1
100
0
1
0
TDNK:
f(x´
xxxx´
x´
x´
xx´
x1x2x3x4) =
´
x 1
2
3
4 v
´
x 1
2
3
4 v
1
2
3
x´
xxx´
xxxxx´
xxxx4 v
1
2
3
4 v
´
x 1
2
3
4 v
1
2
3
4 v
1
x´
x´
xxx´
xxxx2
3
4 v
x 1
2
3
4 v
x 1
2
3
4
6.MKNK-ga loogiliselt võrdne Täielik KNK (TKNK)
00011110000
0
1
0
011
1
1
1
110
0
1
1
100
0
1
0
xTKNK:
f(x1x2x3x4) = (
x 1 v
x 2v
x 3v
x 4) ¿ 1 v
x 2 v
x 3 v ´
x 4)(
x 1 v
x 2 v ´
x 3 v
x 4)( ´
x 1 v
x 2 v
x 3 v
x 4)
( ´
x 1 v
x 2 v
x 3 v ´
x 4)( ´
x 1 v
x 2 v ´
x 3 v
x 4)( ´
x 1 v
´
x 2 v
x 3 v
x 4)( ´
x 1 v ´
x 2 v
x 3 v ´
x 4)
7. Shannoni arendus x2 ja x4 järgif = ´
x´
xfx´
x2
4 *
(x10x30) v ´
x 2
4 *
f (
x 10
x 31) v
x 2
4 *
f (
xx11
x 30) v
x 2
4 *
f (
x 11
x 31) =
= ´
x´
xx2
4(
´
x 1*0 v
x 3*0 v 0*1) v ´
x 2
4(
´
x 1*0 v
x 3*1 v 0*0) v
x 2
´
x 4( ´
x 1*1 v
x 3*0 v 1*1) v
v
xx2
4(
´
x 1*1 v
x 3*1 v 1*0) =
= ´
x´
xx´
xx2
4(0) v
´
x 2
4(
x 3) v
x 2
4(
´
x 1 v 1) v
x 2
4(
´
x 1 v
xx´
xx3) =
´
x 2
4(
x 3) v
x 2
4(1) v
x 2
4(
´
x 1 v
x 3)
8. Shannoni disjunktiivne arendus x4 järgif = ´
xxxxx4 *
f (
x 1
2
30) v
x 4*
f (
x 1
2
31) =
= ´
xxx4(
x 1
2 v
x 3*0 v
x 2*1) v
x 4(
x 1
2 v
x 3*1 v
x 2*0) =
x= ´
xxx4
¿ 1
2 v
x 2 ) v
x 4(
x 1
2 v
x 3) =
= ´
xx4(
x 2) v
x 4(
x 1
2 v
x 3)
9. Punktis 3 saadud MDNK
f ( xxxxxx1 2 3 4) =
´
x 1
2 v
x 3
4 v
x´
x2
4 Shannoni konjunktiivne arendus vabalt valitud 2he muutuja järgi.
Leian Shannoni konjunktiivse arenduse muutujate x2 ja x4 järgi:f = [
x 2v
x 4 v
f (
x 10
x 30)] * [
x 2 v ´
x 4 v
f (
x 10
x 31)] * [
´
x 2v
x 4 v
f (
x 11
x 30)] * [ ´
x 2 v ´
x 4 v
f (
x 11
x 31)] =
´
x= [
x 2 v
x 4 v ( ´
x 1*0 v
x 3*0 v 0*1)] * [
x 2 v ´
x 4 v ¿ 1*0 v
x 3*1 v
0*0)] * [ ´
x 2 v
x 4 v ( ´
x 1*1 v
x 3*0 v 1*1)] *
*[ ´
x 2v ´
x 4 v ( ´
x 1*1 v
x 3*1 v 1*0)] =
= (
x 2v
x 4)(
x 2 v ´
x 4 v
x 3)( ´
x 2v ´
x 4 v ´
x 1 v 1)( ´
x 2v ´
x 4 v ´
x 1
v
x 3) =
= (
x 2v
x 4)(
x 2 v ´
x 4 v
x 3)( ´
x 2v ´
x 4 v ´
x 1 v
x 3)
10 . Tuletis Tuletis muutuja x 1 järgi:δ f (
x x x x1 2 3
4 )
x´
xxδ x = (1*
x 2 v
x 3
4 v
x 2
4 ) (0*
x 2 v
x 3
4 v
x1
´
x2
4) =
=
x´
xx´
x (
x 2 v
x 3
4 v
x 2
4) (
x 3
4 v
x 2
4) =
x= (
xxx v x x v x´
x´
x´
x ¿ ¿
2
3 4
2 4
3
4 v
x 2
4) v (
x 2 v
x 3
4 v
x 2
4)(
x x v x ´
x3 4
2 4
) =
= [ ´
xx xx v x ´
x ¿
´
xx x3 4
x ´
x4
2 4
x4
3 4
2(
2 4
)](
x3
v (
x 2 v
x 3
4 v
x2
)[(
x ´
x2 4
)] =
= [ ´
xv ´
xv´
x ¿
v2
( ´
x3
4
)( ´
x2
x4 )](
xx4
x3
4 v
x2
(
x 2 v
x 3
4 v
x ´
x2 4
)[( ´
x3 v ´
x4 )( ´
x2 v
x 4)] =
= [ ´
x´
xx´
x´
x´
xv x2
( ´
x2 3 v ´
x3
4
4
x4
4 v
´
x2
v
x 4
)](
x 3
4 v
x2
) v (
x2
3
x´
x´
x vx´
x´
x4
3
4
4
4 v
x2
)( ´
x2
´
x3
4 v
´
x2
v
x 4
) =
´
x ´
x v2 3
= ( ´
x ´
x v ´
x ´
x x´
x´
x ¿
vv2 3
2 3
4
x4
x4 v
´
x2
)(
x 3
4 v
x2
(
x2
x 3
4 v
x ´
x ¿ ¿
2 4
´
x x´
x3
4
4 v
´
x2
) =
= ´
x x´
x x´
x ´
x ´
x v ´
x x ´
x x´
x ´
x x ´
x v ´
x x´
x2
3
2 3 4
2 3 3
4
2 3 4
4
2
x4
3
4 v
x 2
v
x2
3
4
v
x 2
´
x ´
x´
x ´
x´
x x´
x ´
xx ´
x x´
x x2 4
v
x2 3
3
2 4
3 3
4
3 4
2
v
x 2
4 v
x 2
v
v ´
x2
v
x 3
v
´
x x´
x´
x ´
x ´
x´
x x ´
x´
x ´
x´
x x2
x4
2 3 4
3 4
4
2 4
3 4
3
4
v
x2
v
x2
v
x 2
=
x 2
Tuletis muutuja x 2 järgi:δ f (
x x x x1 2 3
4 )
xxδ x = ( ´
x 1*0 v
x 3
4 v 0*
´
x 4) ( ´
x 1*1 v
x 3
4 v 1*
´
x2
4) =
=
xxx3
4 (
´
x 1 v
x 3
4 v
´
x 4) =
=
x ´
x3 4
´
xxx´
x v x x v ´
x1 v
x 3
4 v
´
x 4) v
x 3
4(
1
3 4
4
) =
x ´
xx ´
x3 4
=
3 4
´
xxxx 1 v
x 3
4 v
´
x 4) v
x 3
4[(
´
x4
] =
1 ¿
= [( ´
xxxx3 v
´
x 4)( ´
x 1 v
x 3
4 v
´
x 4) v
x 3
4[
x 1
4(
´
x 3 v ´
x 4)]
= [( ´
xxx´
xx3 v
´
x 4)( ´
x 1 v
x 3
4 v
´
x 4) v
x 3
4(
x 1
3
4 v
x 1
x´
x4
4) =
= ´
x´
x´
xx´
x´
xx´
x1
3 v
x 3
3
4 v
´
x 3
4 v
´
x 1
4 v
x 3
4
4 v
´
x 4 v
xx´
xx1
3
3
4 =
= ´
x´
x´
x´
x´
x´
x1
3 v
´
x 3
4 v
´
x 1
4 v
´
x 4 = ´
x 1
3 v
4
Tuletis muutuja x 3 järgi:δ f (
x x x x1 2 3
4 )
x´
xxδ x = ( ´
x4
1
2 v 0*
x4 v
x 2
) ( ´
x 1
2 v 1*
x4 v
x 2
3
´
x ¿=¿
4
´
xx´
x ¿
xv x´
x ¿=¿
¿ ¿
4
4
1
2 v
x 2
( ´
x 1
2 v
x4
2
´
xx´
x ¿
x´
x ¿
¿(
´
x x v x ´
x )¿
4
v ( ´
x4
(
1 2
2
4
1
2 v
x4 v
x 2
1
2 v
x 2
´
x x v x v x ´
x ¿=¿
1 2
4
2 4
´
x x1 2
[(
x ´
xv x2 4
]( ´
xx´
x´
x2
4
) v ( ´
xx4
)[( ´
x x1 2
) ´
x4 (
1
2 v
x4
1
2 v
x 2
¿(¿)
x ´
x2 4
)] ¿
´
x´
x2
´
x [(
xx´
x ¿
4
x1 v
´
x ¿ ¿ v
xv ¿
2
4 ¿ ¿¿
1
2 v
x4 v
x 2
1
2 v
x 2
´
x´
x4
2
´
x ¿ ¿ (
x 1 v ´
x ¿ ¿ v
x4 )] ¿
4
2
¿ (
x´
xxx´
x ¿
2
4
4
x4
1
v
x 1
v ´
x2 v ´
x 2
)( ´
x 1
2 v
x4 v
x 2
v (
´
xx´
x´
x ´
xx ´
x4
2 4
4
4
1
2 v
x 2
)(
x 1
v
x 1
v
v ´
x ´
xx ´
x´
x´
x x´
x ´
x2 4
v ´
x2 4 4 ) ¿
x´
xx2
2 4
x2 4
1
1
2
v
x 1
v
x 1
2
v
x 1
´
xxxx vx ´
x´
xx4
4
x4
4
x2
4
1
2
v
x 1
x 1
2
v
x 1
2
v ´
x2
v
v
x´
x ´
x´
x xx´
x x ´
x2 4
x2 4
4
2 4
4
´
xx2
v ´
x 1
2
v ´
x2
v
x 2
v
x 1
1
2
´
x ´
x´
x ´
x´
x ´
x´
x ´
x2 4
v ´
xx2 4
x2 4
2 4
1
2
v
x 1
2
v
x 2
¿
¿
x´
x xxxx =
xxx2 4
4
4
4
4
4
1
v
x 1
v ´
x2
v ´
x2
1
v ´
x2
Tuletis muutuja x 4 järgi:δ f (
x x x x1 2 3
4 )
x´
xxδ x =( ´
x 1
2 v
x3 *0 v
x 2*1) ¿ 1
2 v
x3 *1 v
x 2*0)
4
= ( ´
xxx1
2 v
x 2) ( ´
x 1
2 v
x3 ) =
= ( ´
x x v x ¿
xx´
x x v x ¿
1 2
2
( ´
x 1
2 v
x3 ) v ( ´
x 1
2 v
x 2) ( 1 2 3 =
= [( ´
x x ¿
xx´
x x ¿
1 2
´
x2
( ´
x 1
2 v
x3 ) v ( ´
x 1
2 v
x 2) [( 1 2 ´
x3 ] =
= [(
xxx1 v
´
x2 ) ´
x2 ]( ´
x 1
2 v
x3 ) v ( ´
x 1
2 v
x 2)[(
x 1 v ´
x2 ) ´
x3
] =
= (
x´
x´
x´
x2
xx3
3
1
v ´
x2 )( ´
x 1
2 v
x3 ) v ( ´
x 1
2 v
x2 )(
x 1
v ´
x2
) =
=
x´
xxx´
x x´
xx2 3
x2
3
´
x1
1
2
2 v
x 1
v ´
x 1
2
v ´
x 2
v
x 1
1
xx´
x ´
x´
x´
x3
x2 3
x3
´
x3
2
v ´
x 1
2
v
x 1
2
v
x 2
2
=
=
x´
xxx´
xx´
x3
3
x3
3
x3
1
2
v ´
x 2
v
x 1
2
= ´
x 2
v
x 1
2
11. MDNK-ga loogiliselt võrdne Reed -Mulleri polünoom MDNK = ´
xxx´
x1
2 v
x 3
4 v
x 2
4
00011110000
0
1
0
011
1
1
1
111
0
1
1
100
0
1
0
f =
x x´
x´
x xx´
x´
x x3 4
v
x4
x3 4
4
4
x3 4
2
v ´
x 1
2
=
x3
x 2
´
x 1
2
x 1
1
=
x x1 ¿
x =¿
x xx xx3 4
x4
4
4
3
2(
x 1¿ ¿ )
x 2(
x3
x3
2
2
(
x1
x1
4
x 1 ¿
xx xx xx x x x x x x x x x xx =
x x3
x4
4
4
1 2 3 4
1 2
4 2 3
4
4
3
4
2
=
x3
2
2
2
x x x x x x x x x x x2 1 2 3
4 1 2
4 2 3
4
Kõik kommentaarid