Является ли импликанта простой
Выкидваем из неё множитель.
- Осталась импликантой ⇒ не явл простой.
- Перестала быть импликантой — пробуем выкинуть другие множители (из исходной, а не из получившейся после выкидывания) и проверяем далее.
Является ли система импликант полной
Если эта система — СокрДНФ, то автоматом является.
Если нет, то вот: строим дизъюнкцию этих импликант и если она равна функции f, то является полной.