- •Одесса 2013
- •Вибір варіанту завдання
- •Визначення булевої функції
- •Опис мінімізації булевої функції заданими методами
- •Мінімізація булевої функції методом карт Карно
- •Аналіз синтезованої схеми методом π-алгоритму
- •Гса автомату Мілі
- •Скорочені формули для автомату Мілі
- •Гса автомату Мура
- •Скорочені формули для автомату Мура
Визначення булевої функції
Побудуємо таблицю істинності:
№ |
X1 |
X2 |
X3 |
X4 |
X5 |
Y |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
2 |
0 |
0 |
0 |
1 |
0 |
0 |
3 |
0 |
0 |
0 |
1 |
1 |
0 |
4 |
0 |
0 |
1 |
0 |
0 |
0 |
5 |
0 |
0 |
1 |
0 |
1 |
0 |
6 |
0 |
0 |
1 |
1 |
0 |
0 |
7 |
0 |
0 |
1 |
1 |
1 |
0 |
8 |
0 |
1 |
0 |
0 |
0 |
0 |
9 |
0 |
1 |
0 |
0 |
1 |
0 |
10 |
0 |
1 |
0 |
1 |
0 |
0 |
11 |
0 |
1 |
0 |
1 |
1 |
0 |
12 |
0 |
1 |
1 |
0 |
0 |
0 |
13 |
0 |
1 |
1 |
0 |
1 |
0 |
14 |
0 |
1 |
1 |
1 |
0 |
0 |
15 |
0 |
1 |
1 |
1 |
1 |
0 |
16 |
1 |
0 |
0 |
0 |
0 |
0 |
17 |
1 |
0 |
0 |
0 |
1 |
0 |
18 |
1 |
0 |
0 |
1 |
0 |
1 |
19 |
1 |
0 |
0 |
1 |
1 |
1 |
20 |
1 |
0 |
1 |
0 |
0 |
1 |
21 |
1 |
0 |
1 |
0 |
1 |
1 |
22 |
1 |
0 |
1 |
1 |
0 |
1 |
23 |
1 |
0 |
1 |
1 |
1 |
0 |
24 |
1 |
1 |
0 |
0 |
0 |
0 |
25 |
1 |
1 |
0 |
0 |
1 |
1 |
26 |
1 |
1 |
0 |
1 |
0 |
1 |
27 |
1 |
1 |
0 |
1 |
1 |
1 |
28 |
1 |
1 |
1 |
0 |
0 |
X |
29 |
1 |
1 |
1 |
0 |
1 |
X |
30 |
1 |
1 |
1 |
1 |
0 |
X |
31 |
1 |
1 |
1 |
1 |
1 |
X |
ДНФ это по единицам
Y=~x1~x2~x3~x4x5+x1~x2~x3x4~x5+x1~x2~x3x4x5+x1~x2x3~x4~x5+x1~x2x3~x4x5+x1~x2x3x4~x5+x1x2~x3~x4x5+x1x2~x3x4~x5+x1x2~x3x4x5+x1x2x3~x4~x5+x1x2x3~x4x5+x1x2x3x4~x5+x1x2x3x4x5;
КНФ это по нулям
Y=x1x2x3x4x5*x1x2x3~x4x5*x1x2x3~x4~x5*x1x3~x3x4x5*x1x2~x3x4~x5*x1x2~x3~x4x5*x1x2~x3~x4~x5*x1~x2x3x4x5*x1~x2x3x4~x5*x1~x2x3~x4x5*x1~x2x3~x4~x5*x1~x2~x3x4x5*x1~x2~x3x4~x5*x1~x2~x3~x4x5*x1~x2~x3~x4~x5*~x1x2x3x4x5*~x1x2x3x4~x5*~x1x2~x3~x4~x5*~x1~x2x3x4x5*~x1~x2~x3x4x5*~x1~x2~x3x4~x5*~x1~x2~x3~x4x5*~x1~x2~x3~x4~x5;