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