Пары могут пересекаться, т.е. один и тот же член функции может входить в различные пары.
Две функции отличаются в одной переменной, если эта переменная в одну из них входит с инверсией, а в другую без инверсии. Других различий нет.
ФАЛ представляется в одной из совершенных форм после чего члены, отличающиеся только в одной переменной, объединяются в пары.
Это понятие применимо к членам ФАЛ в совершенной форме, поскольку каждый из них представляет собой функцию конституенты единицы или нуля.
Например, для функции уСДНФ = х2х1х0 Ú х2х1х0 Ú х2х1х0 Ú х2х1х0 можно образовать три пары: 1) х2х1х0 Ú х2х1х0 (отличаются только в первой переменной), 2) х2х1х0 Ú х2х1х0 (отличаются только во второй переменной), 3) х2х1х0 Ú х2х1х0 (отличаются только в нулевой переменной). Однако третья пара избыточна, поскольку и второй, и четвёртый члены функции уже задействованы в первой и второй парах, соответственно.