ЭТАП. Получение минимальной (или одной из тупиковых) ДНФ

Для получения МДНФ необходимо убрать из сокращенной ДНФ все лишние простые импликанты. Это делается с помощью специальной импликантной матрицы Квайна. Строки такой матрицы отмечаются простыми импликантами, т.е., членами сокращенной ДНФ, а столбцы - конституентами единицы, т.е., членами СДНФ логической функции. Если простая импликанта поглощает некоторую конституенту единицы, то соответствующая клетка матрицы Квайна, на пересечении строки с рассматриваемой простой импликантой, и столбца с конституентой единицы отмечается значком – *. Минимальные ДНФ строятся по импликантной матрице следующим образом:

1) ищутся столбцы импликантной матрицы, имеющие одну *. Соответствующие этим * простые импликанты называются базисными и составляют так называемое ядро логической функции. Ядро обязательно входит в МДНФ.

2) рассматриваются различные варианты выбора совокупности простых импликантов, которые накроют остальные столбцы импликантной матрицы, и выбираются варианты с минимальным суммарным числом букв в такой совокупности импликантов.