Методы построения сокращенных ДНФ

При построении сокращенной ДНФ применяют различные методы.

1. Метод Блейка заключается в применении слева направо правила обобщенного склеивания  и правила поглощения . На первом этапе применяется правило обобщенного склеивания до тех пор, пока это возможно, на втором – правило поглощения.

Пример.

После обобщенного склеивания получим

.

После поглощения окончательно получим

.

2. Метод Нельсона позволяет строить сокращенную ДНФ по заданной КНФ. На первом этапе в КНФ раскрываются скобки, на II – вычеркиваются буквы и конъюнкции с помощью правил: , , .

Отметим, что при построении сокращенной ДНФ по методам 1 и 2 могут получиться ДНФ, имеющие большее число членов, чем исходная ДНФ.

3. При небольших значениях n можно использовать покрытие множества  в кубе  на основе геометрического изображения гранями максимальной размерности. Для искомого построения в кубе  отыскиваются грани максимальной размерности, содержащиеся в множестве , а затем составляется ДНФ из конъюнкций, соответствующих этим граням.

Примеры. 2 примера.

4. Метод минимизирующих карт (карт Карно).

Наиболее простой (ручной) способ построения сокращенной ДНФ для функций небольшого числа переменных состоит в использовании минимизирующих карт, называемых картами Карно или диаграммами Вейча.

Он основан на задании функции прямоугольной таблицей, причем наборы значений переменных на каждой из сторон прямоугольника записываются в специальном виде (двоично-отраженные коды Грея).

Нахождение простых импликант сводится к выделению в таблице максимальных по включению прямоугольников, состоящих из единиц. Дополнительно полагается, что каждая клетка таблицы, примыкающая к одной из сторон прямоугольника, является соседней к клетке, примыкающей к противоположной стороне и расположенной на той же горизонтали или вертикали.

Например, функции (1110 1101 1010 0000) соответствует карта Карно и множество  булева куба , показанные на рис.1

Рис. 1. Нахождение сокращенной ДНФ функции .

Сокращенная ДНФ имеет следующий вид: .


Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:  



double arrow
Сейчас читают про: