Совершенные нормальные формы

Конституентой единицы называют элементарную конъюнкцию, содержащую все переменные функции. По-другому конституента единицы называется конъюнктивной конституентой, или минитермом.

Конституентой нуля называют элементарную дизъюнкцию всех переменных функций, иначе её называют дизъюнктивной конституентой, или макситермом.

Конституента единицы принимает единственное значение тогда и только тогда, когда все буквы принимают единичное значение (буква – сама переменная или её отрицание).

abc=1 только на том наборе, где a=1, b=1, c=1, N=7 (см. рис. 1)

только на том наборе, где , N=5.

Конституента нуля принимает нулевое значение только на одном наборе, на котором все буквы равны нулю.

Конституента нуля равна 0 на наборе , а конституента нуля равна 0 на наборе

На основе конституент 1(0) строятся совершенные нормальные формы (СНФ)

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

Дата добавления: 2014-01-05