17545

Скорочені нормальні форми. Мінімізація булевих функцій задопомогою імплікатних матриць

Лабораторная работа

Математика и математический анализ

Лабораторна робота №5 Тема: скорочені нормальні форми. Мінімізація булевих функцій задопомогою імплікатних матриць. Мета: виконати мінімізацію перемикаючих функцій методом імплікантних матриць. Варіант 13 Теоретичні відомості: Мінімальні форми представленн

Украинкский

2013-07-04

276.5 KB

17 чел.

Лабораторна робота №5

Тема:  скорочені нормальні форми. Мінімізація булевих функцій задопомогою імплікатних матриць.

Мета: виконати мінімізацію перемикаючих функцій методом імплікантних матриць.

Варіант 13

Теоретичні відомості:

Мінімальні форми представлення перемикаючої функції можуть бути знайдені аналітичними методами або за допомогою мінімізуючих карт. Аналітично мінімальні диз’юнктивні (кон’юнктивні) нормальні форми зазвичай отримують у такій послідовності:

1. знаходять скорочену диз’юнктивну (кон’юнктивну) нормальну форму;

2. знаходять всі можливі тупикові диз’юнктивну (кон’юнктивну) нормальні форми;

3. із отриманих тупикових форм вибирають мінімальні диз’юнктивну (кон’юнктивну) нормальні форми.

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

Диз’юнкція усіх простих імплікант називається скороченою диз’юнктивною

нормальною формою перемикаючої функції.

Диз’юнкція простих імплікант, жодну з яких не можна виключити, називається тупиковою диз’юнктивною нормальною формою перемикаючої функції.

– на цих наборах функція дорівнює 1.

– на цих наборах функція дорівнює 0.

– не повністю визначена функція (на цих наборах функція

може дорівнювати як 1, так і 0).

Завдання до лабораторної роботи

  1.  Визначити методом скорочення мінімальні форми логічної функції ДНФ: 

Таблиця 6.1 – Таблиця істинності заданої перемикаючої функції

Знаходимо мінімальну ДНФ для даної функції:

ДДНФ:

1-2:

2-4:

3-4:

Таблиця 6.2 –Імплікантна матриця

(+)

(+)

+

+

(+)

(+)

Мінімальна ДНФ:

Знаходимо мінімальну КНФ для даної функції:

1-2:

1-3: 

1-5: 

3-4: 

5-6: 

Таблиця 6.3 –Імплікантна матриця

(+)

(+)

+

+

+

+

(+)

(+)

(+)

(+)

Мінімальна ДНФ:

Знайдемо мінімальну КНФ:

Мінімальна КНФ: 

  1.  Визначити методом скорочення мінімальні форми логічної функції

Таблиця 6.4 – Таблиця істинності заданої перемикаючої функції

Знаходимо мінімальну ДНФ для даної функції:

ДДНФ: 

2-3:

2-4: 

3-6:

4-5:

 

Таблиця 6.5 –Імплікантна матриця

(+)

(+)

+

+

+

+

(+)

(+)

Мінімальна ДНФ:

Знаходимо мінімальну КНФ для даної функції:

1-3:

2-5:

3-4:

4-5:

5-6:

+

+

+

+

(+)

(+)

+

+

(+)

(+)

Мінімальна ДНФ:

Знайдемо мінімальну КНФ:  Мінімальна КНФ:

Висновок: в даній лабораторній роботі я виконав мінімізацію перемикаючих функцій методом імплікантних матриць.

шковський І.А.

КСМ 10-1


 

А также другие работы, которые могут Вас заинтересовать

72636. ПОДПРОГРАММЫ-ФУНКЦИИ 13.95 KB
  С использованием функции RRMX непосредственно возвращающей значение максимального элемента массива и с помощью функции NUMX возвращающей номер максимального элемента массива. Так в приведенном ниже примере имя функции NUMX типизировано как целое по умолчанию а для функции RRMX необходима явная типизация.
72637. DATA 16.89 KB
  В тех случаях, когда переменные нужно присваивать в начале программы какие-либо значения , которые не должны меняться от одного прогона программы к другому, вместо операторов присваивания можно с большей эффективностью воспользоваться оператором DATA.
72638. Оператор PARAMETER 13.2 KB
  С помощью этого оператора можно любой константе дать символьное имя. Этот неисполняемыми оператор должен находиться перед исполняемыми операторами программы. Часто в разных местах программы употребляются длинные константы, такие как 3.14159265.
72640. ОПЕРАТОРЫ ЦИКЛА 20.64 KB
  Операторы цикла предназначены для многократного выполнения некоторых операторов. Эти операторы называются телом цикла. Различаются операторы цикла с предусловием и с постусловием. Блок-схемы операторов цикла показана на рисунке 1.2.
72641. Структурный IF 21.71 KB
  Сначала вычисляется условие e, а затем в зависимости от его истинности выполняется на выбор один из двух блоков, а после этого - следующий оператор. Один оператор if можно вкладывать в другой оператор IF. Один из таких случаев вложения, а именно if в блок НЕТ другого IF допускает...
72642. ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ 14.43 KB
  Логическими данными могут быть не только переменные и константы логического типа. Данные или выражения любого встроенного типа связанные операцией логического отношения образуют конструкцию логического типа. Такие конструкции могут входить в логические выражения наравне с логическими переменными и константами.
72643. Условные операторы 23.83 KB
  Условные операторы позволяют выбирать одно из нескольких возможных продолжений процесса программы. Имеется несколько форм условных операторов, из которых самым мощным и простым является структурный оператор IF.
72644. Последовательность выполнения операторов в программной единице 12 KB
  Главная программа является ведущей программной единицей, и обработка всей программы всегда начинается с первого исполняемого оператора главной программы. Обычно главную программу располагают в начале всей программы, т.к. этого требуют некоторые компиляторы; за главной программой следуют подпрограммы.