Учебное пособие: Дискретная математика

Нормальные формы представления переключательной функции иногда называют стандартными (табл. 5).

Таблица 5

f

A

0011

B

0101

Название функции Обозначение функции СДНФ СКНФ
f0 0000 Константа нуль 0 Не имеет
f1 0001 Логическое произведение, конъюнкция
f2 0010 Функция запрета по В
f3 0011 Переменная А
f4 0100 Функция запрета по А
f5 0101 Переменная В
f6 0110 Сумма по мо дулю 2, логическая неравнозначность
f7 0111 Логическое сложение, дизъюнкция
f8 1000 Операция (стрелка) Пирса, операция Вебба
f9 1001 Эквивалентность, логическая равнозначность
f10 1010 Инверсия В
f11 1011 Импликация от В к А
f12 1100 Инверсия А
f13 1101 Импликация от А к В
f14 1110 Операция (штрих) Шеффера
f15 1111 Константа единица 1 Не имеет

Многочленом Жегалкина называется многочлен, являющийся суммой константы 0 или 1 и различных одночленов, в которые все переменные входят не выше, чем в первой степени.

Теорема. Любая функция булевой алгебры может быть представлена, и притом единственным образом, с помощью полинома Жегалкина вида

J =.

Представим, например, в виде полинома выражение вида X 1 X 2 . Для этого проведем следующие рассуждения.

Пусть

X1 X2 = aX1 X2 +bX1 +cX2 +k,

где а, b , с, k – неопределенные коэффициенты.

При X 1 = X 2 = 0 имеем k = 0. При Х1 = 1, X 2 = 0 имеем b = 1. При Х1 = 0, Х2 = 1 имеем с = 1. При X 1 2 = 1 имеем а + b + с = 1, т. е. а = -1. Таким образом, получаем:

X 1 X 2 = – X 1 X 2 + X 1 + X 2 .

СПНФ образуется путем замены в СДНФ: на + и на

1 х.

,

,

В последнем случае выражение для легко можно упростить, если раскрыть скобки и взаимно сократить все одинаковые слагаемые, входящие в форм

К-во Просмотров: 531
Бесплатно скачать Учебное пособие: Дискретная математика