Для быстрого нахождения МДНФ(МКНФ) используется метод нахождения склеиващихся членов – диаграммы Вейча. Диаграмма Вейча (ДВ) – это специальная таблица в ячейках которой располагается конституента 1. При этом конституенты которые склеиваются называются «соседними». Если 2 соседние коституенты склеиваются то остается общая часть которая содержит на одну переменную меньше. Если 4 то на 2 переменных меньше. Если 8 то на 3 переменных меньше и тд. Факт склеивания отображается на диаграмме Вейча заключением склеивающихся конституент в петлю минимизации. Если конституента находятся на границе диаграммы которая также является соседними клетками то их называют разорванной петлей. Если петля полностью входит в область переменной или ее отрицания то эта переменная со своим знаком сохраняться в импликанте. Если петля пересекает области какой либо переменной то эта переменная удаляется из импликанты.
В общем случае процедура выглядит следующим образом:
- Функция заносится в ДВ единичными и нулевыми значениями;
- Единичные значения функции покрываются петлями минимизации изходя из требования «минимальное количество максимально возможных петель»;
- Извлечение простых импликант из петель минимизации;
- Объедение импликант функцией «и» или «или»(в результате получается МКНФ или МДНФ).
