17544

Представлення перемикаючих функцій у канонічних формах

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

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

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

Украинкский

2013-07-04

86.5 KB

15 чел.

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

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

Мета: перевести довільну булеву функцію у канонічні форми: ДДНФ, ДНФ,ДКНФ, КНФ.

Варіант 13

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

Диз’юнкція конституент одиниці, рівних одиниці на тих наборах, що й дана функція, називається досконалою диз’юнктивною нормальною формою перемикаючої функції (ДДНФ).

Теорема. Будь-яка перемикаюча функція (окрім константи нуль) може бути представлена у досконалій диз’юнктивній нормальній формі.

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

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

2. записують під кожним добутком набір аргументів, на якому функція дорівнює одиниці, і над аргументами, які дорівнюють нулю, ставлять знаки інверсії. Це правило іноді називають правилом запису перемикаючої функції по одиницям. Кон’юнкція конституент нуля, які дорівнюють нулю на тих наборах, що й дана функція, називається досконалою кон’юнктивною нормальною формою (ДКНФ). Теорема. Будь-яка перемикаюча функція (окрім константи одиниці) може бути представлена у досконалій кон’юнктивній нормальній формі. Для того, щоб представити перемикаючу функцію n аргументів у досконалій кон’юнктивній нормальній формі достатньо:

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

2. виписати під кожним множником набір аргументів, на якому функція дорівнює нулю;над аргументами, які дорівнюють одиниці, поставити знаки інверсії.

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

1. Записати в ДНФ і КНФ наступний логічний вираз.

ДНФ: 

В даному випадку КНФ отримується перетворенням ДНФ за дистрибутивним законом:

КНФ: 

2. Записати в ДДНФ і ДКНФ наступну логічну функцію.

1-й спосіб

ДНФ:

ДДНФ: 

ДДНФ: 

ДКНФ: 

2-й спосіб

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

ДДНФ: 

ДКНФ: 

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

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

КСМ 10-1


 

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

50810. Исследование непериодических сигналов 419 KB
  Для задания формы сигнала используется функциональный источник напряжения NFV Component nlog Primitives Function Sources NFV. Задать в качестве сигнала одиночный прямоугольный импульс амплитудой 4 В и длительностью 2 NN мс. В разных графических окнах задать вывод следующих графиков: Зависимости заданного сигнала VE1 от времени t; Спектра исследуемого сигнала зависимости величины гармоник HRMVE1 от частоты f. Задать диапазон частот выводимых гармоник от 0 до 5NN кГц Найти спектр сигнала состоящего из четырех...
50813. ИЗМЕРЕНИЕ ПЕРЕМЕННОГО ЭЛЕКТРИЧЕСКОГО НАПРЯЖЕНИЯ 248.5 KB
  Получение навыков измерения переменного электрического напряжения; 1. Ознакомление с особенностями влияния формы и частоты измеряемого напряжения на показания средств измерений; 1. Приобретение представления о порядке работы с электроизмерительными приборами при измерении переменного напряжения.
50814. Программирование в Delphi. Разработка интерфейса 1.69 MB
  Цель: Получить первичные навыки работы в визуальной среде программирования Delphi. При этом становится активным окно редактора кода и Delphi автоматически создает ОБРАБОТЧИК СОБЫТИЯ процедуру выполняющуюся при нажатии кнопки В окне редактора кода ввести соответствующие команды Прежде всего необходимо научиться сохранять свои программы.
50816. Язык гипертекстовой разметки HTML 85.5 KB
  На самом деле содержимое контейнера mrquee не ограничивается строками и позволяет перемещать скролировать любые элементы вебстраницы изображения текст таблицы элементы форм и т. Таблицы Элемент tble служит контейнером для элементов определяющих содержимое таблицы. Параметры lign Определяет выравнивание таблицы. bgcolor Цвет фона таблицы.
50817. Определение теплоёмкости металлов методом охлаждения 154.5 KB
  Металлический образец, имеющий температуру более высокую, чем температура окружающей среды, в этой среде охлаждается. Кол-во теплоты q , теряемой образцом металла за единицу времени t может быть записано в виде...
50818. Каскадные листы стилей CSS 330.5 KB
  Значение 0 соответствует полной прозрачности элемента а 1 наоборот его непрозрачности.2 Oper 9 border позволяет одновременно установить толщину стиль и цвет рамки вокруг элемента.