Разница между КНФ и СКНФ при проектировании цифровых схем заключается в следующем:
- Конъюнктивная нормальная форма (КНФ) — это форма, в которой булева формула имеет вид конъюнкции дизъюнкций. 5
- Совершенная конъюнктивная нормальная форма (СКНФ) — это КНФ, которая удовлетворяет трём условиям: в ней нет одинаковых элементарных дизъюнкций, в каждой дизъюнкции нет одинаковых пропозициональных переменных, каждая элементарная дизъюнкция содержит каждую пропозициональную букву из входящих в данную КНФ пропозициональных букв. 5
При проектировании цифровых схем КНФ и СКНФ используются для минимизации логических функций, в процессе которой учитывается, в каком базисе эффективнее будет реализовать минимальную форму при помощи электронных схем. 2