|
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).
Ссылка на скачивание - внизу страницы.