Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
discrete_math1.docx
Скачиваний:
332
Добавлен:
30.03.2015
Размер:
1.1 Mб
Скачать

21. Существенные и фиктивные переменные булевых функций, основные тождества, эквивалентные преобразования формул.

Определение. Функцияотnаргументовназывается булевой функцией (или функцией алгебры логики), если каждому наборуона ставит в соответствие число.

Для задания булевых функциймы будем использовать таблицы, векторы, формулы и графики. Примем следующее обозначение:– это множество всех набо­ров, где.

Определение.Переменнаяxiназывается существенной переменной функции, если существует такой набор, для которого выполняется соотношение.

Определение. Переменнаяxiназывается несущественной (или фиктивной) переменной функции, если для любого на­боравыполняется равенство.

К числу основных тождеств относятся следующие:

(2),

(10),

(3),

(11) ,

(4),

(12) ,

(5) ,

(13) – первое правило де Моргана,

(6) ,

(7) ,

(14) – второе правило де Моргана.

(8),

(9),

.

.

.

.

.

.

Преобразования, выполненные на основе данных формул, называются эквивалентными.

22. Линейные и нелинейные полиномы Жегалкина, разложение булевых функций в полином Жегалкина методом неопределенных коэффициентов.

Определение. Функцияотnаргументовназывается булевой функцией (или функцией алгебры логики), если каждому наборуона ставит в соответствие число.

Для задания булевых функциймы будем использовать таблицы, векторы, формулы и графики. Примем следующее обозначение:– это множество всех набо­ров, где.

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

Определение.Полином, в котором отсутствуют произведения переменных, называется линейным полиномом. Линейный полином Жегалкина отnпеременных может иметь самое большееn + 1 слагаемых.

Теорема. Каждая булева функция от n переменных представима полиномом Жегалкина от этих же переменных.

Разложение методом неопределенных коэффициентов. Полином Жегалкина от двух аргументов х1и х2содержит не более 4 слагаемых и может быть записан в общем виде, где коэффициенты– константы 0 или 1.

Пример.Пусть требуется построить полином Жегалкина для функции. В общем виде его можно записать с неопределенными коэффициентами следующим образом:.

Так как х2– фиктивная переменная данной функции, то в её полином Жегалкина переменная х2в явном виде не входит, значит,. Оставшиеся четыре коэффициента найдем из системы уравнений.

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

23. Линейные и нелинейные полиномы Жегалкина, разложение булевых функций в полином Жегалкина методом эквивалентных преобразований.

Определение. Функцияотnаргументовназывается булевой функцией (или функцией алгебры логики), если каждому наборуона ставит в соответствие число.

Для задания булевых функциймы будем использовать таблицы, векторы, формулы и графики. Примем следующее обозначение:– это множество всех набо­ров, где.

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

Определение.Полином, в котором отсутствуют произведения переменных, называется линейным полиномом. Линейный полином Жегалкина отnпеременных может иметь самое большееn + 1 слагаемых.

Теорема. Каждая булева функция от n переменных представима полиномом Жегалкина от этих же переменных.

Разложение методом эквивалентных преобразований. Полином Жегалкина можно построить с помощью эквивалентных преобразований. Для этого необходимо сначала построить ДНФ или КНФ функции, а затем преобразовать получившееся выражение, приводя его действия к виду . В итоге должна получиться сумма по модулю 2, в которой каждое слагаемое является константой 0 или 1 либо одной из переменных.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]