Гусева Дискретная математика для информатиков и економистов 2010
2.7. Формы представления логических функций
Для задания логических функций, кроме табличного способа, используют и задание их в виде формул алгебры логики (аналитическое представление). Нужно отметить, что одну и ту же функцию можно задать различными формулами алгебры логики. Среди различных формул для удобства представления выделяют различные формы:
•дизъюнктивную нормальную форму (ДНФ);
•конъюнктивную нормальную форму (КНФ).
Содержание
- Предисловие
- 1.2.Теория множеств
- 1.2.1. Основные понятия теории множеств
- 1.2.4. Свойства операций над множествами
- 1.3.4. Свойства бинарных отношений
- 1.3.7. Отношение толерантности
- 1.3.8. Операции над отношениями
- 2.1. Фундаментальные алгебры
- 2.2. Алгебра высказываний
- 2.6. Булевы функции
- 2.7. Формы представления логических функций
- 2.10. Построение логических схем
- Глава 3. Формальные теории
- 3.1. Основные свойства формальных теорий
- 3.1.1. Выводимость
- 4.1. Прямые доказательства
- 4.2.Косвенные доказательства
- Глава 5. Основы комбинаторики
- 5.4. Разбиения
- 5.7. Производящие функции
- Глава 6. Основы теории графов
- 6.1. Основные понятия
- 6.6. Устойчивость графов
- 6.6.1. Внутренняя устойчивость
- 6.7.3. Двудольное представление графов
- 6.10. Построение графов
- 6.10.1. Преобразование прилагательных в числительные
- 6.10.3. Оценка количества ребер сверху и снизу
- 7.1. Введение в теорию нечетких моделей
- 7.1.1. Принятие решений в условиях неопределенности
- 7.2. Нечеткие множества. Базовые определения
- 7.2.1. Базовые и нечеткие значения переменных
- 7.3.Операции над нечеткими множествами
- 7.3.5. Операции «равенство» и «разность»
- 7.7. Нечеткие числа
- 7.8.Приближенные рассуждения
- 7.8.1. Нечеткая лингвистическая логика
- 7.8.2. Композиционное правило вывода
- Список литературы