
- •Одесса 2013
- •Вибір варіанту завдання
- •Визначення булевої функції
- •Опис мінімізації булевої функції заданими методами
- •Мінімізація булевої функції методом карт Карно
- •Аналіз синтезованої схеми методом π-алгоритму
- •Гса автомату Мілі
- •Скорочені формули для автомату Мілі
- •Гса автомату Мура
- •Скорочені формули для автомату Мура
Мінімізація булевої функції методом карт Карно
x1x2\x3x4x5 |
000 |
010 |
110 |
100 |
001 |
011 |
111 |
101 |
00 |
|
|
|
|
1 |
|
|
|
01 |
|
|
|
|
|
|
|
|
11 |
|
1 |
x |
x |
1 |
1 |
x |
x |
10 |
|
1 |
1 |
1 |
|
1 |
|
1 |
Y= x1~x3x4+x1x3x~x4+~x1~x2~x3~x4x5+x1x2x4+x1x3
x1x2\x3x4x5 |
000 |
010 |
110 |
100 |
001 |
011 |
111 |
101 |
00 |
0 |
0 |
0 |
0 |
|
0 |
0 |
0 |
01 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
11 |
0 |
|
x |
x |
|
|
x |
x |
10 |
0 |
|
|
|
0 |
|
0 |
|
Y= (~x1+x2+x3+x4)*(~x3+x4+x5)*(x3+x4+x5)*(x1+~x2)*(x1+~x4)*(x1+~x3)
Аналіз синтезованої схеми методом π-алгоритму
x1x2x3x4x5 |
L1 L2 L3 L4 L5 |
Y |
Описание |
|
1 x x x x x 1 x x x x x 1 x x x x x 1 x x x x x 1 |
1 |
5 или L1L2L3L4L5 |
1 x 0 1 x |
|
|
П1в единице |
1 x 1 0 x |
|
|
|
0 0 0 0 1 |
|
|
|
1 1 x 1 x |
|
|
|
1 x 1 x x |
|
|
|
C1 = 1 x 0 1 x
1 x 1 0 x
0 0 0 0 1
1 1 x 1 x
1 x 1 x x
Y= x1~x3x4+x1x3~x4+~x1~x2~x3~x4x5+x1x2x3+x1x3
Гса автомату Мілі
Таблиця синтезу автомату Мілі
AM |
Код АМ |
AS |
Код AS |
Условие Xi |
Функція y |
Триггер Т1Т2Т3Т4Т5 |
|||
a1 |
00000 |
a3 |
00001 |
1 |
y2 |
00001 |
|||
a3 a3 |
00001 00001 |
a6 a5 |
00101 00100 |
X5 ~X5 |
y7,y10 y6 |
00100 00101 |
|||
a2 a2 |
00010 00010 |
a5 a4 |
00100 00011 |
~X2 X2 |
y6 y4 |
00110 00001 |
|||
a4 |
00011 |
a8 |
00110 |
1 |
y1,y8 |
00101 |
|||
a5 |
00100 |
a6 |
00101 |
1 |
y7,y10 |
00000 |
|||
a6 |
00101 |
a7 |
10011 |
~x4 |
y2 |
10011 |
|||
a6 |
00101 |
a8 |
00110 |
x4 |
y1,y8 |
00011 |
|||
a8 a8 |
00110 00110 |
a10 a12 |
00111 10100 |
x4 ~x4~x3 |
y4 y3,y10 |
00001 10010 |
|||
a10 |
00111 |
a11 |
01001 |
1 |
y4,y5 |
01110 |
|||
a9 a9 a9 a9 |
01000 01000 01000 01000 |
a12 a2 a13 a13 |
10100 00010 10101 10101 |
~x4~x3 ~x1 x4,x3 ~x4,x1 |
y3,y10 y1,y3 y6 y6 |
11100 01010 11101 11101 |
|||
a11 |
01001 |
a14 |
01010 |
1 |
y1,y8 |
00011 |
|||
a14 a14 |
01010 01010 |
a16 a18 |
01011 10110 |
x4 ~x4,~x3 |
y4 y3,y6 |
00001 11100 |
|||
a16 |
01011 |
a17 |
10111 |
1 |
y4,y5 |
11100 |
|||
a15 a15 a15 a15 |
01100 01100 01100 01100 |
a18 a22 a19 a19 |
10110 01110 11000 11000 |
x4~x3 ~x4,~x1 x4,x3 ~x4,x1 |
y3,y10 y3,y6 y6 y6 |
11010 00010 10100 11000 |
|||
a20 |
01101 |
a21 |
01111 |
1 |
y7 |
00010 |
|||
a22 a22 a22 |
01110 01110 01110 |
a21 a24 a25 |
01111 10000 10001 |
x5 ~x5,~x6 ~x5,x6 |
y7 y8 y3 |
00001 11110 11111 |
|||
a21 a21 |
01111 01111 |
a23 a24 |
10010 10000 |
~x1 x1 |
y1,y9 y8 |
11101 11111 |
|||
a24 a24 |
10000 10000 |
a15 a1 |
01100 00000 |
~x2 x2 |
y5,y9 -------- |
11100 10000 |
|||
a25 |
10001 |
a15 |
01100 |
1 |
y5,y9 |
11101 |
|||
a23 |
10010 |
a1 |
00000 |
1 |
--------- |
10010 |
|||
a7 |
10011 |
a9 |
01000 |
1 |
y5,y9 |
11011 |
|||
a12 |
10100 |
a14 |
01010 |
1 |
y1,y8 |
11110 |
|||
a13 |
10101 |
a2 |
00010 |
1 |
y1,y3 |
10110 |
|||
a18 |
10110 |
a20 |
01101 |
1 |
y2,y4 |
11011 |
|||
a17 |
10111 |
a20 |
01101 |
1 |
y2,y4 |
11010 |
|||
a19 |
11000 |
a22 |
01110 |
1 |
y3,y6 |
10110 |
|||
|
0 |
Т |
RS |
|