Результат преобразования каждой пары представляет собой член минимальной функции

К сформированным парам в случае СДНФ применяют операцию скле-ивания, а в случае СКНФ - операцию поглощения.

Так, в результате применения закона склеивания пары нашего примера примут вид:

1) х₂х₁х₀ Ú х₂х₁х₀ = х₂х₀, 2) х₂х₁х₀ Ú х₂х₁х₀ = х₁х₀.

Для нашего примера получаем: у_МДНФ = х₂х₀ Ú х₁х₀.

В случае не полностью определённого КЦУ при записи ФАЛ в совершенной форме полагается, что на безразличных наборах функция обращается в 1(при использовании СДНФ) или в 0 (при использовании СКНФ). Т.е. безразличные наборы обязательно учитываются.

Следует отметить, что метод Квайна можно и нужно пытаться применить повторно до получения действительно минимальной функции.

2.7. Базисы и минимальные базисы.

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