1. Выражение из произвольной формы приводится к СДНФ.
2. Выполнив в СДНФ все возможные неполные склеивания, а затем все возможные поглощения мы получим Сокращенную ДНФ (СкДНФ). Конъюнкции в СкДНФ называются импликантами.
Примечание: Склеивание: X×Y Ú X×Y ≡ X
Неполное склеивание: X×Y Ú X×Y ≡ X Ú X×Y Ú X×Y
3. На основании СкДНФ и СДНФ строим импликантную матрицу и путем нахождения минимального покрытия этой матрицы получаем минимальную дизъюнктивную нормальную форму (МДНФ).