Введение
Глава 1. Основные определения и обозначения. Обзор предьщущих работ 7
1.1. Некоторые обозначения 7
1.2. Обзор методов синтеза ДНФ по перечню нулей 10
1.3. Обзор: нормальные формы А-значной логики 15
1.4. Задача распознавания образов 18
1.5. Задача распознавания с целочисленной (бинарной) информацией. Логические алгоритмы распознавания 20
1.6. Эффективная реализация логических алгоритмов распознавания 24
1.7. Основные результаты диссертации 27
Глава 2. Тестовый подход к задаче ДНФ-реализации 30
2.1. ДНФ построенная по матрице нулей 30
2.2. Оценка сложности ДНФ [D ] 33
2.3. Построение тупиковой ДНФ [Q*]F 37
2.4. Построение ДНФ булевой функции по перечню её нулей с помощью тестового подхода 41
2.5. Построение ДНФ характеристических функций классов. Равномерные ДНФ 44
2.6. Построение явных ДНФ-формул с помощью тестового подхода 47
2.7. ДНФ-реализация по матрице нулевых интервалов 49
Глава 3. Построение ДНФ последовательным умножением 54
3.1. Умножение ДНФ 54
3.2. Некоторые свойства тестовых ДНФ 60
3.3. Умножение на скобку совершенной КНФ 66
3.4. Реализация метода Нельсона на ЭВМ 67
3.5. Построение ДНФ по формуле СВ. Яблонского 70
Глава 4. ДНФ-реализация функций -звачвой логики. Кодировки 75
4.1. Тестовый подход для ДНФ-реализации квазибулевских функций 75
4.2. Определение кодировки. Соответствие конъюнкций 83
4.3. Возможность построения произвольной ДНФ с помощью кодировки. Построение сокращённых Н-ДНФ и Т-ДНФ 87
4.4. Построение А-ДНФ и квазисокращённой А-ДНФ с помощью кодировки 92
Глава 5. Тестирование алгоритмов распознавания 98
Список литературы 114
Приложение 119
