Введение
ГЛАВА 1. Конструктная технология программирования 7
1. Процедурное программирование в ДССП. Общая характеристика конструктной технологии 7
2. Описание ДССП 8
3. Конструкты и конструктная технология программирования 12
ГЛАВА 2. Конструктная реализация булевой алгебры 19
1. Общая характеристика компьютерной системы, реализующей булеву алгебру 19
2. Булева алгебра , 19
3. Совокупностная интерпретация булевой алгебры 25
4. Общая характеристика конструктов типа «булево выражение» 27
5. Конструкты ДК- и КД-шкала битных слов . 29
а) Кодирование булевых выражений конструктами ДК- и КД-шкала 29
б) Стек ДК- и КД-шкал 35
6. Конструкты К- и Д-шкала тритных слов и К/Д-цепь 38
7. Система манипулирования булевыми выражениями 46
ГЛАВА 3. Примеры использования конструктов типа «булево выражение» 49
1. Процедура выявления взаимосвязи, заданной булевым выражением 49
2. Выявление отношений между двумя выражениями 51
3. Решение булевых уравнений 55
а) Метод Буля-Порецкого 55
б) Уточнение метода Буля-Порецкого 57
в) Примеры применения уточненного метода 62
г) Компьютерная процедура решения систем булевых уравнений 65
д) Вычисление решения булева уравнения в виде рекурсивного определения искомого термина 67
4. Минимизация булевых выражений 68
Заключение 71
Литература
