Любая таблично заданная логическая функция может быть представлена в совершенной нормальной дизъюнктивной форме (СНДФ) или в совершенной нормальной конъюнктивной форме (СНКФ). Совершенные формы, в отличие от нормальных форм, дают однозначное представление о функции.
СНДФ (так же как и нормальная дизъюнктивная форма) представляет собой совокупность минтермов, объединенных знаком дизъюнкции.
СНКФ (как и нормальная конъюнктивная форма) представляет собой совокупность макстермов, объединенных знаком конъюнкции.
Минтерм (конъюнктивный терм) — терм, связывающий переменные, представленные в прямой или инверсной форме, знаком конъюнкции.
Макстерм (дизъюнктивный терм) — терм, связывающий переменные, представленные в прямой или инверсной форме, знаком дизъюнкции.
Для представления таблично заданной логической функции в СНДФ необходимо выполнить следующие действия:
1. Выделить строки в таблице истинности, соответствующие единичному значению результата.
2. Записать минтермы для каждой строки (переменные со значением «1» учитываются в минтерме в прямом виде, а переменные со значением «0» — в инверсном).
3 Объединить полученные минтермы знаком дизъюнкции