*
*


CAPTCHA Image   Reload Image
X

Минимизация переключательных функций в MAPLE

курсовые работы, Математика

Объем работы: 12 стр.

Год сдачи: 2008

Стоимость: 1050 руб.

Просмотров: 704

 

Не подходит работа?
Узнай цену на написание.

Оглавление
Введение
Литература
Заказать работу
1.Постановка задачи

2.Теоретическое описание метода минимизации

3.Краткое описание Maple

4.Краткий обзор пакета Logic

5.Подробное описание функций, используемых в данной работе

6.Минимизация переключательной функции средствами Maple

7.Вывод

8.Заключение

9.Список литературы

Теорема. Любая булева функция, не являющаяся константой 0 представима в виде сокращенной ДНФ.

Сокращенная ДНФ может содержать лишние импликанты, удаление которых не меняет таблицы истинности. Если из сокращенной ДНФ удалить все лишние импликанты, то получается ДНФ, называемая тупиковой.

Заметим, что представление функции в виде тупиковой ДНФ в общем случае неоднозначно.

Выбор из всех тупиковых форм формы с наименьшим числом вхождений переменных дает минимальную ДНФ (МНДФ).

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

Для получения минимальной ДНФ из сокращенной ДНФ используется матрица Квайна, которая строится следующим образом. В заголовках столбцов таблицы записываются конституенты единицы совершенной ДНФ, а в заголовках строк - простые импликанты из полученной сокращенной ДНФ. В таблице звездочками отмечаются те пересечения строк и столбцов, для которых конъюнкт, стоящий в заголовке строки, входит в конституенту единицы, являющейся заголовком столбца.

В тупиковую ДНФ выбирается минимальное число простых импликант, дизъюнкция которых сохраняет все конституенты единицы, т. е. каждый столбец матрицы Квайна содержит звездочку, стоящую на пересечении со строкой, соответствующей одной из выбранных импликант. В качестве минимальной ДНФ выбирается тупиковая, имеющая наименьшее число вхождений переменных.

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

1. Берман Г.Н. Сборник задач по курсу математического анализа: Учебное

пособие lдля вузов. -20-е изд. –М.: НАУКА. Главная редакция физико –

математической литературы, 1985. – 384 с.

2. Самоучитель по Maple: www.computerbooks.rubooksMathematicBook-Maple.

3. Справочные материалы математического пакета MAPLE 12.

После офорления заказа Вам будут доступны содержание, введение, список литературы*
*- если автор дал согласие и выложил это описание.

Работу высылаем в течении суток после поступления денег на счет
ФИО*


E-mail для получения работы *


Телефон


ICQ


Дополнительная информация, вопросы, комментарии:



CAPTCHA Image
Сусловиямиприбретения работы согласен.

 
Добавить страницу в закладки
Отправить ссылку другу