Решение систем булевых уравнений.

2.1. Постановка задачи и разработка алгоритма ее решения.
Требуется создать алгоритм для решения заданной системы булевых уравнений.
Создать приложение в среде Visual Basic 6.0, которое должно отобразить на экранной форме заданную систему булевых уравнений; предоставляя пользователю самому задавать значение каждой функции, находить все ее решения.
В основу алгоритма положим 2-й способ решения булевых уравнений.
Зададим систему уравнений, например, таким способом:

Значения каждой функции задает пользователь. Тогда блок-схема алгоритма решения поставленной задачи будет выглядеть так, как на рисунке 1.

Содержание

Введение 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

1. В.Н. Нефедов, В.А. Осипова «Курс дискретной математики»
2. А.В. Логинов «Введение в дискретную математику»
3. Наиболее полное руководство для профессиональной работы в среде Visual Basic 6.0.