Изменения

Другими словами, если строка, соответствующая аргументам функции <math>x_1, x_2, ..., x_k</math>, находится в <math>i</math>-й полосе, то функция возвращает значение, записанное в столбце сорта <math>j</math> для этой строки. Если же эта строка находится в другой полосе, то функция вернёт 0. Иллюстрация принципа работы функции <math>g_{ij}</math> приведена на рис. 2.

Поскольку изначальный столбец <math>(\sigma_{k + 1}, \sigma_{k + 2}, \sigma_{n})</math> складывается из столбцов соответствующих сортов в полосах,

<math>f(x_1, x_2, ..., x_k, \sigma_{k + 1}, \sigma_{k + 2}, \sigma_{n}) = g_{1j_1} \vee g_{2j_2} \vee ... \vee g_{pj_p}</math>,

где <math>j_l</math> - номер сорта столбца полосы <math>l</math>, соответствующего столбцу <math>(\sigma_{k + 1}, \sigma_{k + 2}, \sigma_{n})</math>.

== Мультиплексор и дешифратор ==

Для упрощения доказательства теоремы введём элементы '''''мультиплексор''''' и '''''дешифратор'''''.