Полином Жегалкина

Полином Жегалкина — это логическая функция, использующая две операции: конъюнкцию и разделительную дизъюнкцию. Полином предложен российским математиком Иваном Ивановичем Жегалкиным в 1927 году.

Назначение полинома Жегалкина - это алгебраическое выражение логических функций.

Обозначения

Введём обозначения:

n – число аргументов функции;

(x₁,x₂,…,x_n) – набор аргументов функции;

P(x₁,x₂,…,x_n) – полином Жегалкина.

Операции:

• конъюнкция;
• разделительная дизъюнкция.

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

Разделительная дизъюнкция — это логическая операция аналогичная арифметическому сложению по модулю 2. Используется обозначение знаком плюс в кружке.

Формула

Полином Жегалкина имеет следующий вид:

• Заметим, что коэффициенты a_i1...ik принимают значения из множества {0,1}, причём если коэффициент равен нулю, то соответствующее слагаемое может быть опущено.
• Полином Жегалкина, состоящий только из слагаемых с единичными коэффициентами (т. е. с опущенными слагаемыми с нулевыми коэффициентами), называется алгебраической нормальной формой (АНФ) соответствующей логической функции.

Примеры полиномов:

С одной переменной

С двумя переменными

• Значения полиномов Жегалкина задаются с помощью таблицы истинности или определяются по формулам.
• Полином Жегалкина является предикатом, определённым на множестве {0,1}.

Другие функции:

1. отрицание;
2. дизъюнкция;
3. конъюнкция;
4. разделительная дизъюнкция;
5. импликация;
6. обратная импликация;
7. эквиваленция;
8. стрелка Пирса;
9. штрих Шеффера;
10. полином Жегалкина.

Ссылки

• Участник:Logic-samara
• Википедия. Полином Жегалкина.