- •Индивидуальное задание
- •1. Формальная постановка задачи минимизации булевской функции
- •2. Минимизация функции с помощью процедуры Квайна - Мак-Клаcски
- •Набор не покрывающих друг друга импликант
- •3. Минимизация функции с численной процедуры минимизации на гиперкубах
- •Построение таблицы элементов функции.
- •Формирование списков элементов функции висящих на опорных вершинах
- •Упорядочивание списков элементов функции по убыванию размерности (для каждой опорной вершины)
- •Формирование списков основных элементов функции для каждой опорной вершины
- •Определение избыточных основных элементов функции
- •Получение неизбыточной оболочки заданной функции (получение минимальной формы)
- •Построение прямоугольной таблицы истинности для полученной формулы
Набор не покрывающих друг друга импликант
-
[ 6, 22 ] (16) 6= A=
-
[ 17, 21 ] (4) 17= B=
-
[ 0, 1, 2, 3, 8, 9, 10, 11 ] (1)(2)(8) 0= C=
-
[ 0, 2, 4, 6, 8, 10, 12, 14 ] (2)(4)(8) 0= D=
-
[ 1, 3, 9, 11, 17, 19, 25, 27 ] (2)(8)(16) 1= E=
- неприведенная система простых импликант
Т={0, 1, 2, 3, 4, 6, 8, 9, 10, 11, 12, 14, 17, 19, 21, 22, 25, 27}
|
|
0 |
1 |
2 |
3 |
4 |
6 |
8 |
9 |
10 |
11 |
12 |
14 |
17 |
19 |
21 |
22 |
25 |
27 |
|
|
_ _ _ _ _ X1X2X3X4X5 |
_ _ _ _ X1X2X3X4X5 |
_ _ _ _ X1X2X3X4X5 |
_ _ _ X1X2X3X4X5 |
_ _ _ _ X1X2X3X4X5 |
_ _ _ X1X2X3X4X5 |
_ _ _ _ X1X2X3X4X5 |
_ _ _ X1X2X3X4X5 |
_ _ _ X1X2X3X4X5 |
_ _ X1X2X3X4X5 |
_ _ _ X1X2X3X4X5 |
_ _ X1X2X3X4X5 |
_ _ _ X1X2X3X4X5 |
_ _ X1X2X3X4X5 |
_ _ X1X2X3X4X5 |
_ _ X1X2X3X4X5 |
_ _ X1X2X3X4X5 |
_ X1X2X3X4X5 |
A |
|
|
|
|
|
* |
|
|
|
|
|
|
|
|
|
* |
|
|
|
B |
|
|
|
|
|
|
|
|
|
|
|
|
* |
|
* |
|
|
|
|
C |
* |
* |
* |
* |
|
|
* |
* |
* |
* |
|
|
|
|
|
|
|
|
|
D |
* |
|
* |
|
* |
* |
* |
|
* |
|
* |
* |
|
|
|
|
|
|
|
E |
|
* |
|
* |
|
|
|
* |
|
* |
|
|
* |
* |
|
|
* |
* |