- •1. Элементы булевой алгебры
- •2. Разнообразие булевых функций
- •3. Нормальные формы булевых функций
- •4. Числовая и символическая формы представления булевых функций
- •5. Преобразование произвольной аналитической формы булевой функции в нормальную
- •6. Приведение произвольных нормальных форм булевой функции к каноническим
- •7. Разнообразие двоичных алгебр
- •8. Задача минимизации булевых функций
- •9. Кубическое представление булевых функций
- •10. Геометрическая интерпретация кубов малой размерности. Графическое представление булевых функций
- •11. Покрытия булевых функций
- •12. Минимизация булевых функций на картах Карно
- •13. Импликанты булевой функции. Системы импликант
- •14. Метод Квайна - Мак - Класки
- •14.1. Нахождение множества максимальных кубов (простых импликант) булевой функци
- •14.2. Определение ядра покрыти
- •14.3. Определение множества минимальных покрытий
- •15. Функциональная полнота системы булевых функций
- •15.1. Теорема о функциональной полноте (теорема Поста)
- •15.2. Другая формулировка теоремы Поста
- •15.3. Замечательные классы булевых функций
- •15.4. Конструктивный подход к доказательству функциональной
7. Разнообразие двоичных алгебр
В связи с тем, что любую сколь угодно сложную булеву функцию можно представить в канонических формах, то есть записать ее с помощью операций отрицания, конъюнкции и дизъюнкции эта система булевых операций обладает свойством функциональной полноты, т.е. образует так называемый базис. Естественно предположить, что система булевых операций является не единственной, с помощью которой можно образовать некоторый базис.
В принципе любую из базовых функций можно отождествить с соответствующей операцией и на основе совокупности этих операций построить двоичные алгебры, отличные от булевой. К наиболее распространенным двоичным алгебрам относятся: алгебра Жегалкина (, &); алгебра Вебба (Пирса) (); алгебра Шеффера ( | ). В каждой из этих алгебр действуют собственные законы. Естественно существуют взаимно однозначные переходы от операций одного базиса к операциям другого.
8. Задача минимизации булевых функций
Выражения булевых функций являются математическими моделями, на основании которых строятся комбинационные схемы. Проектируемые схемы должны быть оптимальными в смысле минимума используемого оборудования при выполнении ограничений на быстродействие схемы, которое определяется временем распространения сигналов от входов схемы к ее выходам. Количество оборудования, используемого в схеме, принято характеризовать ценой схемы. Если в схеме используются элементы k типов с ценами s1, s2, ..., sk, и в количестве п1, п2,…, пk, то цена схемы определяется суммарной ценой элементов:
В настоящее время отсутствует методика проектирования логических схем, оптимальных в смысле минимума цены S. В связи с этим используются методы проектирования, основанные на ряде допущений, которые позволяют синтезировать схемы, близкие к оптимальным.
Канонический метод проектирования комбинационных схем, обеспечивающий решение задачи синтеза для широкого класса схем, состоит в следующем. Закон функционирования проектируемой схемы, в общем случае, задается системой булевых функций, в частном слчае, одной булевой функцией. Аналитические выражения булевых функций путем эквивалентного преобразования приводятся к виду, позволяющему строить экономичные схемы.
Обычно задача упрощения булевых функций решается в два этапа. На первом этапе упрощается ДНФ или КНФ функций путем решения задачи минимизации. Нормальные формы, получаемые при этом, называются минимальными. На втором этапе производится дальнейшее упрощение минимальных нормальных форм функций, путем преобразования их в скобочные формы (задача факторизации булевых функций). Окончательная форма функций используется для построения проектируемой схемы.
Считается, что схемы, характеризуемые малым значением S, являются минимальными по количеству используемого оборудования. Задача минимизации булевых функций по критерию минимальности числа букв, входящих в ДНФ функции, называется канонической задачей минимизации. Схема, получаемая в результате ее решения, не является абсолютно минимальной. Поэтому, используя скобочные формы функций, можно провести дальнейшее упрощение схемы, но абсолютный минимум оборудования в большинстве случаев так и не достигается.