Полином Жегалкина - Zhegalkin polynomial

Жегалкин (также Жегалкин, Gégalkine или же Шегалкин^[1]) многочлены образуют одно из многих возможных представлений операций Булева алгебра. Введен русским математиком Иван Иванович Жегалкин в 1927 году они кольцо многочленов над целые числа по модулю 2. В результате вырождения модульная арифметика приводят к тому, что полиномы Жегалкина проще обычных полиномов и не требуют ни коэффициентов, ни показателей. Коэффициенты избыточны, потому что 1 - единственный ненулевой коэффициент. Показатели избыточны, потому что в арифметическом модуле 2 Икс² = Икс. Следовательно, такой многочлен, как 3Икс²у⁵z конгруэнтно и поэтому может быть переписано как, xyz.

Логический эквивалент

До 1927 года булева алгебра считалась исчислением логические значения с логическими операциями соединение, дизъюнкция, отрицание и др. Жегалкин показал, что все булевы операции могут быть записаны как обычные числовые многочлены, считая логические константы 0 и 1 целыми числами по модулю 2. Логическая операция соединения реализуется как арифметическая операция умножения. ху, и логично Эксклюзивный или как арифметическое сложение по модулю 2 (здесь записывается как Икс⊕у чтобы избежать путаницы с обычным использованием + в качестве синонима для включающего или ∨). Логическое дополнение ¬Икс тогда получается из 1 и ⊕ как Икс⊕1. Поскольку ∧ и ¬ образуют достаточную основу для всей булевой алгебры, а это означает, что все другие логические операции могут быть получены как составные части этих базовых операций, из этого следует, что многочлены обычной алгебры могут представлять все булевы операции, что позволяет выполнять логические рассуждения. надежно апеллируя к знакомым законам элементарная алгебра без отвлечения внимания на отличия от алгебры средней школы, которые возникают с дизъюнкцией вместо сложения по модулю 2.

Примером приложения является представление логического порога 2 из 3 или средняя операция как полином Жегалкина ху⊕yz⊕zx, который равен 1, если хотя бы две переменные равны 1, и 0 в противном случае.

Формальные свойства

Формально Жегалкин моном является произведением конечного набора различных переменных (следовательно, без квадратов ), включая пустое множество, произведение которого обозначено 1. Имеется 2^п возможные одночлены Жегалкина в п переменных, поскольку каждый моном полностью определяется наличием или отсутствием каждой переменной. А Полином Жегалкина является суммой (исключающим ИЛИ) набора мономов Жегалкина, причем пустое множество обозначается как 0. Наличие или отсутствие данного монома в многочлене соответствует коэффициенту этого монома, равному 1 или 0 соответственно. Мономы Жегалкина, будучи линейно независимый, пролет 2^п-размерный векторное пространство над Поле Галуа GF(2) (NB: нет GF(2^п), чье умножение совершенно иное). 2^2п векторы этого пространства, то есть линейные комбинации этих одночленов как единичные векторы, составляют многочлены Жегалкина. Точное совпадение с количеством Логические операции на п переменные, которые исчерпывают п-арных операций на {0,1}, дает прямой счетный аргумент в пользу полноты полиномов Жегалкина как булевого базиса.

Это векторное пространство не эквивалентно свободная булева алгебра на п генераторы, потому что ему не хватает дополнения (побитового логического отрицания) как операции (что эквивалентно, потому что ему не хватает верхнего элемента как константы). Это не означает, что пространство не закрыто из-за дополнений или отсутствует верх ( единичный вектор ) как элемент, а то, что линейные преобразования этого и аналогичным образом построенных пространств не должны сохранять дополнение и вершину. Те, которые их сохраняют, соответствуют булевым гомоморфизмам, например существует четыре линейных преобразования из векторного пространства многочленов Жегалкина от одной переменной в пространство без переменных, только два из которых являются булевыми гомоморфизмами.

Метод расчета

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

• Используя метод неопределенных коэффициентов
• Построив каноническая дизъюнктивная нормальная форма
• Используя таблицы
• Метод Паскаля
• Метод суммирования
• Использование карты Карно

Метод неопределенных коэффициентов

Методом неопределенных коэффициентов формируется линейная система, состоящая из всех кортежей функции и их значений. Решение линейной системы дает коэффициенты полинома Жегалкина.

Пример

Учитывая логическую функцию ${displaystyle f (A, B, C) = {ar {A}} {ar {B}} {ar {C}} + {ar {A}} B {ar {C}} + A {ar {B} } {ar {C}} + ABC}$, выразим его в виде полинома Жегалкина. Эта функция может быть выражена как вектор-столбец

${displaystyle {vec {f}} = {egin {pmatrix} 1 0 1 0 1 0 0 1end {pmatrix}}}$.

Этот вектор должен быть результатом умножения слева вектора неопределенных коэффициентов.

${displaystyle {vec {c}} = {egin {pmatrix} c_ {0} c_ {1} c_ {2} c_ {3} c_ {4} c_ {5} c_ {6} c_ {7} конец {pmatrix}}}$

на 8x8 логическая матрица который представляет возможные значения, которые могут принимать все возможные конъюнкции A, B, C. Эти возможные значения приведены в следующей таблице истинности:

${displaystyle {egin {array} {| c | c | c | c | c | c | c | c | c | c | c | c |} A & B & C & ;;;;;;; & 1 & C & B & BC & A & AC & AB & ABC hline 0 & 0 & 0 && 1 & 0 & 0 & 0 & 0 & 0& 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 0 & 1 & 0 && 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 0 & 1 & 1 && 1 & 1 & 1 & 1 & 0 & 0 & 0 & 0 1 & 0 & 0 && 1 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 1 & 0 & 1 && 1 & 1 & 1 & 0 & 0 & 0 & 1 & 1 & 1 & 1 & 1 & 0}$.

Информация в приведенной выше таблице истинности может быть закодирована в следующей логической матрице:

${Displaystyle S_ {3} = {Egin {pmatrix} 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 1 & 1 & 1 & 1 & 0 & 0 & 0 & 0 1 & 0 & 0 & 0 & 1 & 0 & 0 & 0 1 & 1 & 0 & 0 & 1 & 1 & 0 & 0 1 & 0 & 1 & 0 & 1 & 0 & 1 & 0 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1end {pmatrix}}}$

где "S" здесь означает "Серпинский", как в Серпинский треугольник, а нижний индекс 3 дает показатели его размера: ${displaystyle 2 ^ {3} imes 2 ^ {3}}$.

С помощью математической индукции и блочно-матричного умножения можно доказать, что любая такая «матрица Серпинского» ${displaystyle S_ {n}}$ это собственное обратное.^{[примечание 1]}

Тогда линейная система есть

${displaystyle S_ {3} {vec {c}} = {vec {f}}}$

который может быть решен для ${displaystyle {vec {c}}}$:

${displaystyle {vec {c}} = S_ {3} ^ {- 1} {vec {f}} = S_ {3} {vec {f}} = {egin {pmatrix} 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & & 0 & & 0 & которое & 0 & & 0 & & 0 & amp; 1 & 1 & 0 & 0 & 1 & 1 & 0 & 0 1 & 0 & 1 & 0 & 1 & 0 & 1 & 0 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1end {pmatrix}} {egin {pmatrix} 1 0 1 0 1 0 0 1end {pmatrix}} = {egin 1 1 1oplus 1 1oplus 1oplus 1 1oplus 1 1oplus 1oplus 1 1oplus 1oplus 1oplus 1end {pmatrix}} = {egin {pmatrix} 1 1 0 0 0 0 1 0end {pmatrix}}}$,

и полином Жегалкина, соответствующий ${displaystyle {vec {c}}}$ является ${displaystyle 1oplus Coplus AB}$.

Использование канонической дизъюнктивной нормальной формы

Используя этот метод, каноническая дизъюнктивная нормальная форма (полностью развернутый дизъюнктивная нормальная форма ) вычисляется первым. Затем отрицания в этом выражении заменяются эквивалентным выражением с использованием суммы по модулю 2 переменной и 1. Знаки дизъюнкции меняются на сложение по модулю 2, скобки открываются, и результирующее логическое выражение упрощается. Это упрощение приводит к полиному Жегалкина.

Использование таблиц

Вычисление полинома Жегалкина для примера функции п табличным методом

Позволять ${displaystyle c_ {0}, ..., c_ {2 ^ {n} -1}}$ быть выходами таблицы истинности для функции п из п переменные, такие, что индекс ${displaystyle c_ {i}}$'s соответствует бинарной индексации minterms^{[заметка 2]}. Рекурсивно определить функцию ζ следующим образом:

${displaystyle zeta (c_ {i}): = c_ {i}}$

${displaystyle zeta (c_ {0}, ..., c_ {k}): = zeta (c_ {0}, ..., c_ {k-1}) oplus zeta (c_ {1}, ..., c_ {k})}$.

Обратите внимание, что

${displaystyle zeta (c_ {0}, ..., c_ {m}) = igoplus _ {k = 0} ^ {m} {m выберите k} _ {2} c_ {k}}$

куда ${displaystyle {m choose k} _ {2}}$ это биномиальный коэффициент уменьшенный по модулю 2.

потом

${displaystyle g_ {i} = zeta (c_ {0}, ..., c_ {i})}$

это я ^th коэффициент полинома Жегалкина, литералы которого в я ^th мономы такие же, как литералы в я ^th minterm, за исключением того, что отрицательные литералы удаляются (или заменяются на 1).

Ζ-преобразование является само по себе обратным, поэтому такая же таблица может использоваться для вычисления коэффициентов ${displaystyle c_ {0}, ..., c_ {2 ^ {n} -1}}$ учитывая коэффициенты ${displaystyle g_ {0}, ..., g_ {2 ^ {n} -1}}$. Просто позволь

${displaystyle c_ {i} = zeta (g_ {0}, ..., g_ {i})}$.

В терминах таблицы на рисунке скопируйте выходные данные таблицы истинности (в столбец с меткой п) в крайний левый столбец треугольной таблицы. Затем последовательно вычисляйте столбцы слева направо, применяя XOR к каждой паре вертикально смежных ячеек, чтобы заполнить ячейку сразу справа от верхней ячейки каждой пары. Когда вся треугольная таблица заполнена, верхняя строка считывает коэффициенты линейной комбинации, которая при упрощении (удаление нулей) дает многочлен Жегалкина.

Чтобы перейти от полинома Жегалкина к таблице истинности, можно заполнить верхнюю строку треугольной таблицы коэффициентами полинома Жегалкина (добавляя нули для любых комбинаций положительных литералов, не входящих в полином). Затем последовательно вычисляйте строки сверху вниз, применяя XOR к каждой паре горизонтально смежных ячеек, чтобы заполнить ячейку сразу до нижней части крайней левой ячейки каждой пары. Когда вся треугольная таблица заполнена, крайний левый столбец ее можно скопировать в столбец п таблицы истинности.

Отметим, что данный метод расчета соответствует принципу работы элементарный клеточный автомат называется Правило 102. Например, запустите такой клеточный автомат с восемью ячейками, настроенными с выходами таблицы истинности (или коэффициентами канонической дизъюнктивной нормальной формы) логического выражения: 10101001. Затем запустите клеточный автомат еще для семи поколений, сохраняя при этом запись состояния крайней левой ячейки. История этой ячейки тогда оказывается: 11000010, которая показывает коэффициенты соответствующего полинома Жегалкина.^[2][3]

Метод Паскаля

Использование метода Паскаля для вычисления полинома Жегалкина для булевой функции ${displaystyle {ar {a}} {ar {b}} {ar {c}} + {ar {a}} b {ar {c}} + {ar {a}} bc + ab {ar {c}} }$. В строке на русском внизу написано:
${displaystyle oplus}$ - побитовая операция «Исключающее ИЛИ»

Наиболее экономичным по объему вычислений и целесообразным для построения полинома Жегалкина вручную является метод Паскаля.

Строим стол, состоящий из ${displaystyle 2 ^ {N}}$ колонны и ${displaystyle N + 1}$ ряды, где N - количество переменных в функции. В верхней строке таблицы размещаем вектор значений функции, то есть последний столбец таблицы истинности.

Каждая строка результирующей таблицы разбита на блоки (черные линии на рисунке). В первой строке блок занимает одну ячейку, во второй строке - две, в третьей - четыре, в четвертой - восемь и так далее. Каждый блок в определенной строке, которую мы будем называть «нижним блоком», всегда соответствует ровно двум блокам в предыдущей строке. Мы будем называть их «левый верхний блок» и «правый верхний блок».

Строительство начинается со второй линии. Содержимое левых верхних блоков переносится без изменений в соответствующие ячейки нижнего блока (зеленые стрелки на рисунке). Затем операция «сложение по модулю два» выполняется поразрядно над правым верхним и левым верхним блоками, и результат переносится в соответствующие ячейки правой части нижнего блока (красные стрелки на рисунке). Эта операция выполняется со всеми строками сверху вниз и со всеми блоками в каждой строке. После завершения построения в нижней строке находится строка чисел, являющихся коэффициентами полинома Жегалкина, записанная в той же последовательности, что и в методе треугольника, описанном выше.

Метод суммирования

Графическое представление коэффициентов полинома Жегалкина для функций с различным числом переменных.

По таблице истинности легко вычислить индивидуальные коэффициенты полинома Жегалкина. Для этого просуммируйте по модулю 2 значения функции в тех строках таблицы истинности, где переменные, не входящие в конъюнкцию (которая соответствует вычисляемому коэффициенту), принимают нулевые значения.

Предположим, например, что нам нужно найти коэффициент при xz конъюнкция для функции трех переменных ${displaystyle f (x, y, z)}$. Нет переменной у в этом сочетании. Найдите входные наборы, в которых переменная у принимает нулевое значение. Это наборы 0, 1, 4, 5 (000, 001, 100, 101). Тогда коэффициент при конъюнкции xz является

${displaystyle a_ {5} = f_ {0} oplus f_ {1} oplus f_ {4} oplus f_ {5} = f (0,0,0) oplus f (0,0,1) oplus f (1,0 , 0) oplus f (1,0,1)}$

Поскольку нет переменных с постоянным членом,

${displaystyle a_ {0} = f_ {0}}$.

Для члена, который включает все переменные, сумма включает все значения функции:

${displaystyle a_ {N-1} = f_ {0} oplus f_ {1} oplus f_ {2} oplus ... oplus f_ {N-2} oplus f_ {N-1}}$

Представим графически коэффициенты многочлена Жегалкина как суммы по модулю 2 значений функций в определенных точках. Для этого мы строим квадратную таблицу, где каждый столбец представляет значение функции в одной из точек, а строка - коэффициент полинома Жегалкина. Точка на пересечении некоторого столбца и строки означает, что значение функции в этой точке входит в сумму для данного коэффициента полинома (см. Рисунок). Мы называем эту таблицу ${displaystyle T_ {N}}$, куда N - количество переменных функции.

Существует шаблон, позволяющий получить таблицу для функции N переменные, имея таблицу для функции ${displaystyle N-1}$ переменные. Новый стол ${displaystyle T_ {N} +1}$ устроен как матрица 2 × 2 ${displaystyle T_ {N}}$ таблицы, а правый верхний блок матрицы очищается.

Теоретико-решеточная интерпретация

Рассмотрим столбцы таблицы ${displaystyle T_ {N}}$ как соответствующие элементы Логическая решетка размера ${displaystyle 2 ^ {N}}$. Для каждого столбца ${displaystyle f_ {M}}$ экспресс-номер M как двоичное число ${displaystyle M_ {2}}$, тогда ${displaystyle f_ {M} leq f_ {K}}$ если и только если ${displaystyle M_ {2} vee K_ {2} = K_ {2}}$, куда ${displaystyle vee}$ означает побитовое ИЛИ.

Если строки таблицы ${displaystyle T_ {N}}$ пронумерованы сверху вниз числами от 0 до ${displaystyle 2 ^ {N} -1}$, то табличное содержание номера строки р это идеальный генерируется элементом ${displaystyle f_ {R}}$ решетки.

Кстати, обратите внимание, что общий рисунок таблицы ${displaystyle T_ {N}}$ это то из логическая матрица Серпинский треугольник. Также шаблон соответствует элементарный клеточный автомат называется Правило 60, начиная с крайней левой ячейки, установленной на 1, а все остальные ячейки очищены.

Использование карты Карно

Преобразование отображения Карно в полином Жегалкина.

На рисунке показана функция трех переменных, п(А, B, C) в виде Карта Карно, который читатель может рассматривать как пример преобразования таких отображений в полиномы Жегалкина; общая процедура состоит из следующих шагов:

• Мы рассматриваем все ячейки карты Карно в порядке возрастания количества единиц в их кодах. Для функции трех переменных последовательность ячеек будет 000–100–010–001–110–101–011–111. Каждая ячейка карты Карно связана с членом полинома Жегалкина в зависимости от позиций кода, в которых есть единицы. Например, ячейка 111 соответствует члену ABC, ячейка 101 соответствует члену AC, ячейка 010 соответствует члену B, а ячейка 000 соответствует члену 1.
• Если в рассматриваемой ячейке 0, перейдите к следующей ячейке.
• Если рассматриваемая ячейка равна 1, добавьте соответствующий член к многочлену Жегалкина, затем инвертируйте все ячейки в карте Карно, где этот член равен 1 (или принадлежит идеальный порожденные этим членом в булевой решетке одночленов) и переходят в следующую ячейку. Например, если при рассмотрении ячейки 110 в ней появляется единица, то к полиному Жегалкина добавляется член AB и инвертируются все ячейки карты Карно, для которых A = 1 и B = 1. Если единица находится в ячейке 000, то к полиному Жегалкина добавляется член 1 и инвертируется вся карта Карно.
• Процесс преобразования можно считать завершенным, если после следующей инверсии все ячейки карты Карно становятся нулевыми или не учитываются.

Преобразование Мёбиуса

В Формула обращения Мебиуса связывает коэффициенты булевого выражения суммы минимальных членов и полинома Жегалкина. Это частичный вариант формулы Мёбиуса, а не теоретико-числовой. Формула обращения Мёбиуса для частичных порядков:

${displaystyle g (x) = sum _ {y: yleq x} f (y) leftrightarrow f (x) = sum _ {y: yleq x} g (y) mu (y, x)}$^[4],

куда ${displaystyle mu (y, x) = (- 1) ^ {| x | - | y |}}$, |Икс| будучи Расстояние Хэмминга из Икс от 0. Поскольку ${displaystyle -1equiv 1}$ в алгебре Жегалкина функция Мёбиуса схлопывается до константы 1.

Множество делителей заданного числа Икс также идеал порядка, порожденный этим числом: ${displaystyle langle xangle}$. Поскольку суммирование ведется по модулю 2, формулу можно переформулировать как

${displaystyle g (x) = igoplus _ {y: yin langle xangle} f (y) leftrightarrow f (x) = igoplus _ {y: yin langle xangle} g (y)}$

Пример

В качестве примера рассмотрим случай с тремя переменными. В следующей таблице показано отношение делимости:

потом

${displaystyle g (000) = f (000)}$

${displaystyle g (001) = f (000) oplus f (001)}$

${displaystyle g (010) = f (000) oplus f (010)}$

${displaystyle g (011) = f (000) oplus f (001) oplus f (010) oplus f (011)}$

${displaystyle g (100) = f (000) oplus f (100)}$

${displaystyle g (101) = f (000) oplus f (001) oplus f (100) oplus (101)}$

${displaystyle g (110) = f (000) oplus f (010) oplus f (100) oplus f (110)}$

${displaystyle g (111) = f (000) oplus f (001) oplus f (010) oplus f (011) oplus f (100) oplus f (101) oplus f (110) oplus f (111)}$

Приведенная выше система уравнений может быть решена относительно ж, и результат может быть получен путем обмена грамм и ж во всей вышеупомянутой системе.

В таблице ниже показаны двоичные числа вместе с соответствующими одночленами Жегалкина и булевыми минтермами:

Логический минтерм	ABC	Жегалкин моном
${displaystyle {ar {A}} {ar {B}} {ar {C}}}$	000	1
${displaystyle {ar {A}} {ar {B}} C}$	001	C
${displaystyle {ar {A}} B {ar {C}}}$	010	B
${displaystyle {ar {A}} BC}$	011	до н.э
${displaystyle A {ar {B}} {ar {C}}}$	100	А
${displaystyle A {ar {B}} C}$	101	AC
${displaystyle AB {ar {C}}}$	110	AB
${displaystyle ABC}$	111	ABC

Мономы Жегалкина естественным образом упорядочены по делимости, тогда как булевы минтермы сами себя упорядочивают не так естественно; каждый представляет собой исключительную восьмую из трех переменных Диаграмма Венна. Порядок мономов переносится на битовые строки следующим образом: задано ${displaystyle a_ {1} a_ {2} a_ {3}}$ и ${displaystyle b_ {1} b_ {2} b_ {3}}$, пара битовых троек, тогда ${displaystyle a_ {1} a_ {2} a_ {3} leq b_ {1} b_ {2} b_ {3} leftrightarrow a_ {1} leq b_ {1} клин a_ {2} leq b_ {2} клин a_ { 3} leq b_ {3}}$.

Тогда соответствие между булевой суммой терминов с тремя переменными и полиномом Жегалкина будет следующим:

${displaystyle f (000) {ar ​​{A}} {ar {B}} {ar {C}} vee f (001) {ar ​​{A}} {ar {B}} Cvee f (010) {ar ​​{A }} B {ar {C}} vee f (011) {ar ​​{A}} BCvee f (100) A {ar {B}} {ar {C}} vee f (101) A {ar {B}} Cvee f (110) AB {ar {C}} vee f (111) ABC}$

${displaystyle qquad qquad Equiv g (000) oplus g (001) Coplus g (010) Boplus g (011) BCoplus g (100) Aoplus g (101) ACoplus g (110) ABoplus g (111) ABC})$.

Приведенную выше систему уравнений можно резюмировать как логическая матрица уравнение:

${displaystyle {egin {pmatrix} g (000) g (001) g (010) g (011) g (100) g (101) g (110) g (111) end {pmatrix}) } = {Egin {pmatrix} 1 && 0 && 0 && 0 && 0 && 0 && 0 && 0 1 && 1 && 0 && 0 && 0 && 0 && 0 && 0 1 && 0 && 1 && 0 && 0 && 0 && 0 && 0 1 && 1 && 1 && 1 && 0 && 0 && 0 && 0 1 && 0 && 0 && 0 && 1 && 0 && 0 && 0 1 && 1 && 0 && 0 && 1 && 1 && 0 && 0 1 && 0 && 1 && 0 && 1 && 0 && 1 && 0 1 && 1 && 1 && 1 && 1 && 1 && 1 && 1end {pmatrix}} {Egin {pmatrix} F (000) F (001) F (010) F (011) f (100) f (101) f (110) f (111) end {pmatrix}}}$

который Н. Дж. Вильдбергер называет преобразованием Буля – Мёбиуса.

Ниже показан «XOR электронная таблица Форма трансформации, идущая в направлении грамм к ж:

${displaystyle f_ {000}}$	${displaystyle f_ {001}}$	${displaystyle f_ {010}}$	${displaystyle f_ {011}}$	${displaystyle f_ {100}}$	${displaystyle f_ {101}}$	${displaystyle f_ {110}}$	${displaystyle f_ {111}}$
${displaystyle g_ {000}}$	${displaystyle g_ {000} oplus g_ {001}}$	${displaystyle g_ {000} oplus g_ {010}}$	${displaystyle g_ {000} oplus g_ {010} oplus g_ {001} oplus g_ {011}}$	${displaystyle g_ {000} oplus g_ {100}}$	${displaystyle g_ {000} oplus g_ {100} oplus g_ {001} oplus g_ {101}}$	${displaystyle g_ {000} oplus g_ {100} oplus g_ {010} oplus g_ {110}}$	${displaystyle g_ {000} oplus g_ {100} oplus g_ {010} oplus g_ {110} oplus g_ {001} oplus g_ {101} oplus g_ {011} oplus g_ {111}}$
${displaystyle g_ {001}}$	${displaystyle g_ {001} oplus g_ {010}}$	${displaystyle g_ {001} oplus g_ {011}}$	${displaystyle g_ {001} oplus g_ {011} oplus g_ {010} oplus g_ {100}}$	${displaystyle g_ {001} oplus g_ {101}}$	${displaystyle g_ {001} oplus g_ {101} oplus g_ {010} oplus g_ {110}}$	${displaystyle g_ {001} oplus g_ {101} oplus g_ {011} oplus g_ {111}}$
${displaystyle g_ {010}}$	${displaystyle g_ {010} oplus g_ {011}}$	${displaystyle g_ {010} oplus g_ {100}}$	${displaystyle g_ {010} oplus g_ {100} oplus g_ {011} oplus g_ {101}}$	${displaystyle g_ {010} oplus g_ {110}}$	${displaystyle g_ {010} oplus g_ {110} oplus g_ {011} oplus g_ {111}}$
${displaystyle g_ {011}}$	${displaystyle g_ {011} oplus g_ {100}}$	${displaystyle g_ {011} oplus g_ {101}}$	${displaystyle g_ {011} oplus g_ {101} oplus g_ {100} oplus g_ {110}}$	${displaystyle g_ {011} oplus g_ {111}}$
${displaystyle g_ {100}}$	${displaystyle g_ {100} oplus g_ {101}}$	${displaystyle g_ {100} oplus g_ {110}}$	${displaystyle g_ {100} oplus g_ {110} oplus g_ {101} oplus g_ {111}}$
${displaystyle g_ {101}}$	${displaystyle g_ {101} oplus g_ {110}}$	${displaystyle g_ {101} oplus g_ {111}}$
${displaystyle g_ {110}}$	${displaystyle g_ {110} oplus g_ {111}}$
${displaystyle g_ {111}}$

Связанных с работой

В том же году, что и работа Жегалкина (1927 г.), американский математик Эрик Темпл Белл опубликовал сложную арифметизацию булевой алгебры на основе Ричард Дедекинд Идеальная теория и общая модульная арифметика (в отличие от арифметики по модулю 2). Гораздо более простой арифметический характер многочленов Жегалкина был впервые замечен на Западе (независимо, общение между советскими и западными математиками в ту эпоху было очень ограниченным) американским математиком. Маршалл Стоун в 1936 году, когда он заметил, когда писал свой знаменитый Каменная двойственность Теорема о том, что предположительно слабая аналогия между Булевы алгебры и кольца Фактически, его можно было сформулировать как точную эквивалентность как для конечных, так и для бесконечных алгебр, что привело его к существенной реорганизации своей работы в течение следующих нескольких лет.

Смотрите также

• Алгебраическая нормальная форма (ANF)
• Нормальная форма кольцевой суммы (RSNF)
• Расширение Рида-Мюллера
• Логический домен
• Булевозначная функция

Примечания

Рекомендации

• Белл, Эрик Темпл (1927). «Арифметика логики». Труды Американского математического общества. 29 (3): 597–611. Дои:10.2307/1989098. JSTOR  1989098.
• Гиндикин, С. Г. (1972). алгебра логики в задачах [Алгебраическая логика] (на русском). Москва, Россия: Наука [Наука] (Английский перевод: Springer-Verlag 1985). ISBN  0-387-96179-8.
• Стоун, Маршалл (1936). "Теория представлений булевых алгебр". Труды Американского математического общества. 40 (1): 37–111. Дои:10.2307/1989664. ISSN  0002-9947. JSTOR  1989664.
• Жега́лкин [Жегалкин], Ива́н Ива́нович [Иван Иванович] (1927). "О технике вычислений предложений в символической логике" [О технике вычисления предложений в символической логике (Sur le Calcul des propositions dans la logique symbolique)]. Математический сборник (на русском и французском языках). Москва, Россия. 34 (1): 9–28. Ми  msb7433. В архиве с оригинала на 2017-10-12. Получено 2017-10-12.