![]() |
2. О булевых функциях
Функция
Подстановка в функцию вместо ее аргументов других функций называется суперпозицией. Имея две булевы функции от двух переменных
Наиболее простое выражение имеют булевы функции одного аргумента Применяя булеву алгебру для проектирования логических схем, желательно иметь первоначальное представление функций в так называемой совершенной нормальной форме. Таких форм две. Совершенная дизъюнктивная нормальная форма (СДНФ) функции есть эквивалентное ее представление в виде дизъюнкции конституент единицы. Совершенная конъюнктивная нормальная форма (СКНФ) функции есть эквивалентное ее представление в виде конъюнкции конституент нуля. Эти формы функции могут быть получены последовательным применением известной теоремы разложения соответственно в ее первой и второй формулировках. Для выполнения логического синтеза систем управления двигателями необходимо располагать информацией об операциях, выполняемых системой привода. Вначале составляют табличное представление каждой функции. Таблица содержит всевозможные комбинации значений переменных (наборы), где обычно переменные без отрицания обозначают символом 1, а с отрицанием - символом 0. В одной из колонок указывают значения функции при каждом наборе. По заданному табличному представлению функции можно получить алгебраическое выражение функции в виде СДНФ и СШ. Пусть задана табличная форма функции: ![]() Представление функции в совершенной дизъюнктивной нормальной форме на основе табличной ![]() в совершенной конъюнктивной нормальной форме ![]()
В первом случае имеет пять слагаемых, так как в пяти наборах f принимает значение, обозначенное единицей. Переменные |
![]()
|
|||
![]() |
|||||
© ROBOTICSLIB.RU, 2001-2019
При копировании материалов проекта обязательно ставить ссылку на страницу источник: http://roboticslib.ru/ 'Робототехника' |