Аналитическая запись.
Произведение булевых переменных называется булевым произведением. Булево произведение называется элементарным, если переменные в него входят только один раз в прямой или инверсной форме.
Пример.
- элементарные произведения,
-
эти произведения не являются элементарными.
Число переменных, образующих элементарное произведение, называется длиной или рангом элементарного произведения.
Пример.
- ранг 3.
Минтермом или конституентой единицы n переменных называется элементарное произведение ранга n.
Аналогичные определения существует и для булевых сумм.
Пример.
- элементарная сумма ранга 2;
не является элементарной суммой.
Макстермом или конституентой нуля n переменных называется элементарная булева сумма ранга n.
Как булева функция минтерм принимает значение единицы только на одном наборе, аналогично макстерм принимает только на одном наборе значение нуля.
При записи минтерма часто используется буква m с индексом того набора, на котором данный минтерм принимает значение единицы.
Пример.
=m5.
Двоичный эквивалент индекса для минтерма может быть определен из записи минтерма подстановкой вместо прямых форм переменных цифры 1, а вместо инверсных – цифры 0.
Пример.
- минтерм ранга 4;
1010 – двоичный эквивалент индекса.
= m10.
При этом не следует забывать, что при переходе от индексной записи минтерма к аналитической следует восстановить все переменные, входящие в данную запись.
Пример.
m5
– ранга 4 имеет запись
; m5
– ранга 3 имеет запись
.
Аналогично при записи макстерма используется буква М с индексом, двоичная запись которого содержит 1, если соответствующая переменная входит в аналитическую запись макстерма в прямой форме, и 0, если в инверсной.
Пример.
=М1100=
М12.
Между минтермами и макстермами существует следующая связь:
i
= M2n-i-1;
i
= m2n-i-1.
Булева сумма всех минтермов ранга n равна единице:
2n-1
mi =1.
i=0
Это следует из того, что число различных минтермов ранга n равно 2n, т.е. числу различных наборов n переменных, а функция, принимающая на всех наборах значение 1, есть константа 1.
Используя теорему де Моргана, можно показать, что произведение всех макстермов ранга n равно нулю:
2n-1
Λ Mi =0.
i=0
Из этих уравнений следует
mimj =0 при i≠j;
Mi + Mj =1 при i≠j.
Равенства очевидны, если вспомнить, что минтерм – это конституента единицы, а макстерм – конституента нуля.
Основная теорема.
Любая булева функция может быть выражена булевой суммой минтермов или произведением макстермов.
Таблица 1.8 Составим таблицу функций и найдем булево
A
B
C
f(ABC)
выражение для данной функции. Из
табл.1.8 видно,
0 0 0 0= α0 что функция равна единице, только на наборах,
0 0 1 1= α1 равных 001, 101, 111, что соответствует минтер-
0 1 0 0=
α2
мам
.
0 1 1 0= α3 Это значит, что данная функция может быть
1 0 0 0= α4 дизъюнкцией этих минтермов, т.е.
1 0 1 1=
α5
=
m1
+ m5+
m7.
1 1 0 0= α6 Чтобы убедиться в сказанном, запишем дан-
1 1 1 1= α7 ную функцию в виде суммы произведений значений функции на соответствующие минтермы:
f(ABC)= α0 m0 + α1 m1 + α2 m2 + α3 m3 + α4 m4 + α5 m5 + α6 m6 + α7 m7 =
= 0m0 + 1m1 + 0m2 + 0m3 + 0m4 + 1m5 + 0m6 + 1m7 ,
где αi – значение данной функции на i –ом наборе.
Следовательно, справедлива запись:
2n-1
f(x1 x2 … xn)= α i mi .
i=0
Применив формулу де Моргана, найдем выражение
2n-1
(
x1
x2
… xn)=
i
mi
.
i=0
2n-1
2n-1
2n-1
2n-1
f
(x1
x2
… xn)=
(x1
x2
… xn)=
i
mi
= Λ (
i
mi)=
Λ (α
i
+
i)=
Λ (α
i
+M2n-i-1).
i=0 i=0 i=0 i=0
Основная теорема:
2n-1 2n-1
f(x1 x2 … xn)= α i mi = Λ (α i +M2n-i-1).
i=0 i=0
Для аналитических записей булевых функций существуют следующие определения:
Булева сумма элементарных произведений называется дизъюнктивной нормальной формой (ДНФ).
- ДНФ;
- не является ДНФ.
Булево произведение элементарных сумм называется конъюнктивной нормальной формой (КНФ).
- КНФ;
-не является КНФ.
ДНФ функции n переменных, состоящая из элементарных произведений ранга n (т.е. из минтермов), называется совершенной дизъюнктивной нормальной формой функции (СДНФ).
КНФ функции n переменных, состоящая из элементарных сумм ранга n (т.е. из макстермов), называется совершенной конъюнктивной нормальной формой функции (СКНФ).
Основная теорема содержит запись СДНФ и СКНФ функций.
Из теоремы следует, что запись СДНФ (или СКНФ) булевой функции единственна.