Федеральное агенство по образованию РФ Саратовский государственный университет
имени Н.Г. Чернышевского
Кафедра геометрии
курсовая работа
Минимальные формы булевых многочленов
г. Саратов 2009 г.
содержание
Введение
Основные понятия булевой алгебры
1.1 Основные этапы развития булевой алгебры
1.2 Основные определения булевой алгебры
1.3 Минимальные формы булевых многочленов
II.Решение минимальных форм булевых многочленов с
помощью метода Куайна – Мак-Класки
Заключение
Список используемых источников.
ВВЕДЕНИЕ
Булевы алгебры – это решетки особого типа, которые применяются при исследовании логики (причем как логики человеческого мышления, так и цифровой компьютерной логики), а также переключательных схем. Это последнее приложение было инициировано К. Шенноном, показавшим, что фундаментальные свойства электрических сетей, состоящих из бистабильных элементов, могут быть выражены с помощью булевых алгебр. Наряду с шенноном пионерами в применении теории булевых алгебр для решения задач релейной техники в 1936-1938 гг. были русский математик В.И. Шестаков и японцы А.Накасима и М. Ханзава. Отметим также, что ещё в 1910 г. известный физик П. Эренфест в рецензии на русский перевод книги Л. Кутюра «Алгебра логики» указал на потенциальную применимость булевой логики к проектированию автоматических телефонных станций, сформулировав вопросы о реализуемости булевых функций и минимизации схем.
Целью данной курсовой работы является изучение булевой алгебры и применение минимальных форм булевых многочленов к решению задач.
Курсовая работа состоит из введения, трех глав, заключения и списка используемых источников.
Во введении описана актуальность темы, сформулирована цель, дана структура курсовой работы.
В первой главе даны основные определения и основные понятия булевой алгебры.
Во второй главе дается определение минимальных форм булевых многочленов и намечен курс дальнейшего исследования.
Третья глава посвящена применению минимальных форм булевых многочленов к решению задач.
В заключении сформулированы основные выводы к работе.
I. ОСНОВНЫЕ ПОНЯТИЯ БУЛЕВОЙ АЛГЕБРЫ
1.1 Основные этапы развития булевой алгебры.
В 1847 году Дж. Буль написал маленькую, но эпохальную книгу «математический анализ логики», в которой логика трактовалась как чисто формальная система; интерпретация в обычном языке пришла позже. Буль писал, что математика характеризуется своей формой, но не содержанием. В своей последующей книге «Исследование законов мышления» (1854) он ввел понятие булевой алгебры.
Булевское исчисление логики сосредоточено на формальной трактовке логики посредством математических (особенно алгебраических) методов и на описании логических тождеств. Следуя Булю, школа английских математиков, а также Шрёдер, Уайтхед разработали аксиоматику операций конъюнкции, дизъюнкции, отрицания; с другой стороны, Пирс и Шрёдер создали аксиоматику порядка, используя отношение включения в качестве фундаментального понятия. В 1904 году Хантингтон исследовал две системы аксиом и начал трактовать булевы алгебры как самостоятельные математические структуры, не обязательно связанные с логикой.
Буль использовал дистрибутивность пересечения относительно объединения, которую еще до него отметил Ламберт. ............