Алгоритм построения полинома Жегалкина

1. Построить таблицу истинности данной булевой функции.

2. Каждому единичному значению булевой функции будет соответствовать конъюнкция Алгоритм построения полинома Жегалкина - student2.ru , где Алгоритм построения полинома Жегалкина - student2.ru - соответствующий набор значений перемен-ных. Конъюнкции соединяются знаком Алгоритм построения полинома Жегалкина - student2.ru .

3. Заменить выражения Алгоритм построения полинома Жегалкина - student2.ru по формуле: Алгоритм построения полинома Жегалкина - student2.ru . Раскрыть скобки и привести подобные слагаемые по правилу: Алгоритм построения полинома Жегалкина - student2.ru .

Пример.Построить СДНФ, СКНФ и полином Жегалкина для функции (11110011).

Таблица истинности данной булевой функции приведена на стр. 5.

СДНФ имеет вид:

Алгоритм построения полинома Жегалкина - student2.ru .

СКНФ имеет вид:

Алгоритм построения полинома Жегалкина - student2.ru .

Построим полином Жегалкина:

Алгоритм построения полинома Жегалкина - student2.ru

Примечание.Обратите внимание, что в [3] в представлении СДНФ и СКНФ в обозначении дизъюнкции вместо символа Алгоритм построения полинома Жегалкина - student2.ru используется символ Алгоритм построения полинома Жегалкина - student2.ru .

Замкнутые классы функций.

1. Класс Алгоритм построения полинома Жегалкина - student2.ru функций, сохраняющих ноль.

Алгоритм построения полинома Жегалкина - student2.ru .

2. Класс Алгоритм построения полинома Жегалкина - student2.ru функций, сохраняющих единицу.

Алгоритм построения полинома Жегалкина - student2.ru .

3. Класс S самодвойственных функций составляют функции, на противоположных наборах принимающие противоположные значения:

Алгоритм построения полинома Жегалкина - student2.ru .

4. Класс М монотонных функций. Для двоичных векторов Алгоритм построения полинома Жегалкина - student2.ru и Алгоритм построения полинома Жегалкина - student2.ru , где Алгоритм построения полинома Жегалкина - student2.ru , Алгоритм построения полинома Жегалкина - student2.ru , вводится следующее отношение частичного порядка. Считается, что Алгоритм построения полинома Жегалкина - student2.ru , если Алгоритм построения полинома Жегалкина - student2.ru для Алгоритм построения полинома Жегалкина - student2.ru . Класс M определяется следующим образом:

Алгоритм построения полинома Жегалкина - student2.ru .

5. Класс линейных функций L составляют функции, которые представляются полиномом Жегалкина первой степени.

Проверка принадлежности булевой функции замкнутым классам 1-4 осуществляется по таблице истинности. Проверка принадлежности булевой функции классу L осуществляется путем построения полинома Жегалкина. Здесь Алгоритм построения полинома Жегалкина - student2.ru – мно-жество всех булевых функций n переменных.

Функциональная полнота.

Система булевых функций называется функционально полной, если любая булева функция представляется супер-позицией (сложной функцией) функций данной системы.

Теорема Поста. Система булевых функций функ-ционально полна, если она не содержится целиком ни в одном из пяти замкнутых классов.

Для проверки функциональной полноты системы буле-вых функций строится так называемая таблица Поста, в которой отмечается принадлежность функций замкнутым классам. Если в каждом столбце таблицы Поста есть хотя бы один минус, система полна, в противном случае – нет.

Пример. Проверить функциональную полноту системы булевых функций Алгоритм построения полинома Жегалкина - student2.ru .

Проверим принадлежность замкнутым классам функции Алгоритм построения полинома Жегалкина - student2.ru . Построим таблицу истинности данной функции.

Алгоритм построения полинома Жегалкина - student2.ru Алгоритм построения полинома Жегалкина - student2.ru Алгоритм построения полинома Жегалкина - student2.ru

Алгоритм построения полинома Жегалкина - student2.ru , следовательно Алгоритм построения полинома Жегалкина - student2.ru .

Алгоритм построения полинома Жегалкина - student2.ru , следовательно Алгоритм построения полинома Жегалкина - student2.ru .

Алгоритм построения полинома Жегалкина - student2.ru Алгоритм построения полинома Жегалкина - student2.ru , следовательно, Алгоритм построения полинома Жегалкина - student2.ru .

Алгоритм построения полинома Жегалкина - student2.ru , следовательно, Алгоритм построения полинома Жегалкина - student2.ru .

Функция представляет собой полином Жегалкина первой степени, следовательно, Алгоритм построения полинома Жегалкина - student2.ru .

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

Построим таблицу Поста:

  Алгоритм построения полинома Жегалкина - student2.ru Алгоритм построения полинома Жегалкина - student2.ru S M L
Алгоритм построения полинома Жегалкина - student2.ru + - - - +
Алгоритм построения полинома Жегалкина - student2.ru + + - + -
- + - + +

В каждом столбце таблицы имеется минус, следовательно, система A функционально полна.

Минимальная функционально полная система называется базисом пространства булевых функций.

Элементы комбинаторики.

Основные задачи теории выборок. Формула включения и исклю-чения. Задача о беспорядках. Рекуррентные соотношения.

Литература:[1], с. 53-70; [5], пп. 5.1, 5.3, 5.5.

Наши рекомендации