При условии участия в процедуре группирования всех членов функции, число пар должно быть минимальным

Пары могут пересекаться, т.е. один и тот же член функции может входить в различные пары.

Две функции отличаются в одной переменной, если эта переменная в одну из них входит с инверсией, а в другую без инверсии. Других различий нет.

ФАЛ представляется в одной из совершенных форм после чего члены, отличающиеся только в одной переменной, объединяются в пары.

Это понятие применимо к членам ФАЛ в совершенной форме, поскольку каждый из них представляет собой функцию конституенты единицы или нуля.

Например, для функции у_СДНФ = х₂х₁х₀ Ú х₂х₁х₀ Ú х₂х₁х₀ Ú х₂х₁х₀ можно образовать три пары: 1) х₂х₁х₀ Ú х₂х₁х₀ (отличаются только в первой переменной), 2) х₂х₁х₀ Ú х₂х₁х₀ (отличаются только во второй переменной), 3) х₂х₁х₀ Ú х₂х₁х₀ (отличаются только в нулевой переменной). Однако третья пара избыточна, поскольку и второй, и четвёртый члены функции уже задействованы в первой и второй парах, соответственно.

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