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