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

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

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

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

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

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

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

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

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

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