Совершенные нормальные формы

 

НКФ и НДФ не дают однозначного представления функции. Такое представление получается только при совершенных НФ.

СНДФ – ФАЛ, заданная в виде: , где и

.

Основные свойства СНДФ:

- В СНДФ нет двух одинаковых минтермов;

- В СНДФ ни один минтерм не содержит двух одинаковых множителей (переменных);

- В СНДФ ни один минтерм не содержит вместе с переменной и её отрицание.

Выписывать в СНДФ имеет смысл только конституэнты 1, соответствующие единичным наборам функции.

Любая ФАЛ, кроме абсолютно истинной функции, может быть представлена в СНДФ:

 

Пример: Функция задана таблицей истинности.

Представим ее в СНДФ и СНКФ.

 

 

СДНФ:

СКНФ:

Способы преобразования НФ в СНФ. СНФ отличается от НФ тем, что содержит термы максимального ранга и даёт однозначное представление функции.

Произвольная НДФ переводится в СДНФ таким образом:

Пусть , тогда , где – переменная, которая не входит в данный терм.

Пример: Преобразовать ФАЛ в СДНФ:

Произвольная НКФ переводится в СКНФ таким образом, пусть , тогда

 






Дата добавления: 2016-07-18; просмотров: 1552; ЗАКАЗАТЬ НАПИСАНИЕ РАБОТЫ


Поиск по сайту:

Воспользовавшись поиском можно найти нужную информацию на сайте.

Поделитесь с друзьями:

Считаете данную информацию полезной, тогда расскажите друзьям в соц. сетях.
Poznayka.org - Познайка.Орг - 2016-2020 год. Материал предоставляется для ознакомительных и учебных целей. | Обратная связь
Генерация страницы за: 0.017 сек.