Представление логической функции, заданной таблично, в аналитической форме

Любая таблично заданная логическая функция может быть представлена в совершенной нормальной дизъюнктивной форме (СНДФ) или в совершенной нормальной конъюнктивной форме (СНКФ). Совершенные формы, в отличие от нормальных форм, дают однозначное представление о функции.

СНДФ (так же как и нормальная дизъюнктивная форма) представляет собой совокупность минтермов объединенных знаком дизъюнкции.

СНКФ (как и нормальная конъюнктивная форма) представляет собой совокупность макстермов объединенных знаком конъюнкции.

Минтерм (конъюнктивный терм) – терм, связывающий переменные, представленные в прямой или инверсной форме, знаком конъюнкции.

Макстерм (дизъюнктивный терм) – терм, связывающий переменные, представленные в прямой или инверсной форме, знаком дизъюнкции.

Для представления таблично заданной логической функции в СНДФ необходимо выполнить следующие действия:

1. Выделить строки в таблице истинности, соответствующие единичному значению результата.

2. Записать минтермы для каждой строки (переменные со значением "1" учитываются в минтерме в прямом виде, а переменные со значением "0" – в инверсном).

3. Объединить полученные минтермы знаком дизъюнкции