Z |
Y |
ПМФ |
ОДНФ |
||||
Z1 |
|||||||
123 |
|||||||
111 |
1 |
v |
v |
1 |
v |
v |
v |
110 |
* |
v |
v |
v |
v |
||
110 |
* |
v |
v |
v |
v |
||
110 |
* |
v |
v |
v |
v |
||
101 |
* |
v |
|||||
101 |
* |
v |
|||||
101 |
* |
v |
|||||
100 |
* |
v |
|||||
100 |
* |
v |
|||||
100 |
* |
v |
|||||
011 |
* |
v |
v |
||||
011 |
* |
v |
v |
||||
010 |
* |
v |
|||||
010 |
* |
v |
|||||
010 |
* |
v |
|||||
001 |
* |
||||||
001 |
* |
||||||
001 |
* |
||||||
000 |
* |
||||||
110 |
0 |
v |
1 |
v |
v |
||
101 |
0 |
v |
|||||
100 |
* |
v |
|||||
100 |
* |
v |
|||||
011 |
1 |
v |
v |
1 |
|||
010 |
* |
v |
v |
||||
010 |
* |
v |
v |
||||
010 |
0 |
v |
v |
||||
001 |
* |
||||||
001 |
* |
||||||
000 |
* |
||||||
000 |
* |
||||||
000 |
* |
||||||
100 |
* |
1 |
|||||
010 |
1 |
1 |
1 |
||||
001 |
0 |
||||||
000 |
* |
||||||
000 |
* |
||||||
000 |
* |
Для функции :
Первый цикл формирования ПМФ
1)
2) Несущественные переменные отсутствуют
3)
4)
12) jmin=1
13) Сформируем ПМФ и
13.1. Для:
M0() = {2}
M1() = {3; 12}
P() = {3, 12}
13.2. W() = {13, 36; 123, 235};
13.3. Так как W() ≠ Ø, то переходим к формированию ПМФ
13.4. Формируем P():
M0() = M1() ={3; 12}
M1() = W() = {13, 36; 123, 235}
P() = {13, 36, 235}
13.5. принимаем e = 2
13.6. () = Ø
15) e = e + 1 = 3
13.6. () = Ø
15) e = e + 1 = 4
Поскольку единичное характеристическое подмножество функции не содержит наборов с числом неинверсных переменных j>4, процесс формирования ПМФ и окончен. В результате получены следующие первичные ДНФ ПМФ:
P() = {3, 12}, P() = {13, 36, 235}
14) Сокращаем единичное характеристическое подмножество M1():
M1() = {2356}
15) Поскольку M1() ≠ Ø, необходим еще один цикл декомпозиции
16)
Второй цикл формирования ПМФ
2) Несущественные переменные отсутствуют
3)
4)
12) jmin=4
13) Сформируем ПМФ и
13.1. Для:
M0() = {2; 13, 36; 123, 235}
M1() = {2356}
P() = {2356}
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.