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


 

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

23650. Поиск списка реакций химического синтеза 145.5 KB
  Список элементарных химических реакций типа a b  i можно выразить в виде фактовпредикатов: rxn i[ab]. В целях упрощения представим в виде исходных фактов только эти необходимые реакции: rxn w [j r]. rxn j [c d]. rxn r [k l].
23651. Поиск пути в порождаемом пространстве состояний (на примере игры «восьмёрка») 97.5 KB
  1й список исходное состояние 2й список состояние после одноходовой допустимой перестановки. попадания в пройденные вершины графа необходимо вести список пройденных состояний. Здесь Yсписок характеризующий начальное состояние; Xs список характеризующий заданное конечное состояние. Третий аргумент предиката trans1 список пройденных состояний список списков.
23652. Экспертная система по составлению учебных расписаний 59 KB
  При составлении расписаний лучше исходить не из заданной цели к тому же трудно сформулировать какое расписание лучше а из возможностей комбинирования учебных дисциплин. Далее можно попытаться оценить относительную ценность полученных расписаний их уже будет не так много с точки зрения быстрейшего и полного освоения дисциплин специализации в необходимой пропорции с факультативными и общеобразовательными курсами. Представим что студенту желающему специализироваться в конкретной области предоставлена возможность самостоятельного...
23653. Логическое программирование задачи поиска пути на конечных графах пространства состояний 680 KB
  Рассмотрим ориентированный ациклический граф: Наличие ориентированной связи двух соседних вершин отображается в программе в виде фактовпредикатов edgex y. edgeac. edgecf. edgefh.
23654. Разработка графического интерфейса и базы данных каскадной системы регулирования температуры, расхода и концентрации в процессе ректификации стирола 3.53 MB
  Листинг программы unit Unit1; interface uses Windows Messages SysUtils Variants Classes Graphics Controls Forms Dialogs Grids ComCtrls ExtCtrls DBCtrls DBGrids StdCtrls Buttons DB DBTables ImgList ToolWin Mask TeEngine Series TeeProcs Chart DbChart Animate GIFCtrl; type TForm1 = classTForm PageControl1: TPageControl; TabSheet1: TTabSheet; TabSheet3: TTabSheet; PageControl2: TPageControl; TabSheet5: TTabSheet; DBNavigator1: TDBNavigator; DBGrid1: TDBGrid; BitBtn1: TBitBtn;...
23655. Управление качеством электронных средств 423 KB
  Непрерывной случайной величиной СВ называется величина которая при испытании может принять любое значение из заданного диапазона. Любое распределение характеризуется определенными характеристиками важнейшими из которых являются среднее значение и дисперсия. Несмещенной является оценка среднее значение которой совпадает со средним значением генерал ной совокупности. Здесь оценка истинное значение характеристики оператор усреднения.
23656. Семантические сети 170 KB
  Семантические сети Семантической сетью является структура данных имеющая определенный смысл как сеть. Стандартного определения семантической сети не существует но обычно под ней подразумевают следующее: Семантическая сеть это система знаний имеющая определенный смысл в виде целостного образа сети узлы которой соответствуют понятиям и объектам а дуги отношениям между объектами. Следовательно всевозможные сети можно рассматривать как сети входящие в состав семантической сети. Поэтому в контексте знакомства с СОЗ семантические сети...
23657. Продукционные модели. ЕСЛИ - ТО (явление - реакция) 166 KB
  Эти две отличительные черты и определили широкое распространение методов представления знаний правилами. Программные средства оперирующие со знаниями представленными правилами получили название продукционных систем или систем продукции и впервые были предложены Постом в 1941 году. Общим для систем продукции является то что они состоят из трех элементов: Набор правил используемых как БЗ его еще называют базой правил; Рабочая память где хранятся предпосылки касающиеся отдельных задач а также результаты выводов получаемых на основе...