Republika Srbija

Visoka kola primenjenih strukovnih studija

Vranje

Seminarski rad
Predmet: Automatizacija

Student:

Profesor:

Dusan Dincic 237/MI

Dr Neboja Dimitrijevi

Vranje, Januar,2016

Seminarski rad iz Automatizacije

Logicka funcija:

f (x1 , x 2 , x 3 , x 4 ) (x1 x 3 )x 2 (x1 x 3 )x 4

1.Odredjivanje savrsene disjunktivne i savrsene konjunktivne normalne
forme logicke funkcije
Savrsena disuktivna normalna forma(SDNF) logicke
funkcije

y=f(x1 ,x 2 ,x 3 ,x 4 ) (x1 x 3 )x 2 (x1 x 3 )x 4 x1 x 3 x 2 x1 x 3 x 4

ySDNF x1 x 3 x 2 x1 x 3 x 4 x1 x2 ( x3 x3 )( x4 x4 ) ( x1 x1 ) x2 x3 ( x4 x4 ) x1 ( x2 x2 )( x3 x3 )x4
( x1 x1 )( x2 x2 ) x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 ( x1 x2 x1 x2 )( x3 x4 x3 x4 ) ( x1 x2 x1 x2 )
( x3 x4 x3 x4 ) x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4
x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4
x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4
2.Formiranje kombinacione tablice

Seminarski rad iz Automatizacije

f 2 f 4 f 5 f 6 f 8 f 10 f 12 f 13 f 14 f 15

x1 x2 x3 x4
p2=

x1 x2 x3 x4
; p 4=

x1 x2 x3 x4
; p5=

x1 x2 x3 x4
; p6=

x1 x2 x3 x4
; p 8=

x1 x2 x3 x4
; p10=

x1 x2 x3 x4
p12=

x1 x2 x3 x4
p13=

x1 x2 x3 x4
; p14=

x1 x2 x3 x4
; p15=

ySDNF pi p2 p4 p5 p6 p8 p10 p12 p13 p14 p15

fi 1

x1 x2 x3 x4

x1 x2 x3 x4

x1 x2 x3 x4

x1 x2 x3 x4

x1 x2 x3 x4
+

x1 x2 x3 x4
+

x1 x2 x3 x4
+

x1 x2 x3 x4
+

x1 x2 x3 x4
+

x1 x2 x3 x4
+

Seminarski rad iz Automatizacije

4

ySDNF (2, 4,5, 6,8,10,12,13,14,15)

Savrsena konjunktivna normalna forma (SKNF) logicke funcije

f 0 f1 f3 f 7 f 9 f11 0
s0 x1 x2 x3 x4
s1 x1 x2 x3 x4
s3 x1 x2 x3 x4
s7 x1 x2 x3 x4
s9 x1 x2 x3 x4
s11 x1 x2 x3 x4

Seminarski rad iz Automatizacije

ySKNF si s0 * s1 * s3 * s7 * s9 * s11
fi 0

x1 x2 x3 x4
=(

x1 x2 x3 x4
)*(

x1 x2 x3 x4
)*(

x1 x2 x3 x4
)*(

x1 x2 x3 x4
)*(

)*

x1 x2 x3 x4
*(

)
4

ySKNF

(0,1,3, 7,9,11)

3.Odredjivanje minimalne forme logicke funcije

Odredjivanje minimalne forme logicke funcije algebarskim
transformacijama.

x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4
x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4
x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 ( x1 x2 x1 x2 )( x3 x4 x3 x4 ) ( x1 x2 x1 x2 ) ( x3 x4 x3 x4 ) x1 x2 x3 x4
x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 ( x3 x3 )( x4 x4 ) ( x1 x1 ) x2 x3 ( x4 x4 ) x1 ( x2 x2 )( x3 x3 )x4
( x1 x1 )( x2 x2 ) x3 x4 x1 x 3 x 2 x1 x 3 x 4

Odredjivanje minimalne forme logicke funcije tabelarnom metodom

Decimalni
Ekvivalent

Mintermo
vi

x1 x2 x3 x4

x1 x2 x3 x4

X1

Binarni prikaz
X2
X3

Broj 1
X4

Seminarski rad iz Automatizacije

5

x1 x2 x3 x4

x1 x2 x3 x4

x1 x2 x3 x4

10

x1 x2 x3 x4

12

x1 x2 x3 x4

13

x1 x2 x3 x4

14

x1 x2 x3 x4

15

x1 x2 x3 x4

Broj
Simbola 1

Decimalni
ekvivalent

2
4
8
5
6
10
12
13
14
15

3
4

(2)
(6)

ITERACIONA TABLICA I
Binarni Prikaz
X1
X2
X3

x1 x2 x3 x4

0
0
1
0
0
1
1
1
1
1

0
1
0
1
1
0
1
1
1
1

0
0

0
1

1
1

0
0

Sazimanje
X4

1
0
0
0
1
1
0
0
1
1

0
0
0
0
0
0
0
1
0
1

+
+
+
+
+
+
+
+
+
+

x1 x2 x3 x4
2,6

x1 x3 x4

(2)
(10)

x1 x2 x3 x4 0

0
0

1
1

0
0

x1 x2 x3 x4
2,1
0

x2 x3 x4

0
6

Seminarski rad iz Automatizacije

(4)
(5)

x1 x2 x3 x4

0
0

1
1

0
0

0
1

(4)
(6)

x1 x2 x3

(4)
(12
)

x1 x2 x3 x4

0
1

1
1

0
0

0
0

4,1
2

x2 x3 x4

0
0

1
1

0
1

0
0

x1 x2 x3 x4

x1 x2 x3 x4
4,5

x1 x2 x3 x4

4,6

x1 x2 x4

(8)
(10)

x1 x2 x3 x4 1

x1 x2 x3 x4
0
0

0
1

0
0

x1 x2 x3 x4
(8)
(12
)

x1 x2 x3 x4

8,1
2

x1 x3 x4

0
1

1
1

0
0

0
0

(8,1
0)

x1 x2 x4

x1 x2 x3 x4

(6) x xxxxxxxx x1 1 0
1 121 2 32 3 43 4 4
(14)
1 11

1 11
1 11

x1xx1x2x1xx23x2x3x4x3 x4 4
6,1
1
(14)
(13) xx2 xx3 xx4 x 1
1
4
1 2 3 4
(15)
(15)
1
1
(12)
(13) x1 x2 x3 x4
12,1
1 14,1
1
x1 x2 x3
13,1
1
1
x1 x2 x4
3
Decimalni
Implikanti5
5
(12)
Ekvivalen
(14)
t
12,1
1
1
x1 x2 x4
2.6
x
x
x
1 3 4
4
2,10

x2 x3 x4

(5)
(13)

x1 x2 x3 x4 0

1
1

0
0

1
1

xx11xx22xx33xx44 1

0
1

0
0
1

xx1 x2 2xx33xx4 4

1
1
0

1
x1 x3 x14

0
11

0ITERACIONA
TABLICA
II1
1
-x1 x2 x3 1 1
Binarni prikaz

01
0
11
0

000
001

5,1
3

(10)
1
0
x10x2 x3 x4 1 1 (14)1
10,11
1
1 1
4

x1 x2 x3 x4

X1
1
-

Sazimanj
e

X2
-

X3
1

X4
1

Seminarski rad iz Automatizacije

4,5

x1 x2 x3

4,6

x1 x2 x4

4,12

x2 x3 x4

8,10

x1 x2 x4

8,12

x1 x3 x4

5,13

x2 x3 x4

6,14

x2 x3 x4

10,14

x1 x3 x4

12,13

x1 x2 x3

12,14

x1 x2 x4

13,15

x1 x2 x4

14,15

x1 x2 x3

2,6
10,14

x1 x3 x4

0
1

1
1

0
0

x1 x3 x4
2,6,10,
14

x3 x4

- 2,10 6,14

x2 x31x4 - 0
-

0
1

1
1

0
0

x2 x3 x4
2,10,6,
14

x3 x4

4,6
12,14

x1 x2 x4

0
1

1
1

0
0

x1 x2 x4
4,6,12,
14

x2 x4

Seminarski rad iz Automatizacije

0
0
-

1
1
1
1

0
0
0
0

0
1
-

x2 x3

x2 x3

4,5 x2 xx3 xx4x

1 2 3
12,13

x2 x3 x4
x1 x2 x3
4,5,12,
13
4,12
5,13
4,12,5,
13

4,12

8,10 x x x
1
12,13 1 2 4x x x
1 2 3
12,14
x1 x2 x4
14,15
x1 x2 x3
8,10,12,
12,13,14,
14
15

x1 x4
x1 x2

x2 x3 x4

0
6,14 1 x x x0 1
1
x1 x32x43 4
1
1
4,12,6,
1
1 x x1
2 4
14 1
12,1
x11 x2 x3 - 1
1
8,12
3,
10,14
x1 x3 x4
13,15
xx x
1 2

8,12,10,
12,13,13,
14
15

Decimal
ni
Ekvivale
nt
2,6,10,1
4
2,10,6,1
4
4,5,12,1
3
4,6,12,1
4
4,12,6,1
4
8,10,12,
14
8,12,10,
14
12,13,1
4,15
12,13,1
3,15

xx
x11x24

0
--

-1

0-

00

0
--

1
1

1
1

0
1
-

0
1

0
-

Iteraciona tablica III

Implika
Binarni Prikaz
X1
X2
X3
nte

X4

Sazim
anje

x3 x4

x3 x4

x2 x3

x2 x4

x2 x3

x1 x4

x1 x4

x1 x2

x1 x2

Seminarski rad iz Automatizacije

y f ( x1 x2 x3 x4 ) a b d e x3 x4 x2 x3 x1 x4 x1 x 2
Odredjivanje minimalne forme logicke funcije grafickom metodov Vejc-Karno

Proste 10
Proste Decima
12Decimalni
13
14
Implikante
ekvivalent
Implika
lni
2,10,6,14
pokrivanja
nte
ekvival
a x3Tablica
x4
Proste
Decimaln
ent
x1 x2 x3 x4 x1 x2 x3 x4 Mintermovi
x1 x2 x3 x4 x1 x2 x3 x4
2
4
5
6
4,5,12,13
Implikan i
b x2 x3
te
ekvivalen x1 x+
x1 x2 x3 x4 x1 x2 x3 x4 x1 x+
2,10,6,14
2 x3 x4
2 x3 x4
a x3 x4
t
8,10,12,14
dxx
2,10,6,14 1 4
+
ax x
4,5,12,13
+
+

Esnc.
impl
Esen
c.
Impl.
*
**
*
*
**
*

b x23 x34
cb xx22 xx43

e x1 x 2

4,5,12,13
4,6,12,14

4,6,12,14
8,10,12,1
+
4
8,10,12,1
12,13,14,
ed xx11xx2 4
4
15
12,13,14,
e
x1 x 2
Pokrivanje

15
y f (x x x x ) a b d e
Pokrivanje 1 2 3 4

dc xx21 xx44

12,13,14,15
+

+
+

+
+

15

x1 x2 x3 x4
8

x1 x2 x3 x4

x3 x4 x2 x3 x1 x4 x1 x 2

10

Seminarski rad iz Automatizacije

e x1 x 2

x1

b x2 x3

d x1 x4

x2
0

12

13

1
3

15

1
2

d x1 x4
x3

14

1
1
1
1

11

10

a x3 x4
1

x4

Tablica pokrivanja
Esen
c.
Impl.
Esn
c.
*
imp
* l
*
*
*
*
*
*

Proste
Implikan
te
Proste
Implikan
a x3 x4
te

b x2 x3
a x3 x4
c x2 x4
b x2 x3
d x1 x4
c x2 x4
e x1 x 2
d x1 x4

Decimaln
i
ekvivalen
Decimaln
t
2,10,6,14
i
ekvivale
nt
4,5,12,13
2,10,6,14

Mintermovi
5

x1 x2 x3 x4

x1 x2 x3 x4

x1 x2 x3 x4

x1 x2 x3 x4

x1 x2 x3 x4

10

x1 x2+x3 x4

13

x1 x2 x3 x4

x1 x2 x3 x4

4,6,12,14
4,5,12,13

8,10,12,1
4,6,12,14
4
12,13,14,
8,10,12,1
15
4
Pokrivanje
12,13,14,
e x1 x 2
15
Pokrivanje

12

+
+

14
x x+
x x
1 2 3

+
+

b+c
+

b
+

a+c
+

b+c+d
+e

b+e

a+c+d
+e

15

x1 x2 x3 x4

d
+
e

11

Seminarski rad iz Automatizacije

P=a(b+c)b(a+c)d(a+d)(b+c+d+e)(b+e)(a+c+d+e)e

4.Logicki dijagram

y f ( x1 x2 x3 x4 ) a b d e x3 x4 x2 x3 x1 x4 x1 x 2

12

Seminarski rad iz Automatizacije

5. Principijelna pneumatska ema po CETOP standardu

13

Seminarski rad iz Automatizacije

14