
- •Дискретная математика
- •© Омский государственный технический университет, 2009
- •Содержание
- •1. Введение в теорию множеств
- •1.1. Основные понятия теории множеств
- •1.2. Способы задания множеств
- •1.3. Операции над множествами
- •1.4. Геометрическое моделирование множеств. Диаграммы Венна
- •1.5. Алгебра множеств. Основные тождества алгебры множеств
- •1.6. Двойственность в алгебре множеств
- •1.7. Количество элементов объединения множеств
- •1.8. Эквивалентность множеств
- •1.9. Счетные множества
- •1.10. Множества мощности континуума
- •2. Отношения. Функции
- •2.1. Отношения. Основные понятия и определения
- •2.2. Операции над отношениями
- •2.3. Свойства отношений
- •2.4. Отношения эквивалентности и разбиения на классы
- •2.5. Отношение порядка
- •2.6. Функции. Основные понятия и определения
- •2.7. Способы задания функций
- •3. Графы
- •3.1. Основные характеристики графов
- •3.2. Матричные способы задания графов
- •3.3. Основные свойства матриц смежности и инцидентности
- •3.4. Графы и отношения
- •3.5. Изоморфизм графов
- •3.6. Маршруты, циклы в неориентированном графе
- •3.7. Пути, контуры в ориентированном графе
- •3.8. Связность графа
- •3.9. Деревья. Основные определения
- •3.10. Минимальные остовные деревья нагруженных графов
- •3.11. Построение дерева кратчайших путей
- •4. Булевы функции
- •4.1. Определение булевой функции
- •4.2. Формулы логики булевых функций
- •4.3. Равносильные преобразования формул
- •4.4. Основные равносильности булевых формул
- •4.5. Двойственность. Принцип двойственности
- •4.6. Булева алгебра (алгебра логики). Полные системы булевых функций
- •4.7. Нормальные формы
- •4.8. Разложение булевой функции по переменным
- •4.9. Кубическое представление булевых функций
- •4.10. Графическое представление булевых функций.
- •4.11 Покрытия булевых функций
- •4.12. Минимизация формул булевых функций с помощью карт Карно
- •4.13. Применение алгебры булевых функций к переключательным схемам
- •Библиографический список
4.13. Применение алгебры булевых функций к переключательным схемам
Логическими элементами называются элементы, выполняющие логические операции И, ИЛИ, НЕ и комбинации этих операций. Указанные логические операции можно реализовать с помощью контактно-релейных схем и с помощью электронных схем. В настоящее время в подавляющем большинстве применяются электронные логические элементы, причем, электронные логические элементы входят в состав микросхем. Имея в распоряжении логические элементы И, ИЛИ, НЕ, можно сконструировать цифровое электронное устройство любой сложности. Электронная часть любого компьютера состоит из логических элементов.
Напомним, что система простых логических функций, на основе которой можно получить любую логическую функцию, называется функционально полной (базисом). Функционально полными являются следующие пять систем:
отрицание, конъюнкция и дизъюнкция;
отрицание, конъюнкция;
отрицание, дизъюнкция;
отрицание конъюнкции (штрих Шеффера);
отрицание дизъюнкции (стрелка Пирса).
Отсюда следует, что для построения логического устройства любой сложности достаточно иметь однотипные логические элементы, например, И-НЕ или ИЛИ-НЕ. Соответствующие условные обозначения логических элементов приведены в таблице на рисунке 4.7.
Система
булевых функций изначально, как правило,
задается таблицей истинности, то есть,
имеем комплекс существенных вершин
гиперкуба. Подвергая данный комплекс
минимизации, получаем минимальную
дизъюнктивную нормальную форму
.
Начальные этапы позволяют значительно
снизить сложность комбинационных схем,
т. е. уменьшить цену реализации. Построение
комбинационной схемы из окончательного
выражения реализуемой функции – процесс
достаточно тривиальный: по структуре
формулы строятся структуры комбинационной
схемы, логические элементы выбираются
в соответствии с логической операцией.
Рис. 4.7.
Для оценки сложности схем часто используется критерий Квайна
,
где
– число элементов i-го
типа, mi
– число входов элемента i-го
типа, k
– число типов логических элементов.
Пример
4.30. Построим
комбинационную схему для функции
из примера 4.26. Минимальная ДНФ имеет
вид
.
Соответствующая схема изображена на
рисунке 4.8.
Рис. 4.8.
Рассчитаем сложность нашей схемы по критерию Квайна. В схеме участвуют одновходовой логический элемент «НЕ» (l1=1, m1 =1), два двухвходовых логических элемента «И» (l2=2, m2 =2) и два двухвходовых элемента «ИЛИ» (l2=2, m2 =2). В результате получаем
,
т.е. сложность схемы равна 9.
Пример 4.31. Построим комбинационную схему для функции из примера 4.25, в котором было получено две минимальные ДНФ:
, (4.3)
(4.4)
На рисунке 4.9 изображена схема для минимальной ДНФ (4.3). В нее входят три элемента «НЕ» (l1=3, m1 =1), три элемента «И» (l2=3, m2 =2) и два элемента «ИЛИ» (l2=2, m2 =2). Сложность схемы равна 13.
Рис. 4.9.
На рисунке 4.10 схема ДНФ (4.4) и ее сложность тоже равна 13.
Рис. 4.10.
По критерию Квайна эти ДНФ являются равноценными.