1 2 3 4 |
1 2 4 6 |
1 3 4 5 |
1 3 4 6 |
1 4 5 6 |
1 2 3 5 6 |
2 3 4 5 6 |
|
1235 |
|||||||
1236 |
|||||||
2456 |
|||||||
3456 |
Выбираем конъюнкции 1235 и 2456. Получаем .
3. Оптимизация
Так как функция содержит элементарные конъюнкции только четвертого и третьего ранга, то ее оптимизация возможна за счет элементарных конъюнкций третьего и меньшего ранга. Рассмотрим элементарные конъюнкции третьего ранга:
№ |
Конъюнкция |
Покрываемый набор из |
Количество покрываемых импликант |
Множество импликант |
1 |
123 |
1236 |
* |
- |
2 |
124 |
- |
1 |
+ |
3 |
126 |
1236 |
* |
- |
4 |
134 |
- |
1 |
+ |
5 |
145 |
- |
1 |
+ |
6 |
146 |
- |
1 |
+ |
7 |
235 |
- |
2 |
+ |
8 |
256 |
- |
2 |
+ |
9 |
345 |
3456 |
* |
- |
10 |
456 |
3456 |
* |
- |
Рассмотрим элементарные конъюнкции второго ранга:
№ |
Конъюнкция |
Покрываемый набор из |
Количество покрываемых импликант |
Множество импликант |
1 |
12 |
125 |
* |
- |
2 |
13 |
135 |
* |
- |
3 |
15 |
125 |
* |
- |
4 |
16 |
136 |
* |
- |
5 |
23 |
234 |
* |
- |
6 |
24 |
234 |
* |
- |
7 |
25 |
125 |
* |
- |
8 |
26 |
1236 |
* |
- |
9 |
34 |
234 |
* |
- |
10 |
35 |
135 |
* |
- |
11 |
45 |
245 |
* |
- |
12 |
46 |
246 |
* |
- |
13 |
56 |
156 |
* |
- |
Построим таблицу покрытия:
1 2 4 |
1 3 4 |
1 4 5 |
1 4 6 |
1 2 5 6 |
1 3 5 6 |
2 3 4 5 |
2 3 4 6 |
2 3 5 6 |
|
124 |
|||||||||
134 |
|||||||||
145 |
|||||||||
146 |
|||||||||
235 |
|||||||||
256 |
Все конъюнкции существенны. Включаем их в окончательное решение. Получаем .
4. Оптимизация
Так как функция содержит элементарные конъюнкции третьего и второго ранга, то ее оптимизация возможна за счет элементарных конъюнкций второго и меньшего ранга. Рассмотрим конъюнкции второго ранга:
№ |
Конъюнкция |
Покрываемый набор из |
Количество покрываемых импликант |
Множество импликант |
1 |
15 |
- |
3 |
+ |
2 |
24 |
- |
3 |
+ |
Элементарные конъюнкции первого ранга покрывают нулевое подмножество , следовательно, оптимизация ими невозможна.
Построим таблицу покрытия:
1 4 |
3 6 |
1 2 5 |
1 3 5 |
1 5 6 |
2 3 4 |
2 4 5 |
2 4 6 |
|
15 |
||||||||
24 |
Конъюнкции 15 и 24 существенны. Включаем их в окончательное решение. Получаем .
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.