Синтез и минимизация логических формул для булевых функций
Содержание
СОДЕРЖАНИЕ
Введение 4
1 Ликбез предметной области 6
2 Способы решения задачи 8
2. 1 Игра в карты Карно 9
2. 2 Способ Куайна 12
2. 3 Способ сочетаний 13
3 Техно реализация 15
3. 1 Скелетный уровень 15
3. 2 Многофункциональный уровень 16
3. 3 Базисный уровень 17
ЗАКЛЮЧЕНИЕ 19
Перечень литературы 20
Выдержка
ВВЕДЕНИЕ
Одним из значимых достижений науки и техники середины двадцатого века появилось творение и обширное внедрение электрических цифровых машин с программным управлением. Разумное конструиро¬вание, либо синтез схем для таковых машин является принципиальной задачей экспертов и инженеров.
Булевы функции являются главным установкой для построения таковых математических моделей. Концепция булевых функций обретает использование не лишь в логических системах и при синтезе разного рода схем, однако и в диагностике и контроле схем, в теории кодировки, в теории окончательных автоматов, в теории игр, в языках программирования и даже для математического моделирования естественных действий.
Устройства компа строятся на базе логических частей. Вещество памяти может находиться в 2-ух устойчивых состояниях. Одно из данных состояний разрешено означить «0», а 2-ое – «1». Таковым образом, разрешено полагать, что таковой вещество представляет собой логическую переменную. Логические операции еще реализуются с поддержкой логических частей.
В практической деловитости приходится улаживать 2 вида задач:
? анализ логических схем;
? синтез логических схем [1].
При разборе логических схем нужно найти, какое смысл станет на выходе схемы при определенных входных значениях.
При синтезе схем нужно выстроить схему, реализующую ту либо другую логическую функцию. Поначалу функцию разрешено адаптировать с поддержкой законов алгебры логики. Потом нужно найти распорядок действий и любое действие доставить в облике соответственного логического вещества.
Задачка синтеза логических схем(формул)в общем случае не представляет проблем. Наиболее трудозатратной задачей является минимизация приобретенной логической формулы. Есть очень много алгоритмов минимизации логических формул, в предоставленной работе мы осмотрим 3 из их и остановимся на одном, который и станет реализован.
Литература
СПИСОК ЛИТЕРАТУРЫ
1)А. В. Ровный. Математическая логика. М. : РГГУ, 1998, 480 с.
2)И. П. Норенков. Базы автоматизированного проектирования: учеб. для вузов. M. : Издательство МГТУ им. Н. Э. Баумана, 2000, 360 с.
3)В. В. Фаронов. Delphi. Программирование на языке высочайшего уровня: Учебник для вузов. Спб. : Питер, 2003, 640 с.
4)“Избранные вопросцы булевых функций” Под редакцией С. Ф. Винокурова и Н. А. Перязева, М. : ФИЗМАТЛИТ 2001.
5)Игра в карты Карно. Википедия – вольная энциклопедия [Электрический ресурс]. – [2010]. – Режим доступа: http://ru. wikipedia. org/wiki/Диаграмма _Карно
6)Т. Н. Кравченко. Логические базы ЭВМ. Главные логические составляющие. [Электрический ресурс]. – [2010]. – Режим доступа: http://kravchenko-t-n. narod. ru/inf_1_kurs/bilet9. htm
7)Учебное Вспомоществование"Схемотехника. Исследование и конструирование на компе. " [Электрический ресурс]. – [2010]. – Режим доступа: http://sheme. edu. knu. kg/contents/ch3. htm
ВВЕДЕНИЕ
Одним из значительных достижений науки и техники середины двадцатого столетия явилось создание и широкое использование электронных цифровых машин с пр