Введение 3
1. Основные теоретические положения 3
1.1. Элементы математической логики 3
1.2. Формулы алгебры логики. Равносильность формул. 4
1.2. Основные равносильности. 5
1.2.1.Тождественно-истинные формулы 6
1.2.2.Нормальные формы. 6
1.3. Системы булевых уравнений. 7
2. Описание рабочего проекта. 8
2.1. Постановка задачи и разработка алгоритма ее решения. 8
2.2. Реализация алгоритма в среде Visual Basic. 9
2.3.Руководство пользователя. 12
Заключение 14
Литература 15
Приложение 16
Введение
Целью настоящей курсовой работы является закрепление основных теоретических положений булевой алгебры и приобретение навыков практического решения задач с булевыми функциями, создание алгоритма для решения системы булевых уравнений, а также создание приложения в среде Visual Basic 6.0, реализующего данный алгоритм.
В начале приведены основные положения и определения математической логики и булевой алгебры. Приведены также основные законы (равносильности) булевой алгебры, которые используются для эквивалентных алгебраических преобразований при записи логической функции на языке программирования.
Далее описывается способ решения поставленной задачи, приводится блок-схема алгоритма, описание разработанной программы и руководство пользователя.
Приложение к курсовой работе приведено в конце и содержит полный программный код алгоритма.
Литература
1. В.Н. Нефедов, В.А. Осипова «Курс дискретной математики»
2. А.В. Логинов «Введение в дискретную математику»
3. Наиболее полное руководство для профессиональной работы в среде Visual Basic 6.0.