Добавил:
Upload
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:СХТ САПР_2013 / Модули 1-2 / Лекция 4-5.ppt
Метод Квайна
Метод Мак-Класки
Метод Мак-Класки позволяет |
|
|
|
уменьшить количество |
|
|
|
сравнений и громоздкость |
|
|
|
записи |
|
|
|
Элементы СДНФ |
|
|
|
представляются двоичным |
индекс |
||
числом х => 1, x => 0. |
010000 |
1 |
|
Индекс числа – это число |
|||
001000 |
|||
|
|
|
|
единиц в нем. Например, |
000010 |
|
|
10110 – индекс 3, 10001 – |
010010 |
2 |
|
индекс 2. |
|
||
|
001100 |
||
|
000101 |
|
|
Алгоритм получения простых импликант 
1.СДНФ => числа и их индексы
2.Числа => список по группам
3.Склеить числа с индексами “к” и “к+1”. Результат занести в новый список, а склейные элементы обозначить “*”.
Исключенная переменная обозначается “-” ( или “х”). 0011О и O111O => 0-110.
4.Полученный список так же склеить учитывая, что можно склеивать числа с “-” в одной позиции
0-110 и 0-100 => 0-I-O, но 0-010 и 00-11 не склеиваются.
5.Повторить 3. и 4. до полного завершения
