Элементы общей алгебры. Алгебра логики. Понятия алгебры логики, страница 4

№ набора

х1

х2

х3

F

j

Z

0

0

0

0

1

1

0

1

0

0

1

0

0

0

2

0

1

0

1

0

0

3

0

1

1

1

1

0

4

1

0

0

0

0

1

5

1

0

1

0

0

0

6

1

1

0

1

0

0

7

1

1

1

1

1

1

Какая из функций будет импликантой к F?

Ответj Ì F, а  Z Ë F, т.к. на 4ом наборе F=0, а Z=1.

Теорема №6.Любая конституента единицы, которая входит в СНДФF является её импликантой

Теорема № 7.“Константа ноль” является импликантой любой функции.

Теорема № 8.Любая функция будет импликантой “константы единицы”.

Две логические функции называются сравнимыми, если для них выполняются условия j1 Ì j2 и  j2 Ì j1.

Элементарное произведение, полученное путём исключения из начального элементарного произведения одной или нескольких переменных, называется его собственной частью.

Пример: Дано элементарное произведение  , его собственными частями будут произведения: xzx; z.

Элементарные произведения, которые входят в данную функцию СДНФ, а никакая их собственная часть не входит самостоятельно в виде произведения, называется простыми импликантами.

Пример: Допустим, что j = x1 x2 x3  и  x2 входят в F = F(x1,x2,x3,x4), а  x2  и    самостоятельно не входят в F. Тогда j не будет простой импликантой, а x2 - будет, т. к.  x2ÌjÌF,  но  x2ËF  и  ËF.

Теорема № 9. Любую функцию можно представить в виде укороченной ДНФ.

Операции склеивания, поглощения и развёртывания в ДНФ.

1   Полное склеивание  x×у Ú x×= x,   т.к.   x×у Ú x× = x×Ú) = x × 1 = x(по переменной у).

2   Неполного склеивания  x×у Ú x× = x Úx×у Ú x×

3   Поглощения  x Ú x× = x   и   x×у Ú x = x, т.к.

 x×у Ú x = x (1Úу) = х×1 = х

4   Операция развертывания превращает простую импликанту в дизъюнкцию конституент единицы.

Пример: х×- простая импликанта функции четырёх аргументов    х, у, z, u. Тогда    В результате двукратного применения операции развертывания получили СДНФ.

Минимизация логических функций в СДНФ

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

Особенностью метода Квайна является то, что сначала ДНФ преобразовывают к виду СДНФ, а потом выполняют все операции.

Метод минимизации Квайна:

1.  В СДНФ  выполняются все операции неполного склеивания конституент единицы.

2.  Происходит поглощение импликантами всех конституент единицы, которые участвуют в неполном склеивании.

3.  Совершаются операции неполного склеивания и поглощения импликант с меньшим числом переменных (согласно пунктам 1 и 2).

Эта процедура повторяется до тех пор, пока операции неполного склеивания остаются возможными.

Пример: Найти сокращенную ДНФ для функции .

Решение: Развернем СДНФ для F и пронумеруем конституенты F=.

  1 2       3      4 5      6

Затем выполняем операции неполного склеивания.

Номерa склеиваемых конституент

Результат

склеивания

Склеиваемая

переменная

1 –2

1 – 3

2 – 5

3 – 4

4 – 6

5 – 6

xy

yz

x

z

z

x

y

y

z

x

Дальнейшее склеивание невозможно и

Произведения   входят в начальную F, значит  - будут лишними.

Таким образом, сокращенная ДНФ это далеко не всегда минимальная ДНФ, т.к. хоть она и состоит из простых импликант, но среди них могут быть и лишние.

Дизъюнкция простых импликант, ни одна из которых не является лишней, называется тупиковой ДНФ логической функции.

Тупиковых функций в общем случае может быть несколько, и они могут иметь разное число букв.

Минимальной ДНФ называется тупиковая ДНФ, имеющая минимум букв.

Импликантная матрица используется для определения минимальной ДНФ. При её помощи находят наборы простых импликант, накрывающих все конституенты, а затем среди этих наборов находят такие, что имеют минимальное число букв. Такие наборы соединяют их знаками Ú.

Для рассмотренного ранее примера имеем:

Постоянные импликанты

Конституенты

xyz

xy

X

X

yz

X

X

X

X

X

X

X

X

X

X

Итак F имеет 2 тупиковые ДНФ с одинаковым числом букв (одна из них в таблице выделена подчеркиванием, другая – полужирным шрифтом):

Пример. Найти минимальную ДНФ для , которая равна 1 на 1, 3, 5, 7, 14 и 15 наборах.

Решение: Запишем номера наборов в двоичном коде:

0001 0011 0101 0111 1110 1111 

выпишем соответствующие им конституенты:

Выполним первое склеивание:

Выполним второе склеивание:

Составляем импликантную матрицу:

Импли-канты

Конституенты

X

X

X

X

X

X

X

X

Итак, существует одна тупиковая ДНФ

Конъюнктивные нормальные формы.

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

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