Добавил:
ukusezha
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:lec04
.pdfПример получения минимальной ДНФ.
Пример 4.7.
Граней содержащих 4 единичные вершины – нет, выбираем ребра.
I |
1 |
= |
001 |
↔ K |
= |
|
|
|
|
|
011 |
1 |
1 |
|
3 |
||
|
|
|
|
|
|
|
|
|
I |
2 |
= |
011 |
↔ K |
= x |
x |
3 |
|
|
|
111 |
2 |
2 |
|
|
||
|
|
|
|
|
|
|
|
|
I |
3 |
= |
111 |
↔ K |
= x x |
2 |
||
|
|
110 |
3 |
1 |
|
|
||
|
|
|
|
|
|
|
|
|
I |
4 |
= |
110 |
↔ K |
= |
|||
|
|
100 |
4 |
1 |
|
3 |
||
|
|
|
|
|
|
|
|
x1 |
x2 |
x3 |
f |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
|
|
|
|
Dc = K1 K2 K3 K4 (СокрДНФ) |
31 |
Ядро: I* = I |
I |
|
1 |
4 |
|
Dφ = K1 K4 = |
1 3 1 3 |
Получим неприводимое покрытие, добавляя к ядру недостающие интервалы так, чтобы все единичные вершины были задействованы.
a)
Nf = I* I2 = I1 I4 I2 D1 = K1 K4 K2
D1 = 1 3 1 3 x2x3 rang(D1)=6
б)
Nf = I* I3 = I1 I4 I3 D2 = K1 K4 K3
D2 = 1 3 1 3 x1x2 rang(D2)=6
Dmin = D1 |
= D2. r=6. |
|
32 |
Соседние файлы в предмете Математическая логика и теория алгоритмов