Функция |
|
0 0 1 1 |
Формула |
Название |
|
0 1 0 1 |
|||
|
0 0 0 0 |
|
константа 0 |
|
|
0 0 0 1 |
|
логическое умножение |
|
|
0 0 1 0 |
|
запрет по |
|
|
0 0 1 1 |
|
просто |
|
|
0 1 0 0 |
|
запрет по |
|
|
0 1 0 1 |
|
просто |
|
|
0 1 1 0 |
|
исключающее или, xor, сумма по модулю 2, неэквивалентность |
|
|
0 1 1 1 |
|
логическое сложение |
|
|
1 0 0 0 |
|
или – не, операция Пирса |
|
|
1 0 0 1 |
|
эквивалентность, |
|
|
1 0 1 0 |
|
инверсия |
|
|
1 0 1 1 |
|
импликация от |
|
|
1 1 0 0 |
|
инверсия |
|
|
1 1 0 1 |
|
импликация от |
|
|
1 1 1 0 |
|
и – не, операция Шеффера |
|
|
1 1 1 1 |
|
константа 1 |
Попробуйте, как упражнение, реализовать все эти функции с помощью операций Шеффера, Пирса и нарисовать схемы.
Устройства, реализующие сравнительно простые логические функции, на схемах часто изображают в виде прямоугольников с некоторым числом входов (слева) и выходов (справа) и называют логическими элементами. В прямоугольнике ставят значок, указывающий какую логическую функцию этот элемент реализует. Кружок на входах и выходах означает инверсию соответствующей переменной. Примеры обозначений для функций двух и более переменных приведены на рис.8.1.
8.1.5 Переход от одной формы задания логической функции к другой.
Один переход очевиден. Если функция задана формулой, то вычислив ее значения, мы составим таблицу. Как перейти от таблицы к аналитической форме записи? Существуют два распространенных алгоритма, которые мы проиллюстрируем на примере заданной таблицей функции трех переменных:
|
0 0 0 0 1 1 1 1 |
|
0 0 0 1 0 1 0 1 |
Первый алгоритм. Составление полной логической единицы заданной функции – СНДФ (совершенной нормальной дизъюнктивной формы). Выделим четыре этапа.
1. Игнорируем наборы переменных , на которых функция равна 0, и рассмотрим
лишь три набора, где она равна 1.
2. Для этих
наборов пишем сумму (дизъюнкцию) трех одинаковых произведений, включающих все
переменные. .
3. Ставим
инверсию у тех переменных, которые в рассматриваемых наборах равны 0. Получаем . Это и есть полная логическая единица
(СНДФ) функции
, представленная в виде суммы
(дизъюнкции) частных логических единиц (минтермов). Каждая частная логическая
единица равна 1 только для одного (своего) набора и равна 0 для всех остальных.
4. Упрощаем функцию с помощью указанных тождеств. Отметим, что добавление одного из существующих слагаемых (или большего числа) не меняет значения функции. Это очень распространённый прием преобразований.
.
Второй алгоритм. Составление полного логического нуля заданной функции или СНКФ (совершенной нормальной конъюнктивной формы).
1. Рассматриваем только те 5 наборов, где функция равна 0.
2. Для этих наборов пишем произведение (конъюнкцию) пяти одинаковых сумм, включающих все переменные.
.
3. Ставим инверсию
у тех переменных, которые в соответствующих наборах равны 1. Получаем . Это и есть полный логический нуль функции
, как произведение частных логических нулей
(макстермов), каждый из которых равен 0 только для одного (своего) набора.
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.