Методические указания к лабораторной работе 7 для студентов по специальности 1-53 01 02 «Автоматизированные системы обработки информации»


Скачать 280.05 Kb.
НазваниеМетодические указания к лабораторной работе 7 для студентов по специальности 1-53 01 02 «Автоматизированные системы обработки информации»
страница1/2
Дата публикации31.07.2013
Размер280.05 Kb.
ТипМетодические указания
referatdb.ru > Информатика > Методические указания
  1   2
ГОСУДАРСТВЕННОЕ УЧРЕЖДЕНИЕ

ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ

«БЕЛОРУССКО-РОССИЙСКИЙ УНИВЕРСИТЕТ»

Кафедра "Автоматизированные системы управления"

МАТЕМАТИЧЕСКИЕ МОДЕЛИ ИНФОРМАЦИОННЫХ ПРОЦЕССОВ И УПРАВЛЕНИЯ

Методические указания

к лабораторной работе 7 для студентов по специальности 1-53 01 02

« Автоматизированные системы обработки информации»

Могилев 2011

УДК 621.01

ББК 36.4

И87
Рекомендовано к опубликованию

учебно-методическим управлением

ГУВПО «Белорусско-Российский университет»
Одобрено кафедрой «Автоматизированные системы управления»

«11» мая 2010 г. протокол №8

Составитель канд. техн. наук, доц. А.И. Якимов
Рецензент канд. техн. наук, доц. Г.С. Леневский
Изложены последовательность выполнения и варианты заданий для лабораторной работы по нечеткой логике.

Учебное издание

^ МАТЕМАТИЧЕСКИЕ МОДЕЛИ ИНФОРМАЦИОННЫХ ПРОЦЕССОВ И УПРАВЛЕНИЯ


Ответственный за выпуск

С.К. Крутолевич

Технический редактор

А.Т. Червинская

Компьютерная верстка

Н.П. Полевничая


Подписано в печать . Формат 60х84/16. Бумага офсетная. Гарнитура Таймс.

Печать трафаретная. Усл.печ.л. . Уч.-изд.л. . Тираж 65 экз. Заказ №
Издатель и полиграфическое исполнение

Государственное учреждение высшего профессионального образования

«Белорусско-Российский университет»

ЛИ № 02330/375 от 29.06.2004 г.

212030, г. Могилев, пр. Мира, 43





© ГУВПО «Белорусско-Российский университет», 2010

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

Булевы функции. Многочлены Жегалкина.
^ Цель работы: Изучить свойства булевых функций, методы построения ДНФ, КНФ, СДНФ, СКНФ, алгоритмы построения многочлена Жегалкина булевой функции.
Порядок выполнения работы.

  1. Изучить теоретические сведения.

  2. Получить задание у преподавателя.

  3. Исследовать методы построения ДНФ, КНФ, СДНФ, СКНФ, алгоритмы построения многочлена Жегалкина булевой функции.

  4. Сделать выводы по результатам исследований.

  5. Оформить отчет.


Требования к отчету.

  1. Цель работы.

  2. Постановка задачи.

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

  4. Выводы.


Теоретические сведения


  1. Свойстваэлементарныхбулевыхфункций


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

2.Функции: конъюнкция, дизъюнкция, сумма по модулю два обладают свойством ассоциативности и свойством дистрибутивности.

3. Закон де Моргана:

4. Закон двойного отрицания:

5. Выражение дизъюнкции через конъюнкцию и суммы по модулю два:



6.Выражение дизъюнкции через импликацию:

7.Выражение отрицания через штрих Шеффера, стрелку Пирса, сумму по модулю два и эквивалентность :

8. Выражение конъюнкции через штрих Шеффера :

9. Выражение дизъюнкции через стрелку Пирса :

10. Закон поглощения :

11. Закон склеивания :

12. Для функций: конъюнкция, дизъюнкция и сумма по модулю два справедливы следующие тождества :









13. Для функций конъюнкции и дизъюнкции справедливы тождества :



Для доказательства справедливости любых из приведенных тождеств нужно составить таблицы истинности для булевых функций.

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


  1. ^ Дизъюнктивные и конъюнктивные нормальные формы алгебры высказываний

Конъюнктивным одночленом от переменных х1, х2, ..., хп называется конъюнкция этих переменных или их отрицаний.

Дизъюнктивным одночленом от переменных х1, х2, ..., хп называется дизъюнкция этих переменных или их отрицаний.

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

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

Для каждой формулы алгебры высказываний можно найти множество дизъюнктивных и конъюнктивных нормальных форм
^ Алгоритм построения

(1) Избавиться от всех логических операций, содержащихся в формуле, заменив их основными: конъюнкцией, дизъюнкцией, отрицанием. Это можно сделать, используя равносильные формулы:



(2) Заменить знак отрицания, относящийся к выражениям типа или, знаками отрицания, относящимися к отдельным переменным высказываниям на основании формул :

  1. Избавиться от знаков двойного отрицания.

  2. Применить, если нужно, к операциям конъюнкция и дизъюнкции свойства дистрибутивности и формулы поглощения.




  1. Совершенная дизъюнктивная и совершенная конъюнктивная нормальные формы

Любая булева функция может иметь много представлений в виде ДНФ и КНФ. Особое место среди этих представлений занимают совершенные ДНФ (СДНФ) и совершенные КНФ (СКНФ).

Совершенная дизъюнктивная нормальная форма (СДНФ) – это ДНФ, в которой в каждый конъюнктивный одночлен каждая переменная хiиз набора f(х1, х2, ..., хп)входит ровно один раз, причем входит либо сама хiлибо ее отрицание .

Конструктивно СДНФ для каждой формулы алгебры высказываний, приведенной к ДНФ, можно определить так:

Совершенной дизъюнктивной нормальной формой (СДНФ) формулы алгебры высказываний называется ее ДНФ, обладающая следующими свойствами:

  1. ДНФ не содержит двух одинаковых конъюнкций.

  2. Ни одна конъюнкция не содержит одновременно двух одинаковых переменных.

  3. Ни одна конъюнкция не содержит одновременно некоторую переменную и ее отрицание.

  4. Каждая конъюнкция содержит либо переменную хiлибо ее отрицание для всех переменных, входящих в формулу.

Конструктивно СКНФ для каждой формулы алгебры высказываний, приведенной к КНФ, можно определить так:

Совершенной конъюнктивной нормальной формой (СКНФ) данной формулы алгебры высказываний называется такая ее КНФ, которая удовлетворяет следующим свойствам:

  1. КНФ не содержит двух одинаковых дизъюнкций.

  2. Ни одна из дизъюнкций не содержит одновременно двух одинаковых переменных.

  3. Ни одна из дизъюнкций не содержит одновременно некоторую переменную и ее отрицание.

  4. Каждая дизъюнкция СКНФ содержит либо переменную хiлибо ее отрицание для всех переменных, входящих в формулу.


^ Сформулируем следующие теоремы:

Теорема 1: Произвольную булеву функциюМожно задать формулой где дизъюнкция берется по всем где и



Теорема 2: Произвольную булеву функциюможно задать формулой где конъюнкция берется по всем где и



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

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

Приведенные формулы позволяют сформулировать следующие утверждения:

  1. Каждая булева функция от nпеременных, отличная от константы 0, имеет единственную СДНФ.

  2. Каждая булева функция от ппеременных, отличная от константы 1, имеет единственную СКНФ.

Эти утверждения называются теоремой о функциональной полноте.

  1. МногочленыЖегалкина


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

Многочленом Жегалкина называется многочлен, являющийся суммой константы и различных одночленов, в которые каждая из переменных входит не выше, чем в первой степени.

Многочлен Жегалкина константы равен самой же константе; многочлен Жегалкина булевой функции одной переменной многочлен Жегалкина булевой функции двух переменных



Многочлен Жегалкина булевой функции трех переменных




и т. д. Коэффициенты и свободный член принимают значения 0 или 1 , а число слагаемых в формуле равно , где n- число переменных. Знак - сумма Жегалкина или сумма по модулю два.

Теорема 3(Жегалкина): Каждая булева функция может быть представлена в виде многочлена Жегалкина и притом единственным образом, с точностью до порядка слагаемых.

Сформулируем алгоритм построения многочлена Жегалкина. Выше былоуказано, что любую функцию, отличную от константы 0, можно представить в виде СДНФ. Если сравним таблицы истинности дизъюнкции и суммы по модулю два, видим, что они отличаются только последней строкой, т.е. на наборе 11. Так как в СДНФ на каждом наборе только одна конъюнкция равна 1, то все дизъюнкции можно заменить суммами по модулю два. Кроме того, известно, что . На этом и основан первый алгоритм построения многочлена Жегалкина:

  1. Находим множество тех двоичных наборов, на которых функция принимает значение 1.

  2. Составляем СДНФ.

  3. В СДНФ каждый знак дизъюнкции меняем на знак суммы Жегалкина.

  4. Упрощаем, если можно, полученное выражение, используя тождество .

  5. В полученной формуле каждое отрицание заменяем на

  6. Раскрываем скобки в полученной формуле, содержащей только функции и и константу 1.

  7. Приводим подобные члены, используя тождество

Используя метод неопределенных коэффициентов, получаем второй алгоритм определения многочлена Жегалкина:

  1. Составляем систему линейных уравнений относительно неизвестных коэффициентов, содержащих уравнений, решением которой является коэффициенты многочлена Жегалкина.

Многочлен Жегалкина называется нелинейным, если он содержит конъюнкции переменных, а если он не содержит конъюнкции переменных, то он называется линейным.

Функция называется линейной, если ее многочлен Жегалкина имеет вид , и нелинейной в противном случае.

Из определения многочлена Жегалкина следует, что для любой булевой функции коэффициенты при переменных и свободный член вычисляются по формулам:











На этом основан алгоритм определения линейности(или нелинейности) булевой функции.

  1. По таблицам истинности булевой функциии выше указанным формулам находим коэффициенты: ().

  2. Выписываем многочлен и проверяем, задает ли он эту функцию. Для этого строим таблицу истинности многочлена и сравниваем ее с таблицей истинности функции .

Если таблицы истинности совпадают, то функция линейная и – ее многочлен Жегалкина. В противном случае функция нелинейная.
  1   2

Похожие рефераты:

Методические указания к лабораторной работе 14 для студентов по специальности...
Изложены последовательность выполнения и варианты заданий для лабораторной работы по нечеткой логике
Методические указания к лабораторной работе 10 для студентов по специальности...
Изложены последовательность выполнения и варианты заданий для лабораторной работы по нечеткой логике
Методические указания к лабораторной работе 12 для студентов по специальности...
Изложены последовательность выполнения и варианты заданий для лабораторной работы по нечеткой логике
Методические указания к лабораторной работе 8 для студентов по специальности...
Изложены последовательность выполнения и варианты заданий для лабораторной работы по нечеткой логике
Методические указания к лабораторной работе 1 для студентов по специальности...
Изложены последовательность выполнения и варианты заданий для лабораторной работы по нечеткой логике
Методические указания и задания контрольной работе №1 для студентов...
Компьютерные информационные технологии. Методические указания и задания к контрольной работе для студентов заочной формы обучения...
Методические указания по выполнению курсового проекта для студентов...
Методические указания по выполнению курсового проекта для студентов специальности 1-53 01 02 «Автоматизированные системы обработки...
Методические указания к самостоятельной работе студентов специальности...
Изложены последовательность выполнения и варианты заданий для самостоятельной работы по дисциплине «Математические модели информационных...
Методические указания к лабораторным работам для студентов специальности...
В методических указаниях изложены этапы проектирования систем обработки информации с использованием case-средств. Предназначены для...
Методические указания по выполнению лабораторных и контрольных работ...
Содержат задания к контрольной работе, методические указания по выполнению контрольной и лабораторных работ

Вы можете разместить ссылку на наш сайт:
Школьные материалы


При копировании материала укажите ссылку © 2013
контакты
referatdb.ru
referatdb.ru
Рефераты ДатаБаза