borisenko_o_a_diskretna_matematika

Борисенко О.А.

Вихідну функцію приклада 3 можна мінімізувати й на основі ДДНФ, якщо для цього використати конституенти одиниці, які до неї належать. Очевидно, що їх буде п'ять.

Приклад 4. Знайти мінімальну ДНФ для функції/{А, В, С), яка надана в прикладі 3.

Розв'язання. Для цього подамо вихідну функцію приклада 3 в ДДНФ з допомогою конституент одиниці

я А, В, С) = АВС + АВС + АВС + АВС + АВС.

Мінімальну форму цісї функції знайдемо з допомогою табл. 2.33 і 2.34 у двох варіантах.

Таблиця 2.33. Об'єднання одиниць для приклада 4 (иерший варіант)

ВВ

А0 0 0

А0

сС с

Таблиця 2.34. Об'єднання0одиниць0для приклада 4 (другий варіант)

А В Ув 0

А

с с с

Цим таблицям відповідають дві мінімальні ДНФ функції

/(А, В, С) = АВ + АС + АВ і /(А, В, С) = АВ + ВС + АВ.

Звернемо при цьому увагу на те, що мінімальна КНФ, яка була отримана раніше, містить менше літер, ніж кожна з цих двох.

112

Дискретна математика

Іноді зручно поєднувати в одній таблиці Вейча мінімізацію в ДНФ і мінімізацію в КНФ, наприклад, на основі табл. 2.33. Тоді при мінімізації в КНФ нулі записуються до порожніх клітинок цієї таблиці. Результатом цих дій є табл. 2.35. Результат мінімізації отримаємо в кон'юктивній формі як добуток диз'юнкцій інверсних значень змінних, що покривають клітинки з нулями. Він виходить з

правила де Моргана, відповідно до якого А + В + С = АВС, А + В + С=АВС, А + В + С - АВС.

Таблиця 2.35. Об'єднана мінімізація за нулями та одиницями

Вв

А 1 1 1 0

А (° о) 1 1

сс с

Відповідно до результуючої мінімальної функції записуються інверсні значення змінних, що покривають нулі

/{А,В, С) = (А + В)(А + В + С).

Вона має такий самий вигляд, як і для табл. 2.32. Знайдіть самостійно відповідь на питання: "Чому?".

Спалити - не означає довести.

Д.Бруно

113

Борисенко О.А.

Лекція 20 МІНІМІЗАЦІЯ НЕ ПОВНІСТЮ ВИЗНАЧЕНИХ

ЛОГІЧНИХ ФУНКЦІЙ

Означення 1. Логічна функція / яка визначена на всіх наборах значень змінних, називається повністю визначеною.

Означення 2. Логічна функція /, яка визначена не на всіх наборах значень змінних, називається не повністю, або частково, визначеною.

Припустимо, що є не повністю визначена логічна функція/, яка не визначена на р < 2" наборах змінних г ь г2, ..., г„ . Тоді її можна доповнити 2Р способами до повністю визначеної логічної функції

<р = <р(гі,22, -,га).

Означення 3. Логічна функція ер = (р(г\, г2,..., г„), значення якої збігаються зі значеннями функції/ = / ( г \ , і2, ..., г„) на всіх наборах значень, на яких остання визначена, називається еквівалентною функції /

Серед всіх 2Р функцій <р, еквівалентних/, є, очевидно, одна або декілька таких, що містять мінімальну кількість літер. Розглянемо їх пошук на прикладі.

Приклад 1. Знайти мінімальну диз'юнктивну нормальну форму логічної функції

/ =/(А, В, С, О) = АВСЗ V АВСВ V АВСО.

При|цьому задано, що функція не визначена на 4 наборах: 1110, 1011, 001/1 і 0010. Цим наборам відповідають добутки змінних:

можуть приймати значення як 1, так і 0. У цих клітинках одиниці й нулі можуть бути розміщені 2 р = 24= 16 способами.

114

Дискретна математика

Таблиця 2.36, Неповністю визначена функція

ВВ

Виберемо такий розподіл одиниць і нулів, який мінімізує функцію/(див. табл. 2.37).

Таблиця 2.37. Доповнення функції одиницями

Доповнимо тепер порожні клітинки лише нулями (див. табл.

2.38)

115

Борисенко О.А.

Таблиця 2.38. Доповнення функції нулями

Вв

с

с

У

о

У результаті мінімальна кон'юнктивна нормальна форма функції / матиме такий вигляд:

/ = /(А, В, С,0) - СЕ>{А\/ В).

Як випливає з виїценаведеного, не повністю визначені функції дають можливість додатково зменшити кількість літер при мінімізації логічних функцій, а отже, дозволяють синтезувати більш економічні цифрові схеми. Тому синтез цифрових схем слід виконувати з урахуванням можливої їх невизначеності, що дозволить знаходити більш мінімальні схеми, ніж без такого урахування.

Фрази трі'ои і коронувати до розмірів думки.

Із заповіту Прокруста

116

Дискретна математика

КОНТРОЛЬНІ ЗАВДАННЯ І ПИТАННЯ ДО ЧАСТИНИ II

Питання для самоконтролю

1.Що вам відомо про алгебру логіки і обчислення висловлень?

2.Що таке істинне і хибне, просте і складне висловлення? Наведіть приклади.

3.Дайте характеристику основних логічних операцій: константа нуля, константа одиниці, операції "НІ", "І", "АБО".

4.Дайте характеристику логічних операцій: "імплікація", "заборона", "рівнозначність", "нерівнозначність". Наведіть приклади.

5.Дайте характеристику логічних операцій: Шеффера, Пірса, "змінна". Наведіть приклади.

6.Що вам відомо про логічний закон, логічне протиріччя й твердження, яке логічно виконується? Наведіть приклади.

7.Які є основні закони алгебри логіки? Наведіть приклади.

8.Дайте визначення набору логічної функції. Що таке таблиця істинності? Як визначити кількість наборів від п аргументів функції?

9.Дайте визначення логічної функції та її аргументів. Як визначити кількість функцій від п аргументів? Доведіть відповідну формулу.

10.Які існують логічні функції двох аргументів? Визначить їх кількість і дайте назву. Наведіть таблиці істинності.

11.Як здійснюються доведення логічних тверджень і законів за допомогою таблиць істинності? Наведіть приклади.

12.Наведіть приклади доведення за допомогою таблиць істинності правила де Моргана, "імплікації", "рівнозначності".

13.Наведіть і доведіть співвідношення між двома аргументами, один із яких приймає значення 1 або 0.

14.Наведіть і доведіть співвідношення між двома аргументами

х\,х2, коли Х\ = х2 = х і хі = х, а х2 = х.

15.Що вам відомо про булеву алгебру? Наведіть основні співвідношення в булевій алгебрі для операцій диз'юнкції та кон'юнкції.

16.Що таке спеціальні рівності булевої алгебри? Доведіть їх на прикладах.

17.Що вам відомо про диз'юнктивну нормальну форму (ДНФ)? Що таке елементарний добуток? Конституента одиниці? Наведіть основні теореми для конституенти одиниці та її наслідків.

18.Дайте визначення імпліканти і простої імпліканти. Наведіть приклади.

117

Борисе» ко О.А.

19.Що таке досконала диз'юнктивна нормальна форма (ДДНФ)? Який алгоритм одержання конституенти одиниці та ДДНФ? Наведіть приклади.

20.Дайте визначення скороченої ДНФ. Наведіть приклади.

21.Охарактеризуйте операції повного і неповного склеювання в ДНФ, операції поглинання й розгорнення. Наведіть приклади.

22.Сформулюйте теорему Квайна для ДДНФ. Доведіть її.

23.Що таке алгоритм мінімізації ДДНФ за Квайном? Наведіть

приклади.

24.Що таке імплікантні матриці і як з їх допомогою можна одержати мінімальну ДНФ? Наведіть приклади.

25.Дайте визначення тупикових і мінімальних ДНФ. Наведіть

приклади.

26.Дайте характеристику поняття про кон'юнктивну нормальну форму (КНФ). Що таке елементарна сума і конституента нуля? Наведіть основні теореми для КНФ.

27.Що таке досконала кон'юнктивна нормальна форма (ДКНФ)? Який існує алгоритм одержання конституенти нуля і ДКНФ? Наведіть приклади.

28.Дайте характеристику імпліценти і простої імпліценги. Наведіть приклади.

29.Дайте характеристику скороченої КНФ. Наведіть приклади.

30.У чому полягають операції повного і неповного склеювання

вКНФ, операції поглинання і розгорнення? Наведіть приклади.

31.Сформулюйте теорему Квайна для ДКНФ. Доведіть її.

32.Дайте алгоритм мінімізації ДКНФ за Квайном. Наведіть приклади.

33.Що таке імпліцентна матриця для одержання мінімальної КНФ? Наведіть приклади.

34.Що таке тупикові й мінімальні КНФ? Наведіть приклади.

35.Як одержати мінімальні КНФ за допомогою диз'юнктивних форм? Наведіть приклади.

36.Наведіть алгоритм мінімізації булевих функцій, поданих в ДДНФ за допомогою карт Вейча. Приклади.

37.Як проводиться мінімізації булевих функцій, поданих в ДКНФ за допомогою карг Вейча. Наведіть приклади.

38.Як виконується мінімізація неповністю означених булевих функцій? Наведіть приклади.

118

Дискретна математика

Контрольні завдання'

1. Для функції, яка наведена в колонці 1 таблиці варіантів 2.39, задані номери наборів, на яких вона дорівнює одиниці. Необхідно мінімізувати цю функцію двома методами - Квайна і таблиць Вейча. Мінімізацію провести в ДНФ і КНФ. Результати порівняти.

2.Мінімізувати в ДНФ і КНФ за допомогою таблиць Вейча не повністю означену функцію, наведену в колонці 2 таблиці варіантів 2.39, оптимально її доповнивши.

3.Провести необхідні логічні перетворення функції/ яка задана

вколонці 3 таблиці варіантів 2.39, і одержати ДДНФ і ДКНФ цієї функції. Провести її мінімізацію з допомогою таблиць Вейча.

'Контрольні завдання до частини 1 склала старший викладач кафедри електроніки і комп'ютерної техніки Сумського державного університету Протасова Т О.

119

Борисенко О.А.

120

Дискретна математика

121