Получение тупиковых ДНФ с помощью импликантных таблиц
В Ск. ДНФ могу быть «лишние» простые импликанты. Их необходимо удалить. Ск. ДНФ, в которой нельзя удалить ни одной простой импликанты называется тупиковой ДНФ (ТДНФ). В импликантной таблице количество строк соответствует количеству простых импликант в Ск. ДНФ, количеству столбцов - количеству конституент «1» в СДНФ. Если какая-то импликанта входит в конституенту, то соответствующая ячейка помечается. Каждый столбец оказывается помечен не менее одного раза, что иллюстрирует тот факт получения Ск. ДНФ из СДНФ. Вычеркиваем строк с импликантами так, чтобы в каждом столбце осталась по крайней мере одна метка. Составим таблицу для рассмотренного примера.
Можно вычеркнуть вторую или четвертую строки. В результате получим две возможные тупиковые формы:
По количеству различных символов они равнозначны.
|
. 
