Дипломная работа

от 20 дней
от 9999 рублей

Курсовая работа

от 10 дней
от 1999 рублей

Реферат

от 3 дней
от 699 рублей

Контрольная работа

от 3 дней
от 99 рублей
за задачу

Диссертация

Сроки и стоимость индивидуальные

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

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

  • Тема: Минимизация переключательных функций в MAPLE
  • Автор: Андрей
  • Тип работы: Курсовая
  • Предмет: Прикладная математика
  • Страниц: 12
  • Год сдачи: 2008
  • ВУЗ, город: УрГУ
  • Цена(руб.): 1500 рублей

Заказать персональную работу

Выдержка

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

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

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

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

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

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

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

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

Содержание

Содержание

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

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

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

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

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

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

7.Вывод

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

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

Литература

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

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

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

2. Самоучитель по Maple: www.computerbooks.ru\books\Mathematic\Book-Maple.

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

Форма заказа

Напрмер, Экономика

Похожие работы

Название Цена
Решение задач линейного программирования. 1150

© 2010-2017, Все права защищены. Принимаем заказы по всей России.