3. Законы абсорбции или поглощения – а) и склеивания – б):
а) [pic] б) [pic] [pic] [pic]
Законы двойственности (3, в), называемые также законами деМоргана, были
обобщены К. Шенноном на случай произвольного (n) числа аргументов.
Кроме законов, перечисленных выше и не имеющих аналогов в обычной
алгебре (алгебре чисел), для алгебры логики справедливы законы обычной
алгебры: коммутативные или переместительные, дистрибутивные или
распределительные, ассоциативные или сочетательные.
Любая логическая функция у n двоичных переменных [pic] может быть
задана таблично. Такие таблицы, получившие название таблиц истинности,
содержат [pic] строк, в которые записываются все возможные двоичные наборы
значений аргументов, а также соответствующее каждому из этих наборов
значение функции.
Пример 1. Составить таблицу истинности логической функции у
равнозначности (эквивалентности) трех двоичных переменных [pic], т.е.
функции, которая принимает единичное значение только при совпадении всех
трех аргументов, ее образующих.
Решение. Сначала выпишем все возможные наборы (комбинации) трех
переменных[pic]. Таких наборов, очевидно, 8. Чтобы не ошибиться при
перечислении наборов аргументов, нужно сразу приучиться перечислять их
единообразно – в виде возрастающей последовательности чисел, представленных
в двоичной системе счисления. Для рассматриваемого примера наборы трех
переменных нужно перечислить в следующем порядке: 000, 001, 010, 011, 100,
101, 110, 111 – итого восемь двоичных чисел – от 0 до 7.
Далее для каждого набора двоичных переменных определим, исходя из
смысла ситуации, соответствующее значение функции. В результате получаем
таблицу истинности логической функции "равнозначность трех двоичных
переменных" (табл. 1).
Задание логической функции таблицей истинности не всегда удобно. При
большом числе двоичных переменных (n ( 6) табличный способ задания функции
становится громоздким и теряет наглядность. Возможен и аналитический способ
задания логических функций, который предусматривает запись функции в форме
логического выражения, устанавливающего, какие логические операции над
аргументами функции должны выполняться и в какой последовательности.
Алгебра логики предполагает возможность образования сложных функций,
т.е. функций, аргументы которых являются функциями других двоичных
аргументов. Например, если [pic], а [pic] и [pic], очевидно, что [pic].
Операция замены аргументов одной функции другими функциями называется
суперпозицией функций. Эта операция дает возможность выразить сложную
логическую функцию через более простые (элементарные).
Приведем описание некоторых, имеющих большое значение в цифровой
технике, элементарных логических функций и ЛЭ, реализующих эти функции.
Функция “отрицание” – это функция одного аргумента (другие названия
функции: инверсия, логическая связь НЕ). Аналитическая форма задания этой
функции: [pic]
где [pic] - логическая функция, [pic] - аргумент.
Электронный ЛЭ, реализующий функцию “Отрицание” в виде определенных
уровней электрических сигналов, называют инвертором или ЛЭ “НЕ”. Инвертор
на схемах изображается, как показано на рис. 1, а. Вход ЛЭ слева, выход –
справа. На выходной линии, в месте соединения ее с прямоугольником,
изображается кружок – символ инверсии. На языке цифровой техники инверсия
означает, что выходной сигнал (у) противоположен входному (х). Сказанное
иллюстрирует рис. 1, б, на котором приведены временные диаграммы инвертора.
Функция “конъюнкция” – это функция двух или большего числа аргументов
(другие названия функции: логическое умножение, логическая связь И).
Аналитическая форма задания функции двух аргумент [pic] и [pic]:
[pic] или [pic] или [pic].
Функция “конъюнкция” равна 1 тогда и только тогда, когда все ее
аргументы равны 1. ЛЭ, реализующий функцию “Конъюнкция” называют
конъюнктором или ЛЭ “И”. На рис. 2 приведены: условное графическое
изображение двухвходового (а) и трехвходового (б) конъюнкторов; временные
диаграммы (в) и таблица истинности (г) двухвходового конъюнктора.
ЛЭ “И” часто используют для управления потоком информации. При этом на
один из его входов поступают сигналы, несущие некоторую информацию, а на
другой – управляющий сигнал: пропустить информацию – 1, не пропустить – 0.
ЛЭ “И”, используемый таким образом, называют вентиль.
Функция “дизъюнкция” – это функция двух или большего числа аргументов
(другие названия функции: логическое сложение, логическая связь ИЛИ).
Функция равна 1, если хотя бы один из ее аргументов равен 1 (рис. 2, в).
Обозначение функции “Дизъюнкция”:
[pic] или [pic].
ЛЭ, реализующий функцию “дизъюнкция”, называют дизъюнктором или ЛЭ
“ИЛИ”. Условное изображение и временные диаграммы ЛЭ “ИЛИ” приведены на
рис. 3.
Функция “штрих Шеффера” (другое название функции – логическая связь “И-
НЕ”) – это функция двух или большего числа аргументов. Таблица истинности
функции “И-НЕ” представлена на рис. 4, б. Легко видеть, что это инверсия
функции “И”, т.е. отрицание конъюнкции. Функция равна 1, если равен 0 хотя
бы один из ее аргументов, функция равна 0 при равенстве всех аргументов 1.
Обозначение функции “И-НЕ”: [pic].
Условное изображение ЛЭ, реализующего функцию “штрих Шеффера”,
приведено на рис. 4, а.
Используя только ЛЭ “И-НЕ”, можно реализовать любую из
вышерассмотренных логических функций (НЕ, И, ИЛИ), как показано на рис. 5,
а-в.
Функция “стрелка Пирса” – это функция двух или большего числа
аргументов (другое название функции – логическая связь “ИЛИ-НЕ”). Данная
функция является инверсией функции “ИЛИ”, значения функции представлены на
рис. 6, б, в формулах обозначается как [pic]. Условное изображение ЛЭ,
реализующего функцию “ИЛИ-НЕ” приведено на рис. 6, а.
ЛЭ “ИЛИ-НЕ” также, как и ЛЭ “И-НЕ” позволяет реализовывать логические
функции НЕ, ИЛИ, И. Отмеченное иллюстрирует рис. 7.
Функция “сумма по модулю 2”(М2) – это функция двух или большего числа
аргументов. Обозначение в формулах: [pic] (в случае функции двух аргументов
[pic] и [pic]). Таблица истинности функции представлена на рис. 8, а. На
рис. 8, б приведено условное графическое изображение двухвходового ЛЭ,
реализующего эту функцию. Название функции связано с тем, что [pic] есть
арифметическая сумма двоичных чисел [pic] и [pic] в пределах одного
разряда: 0+0=0; 0+1=1; 1+0=1; 1+1=10. В последнем случае возникает единица
переноса в соседний старший разряд, а в разряде самих слагаемых получается
ноль. Отсюда широкое применение этого ЛЭ при построении суммирующих
устройств.
Функция М2 обладает интересным свойством, которое полезно запомнить:
при инвертировании одного из аргументов вся функция инвертируется, т.е.
[pic].
Инверсия суммы по модулю 2 для двух аргументов имеет и собственный
смысл: это функция равнозначности [pic]; она равна единице, если [pic].
Следовательно, для построения схем сравнения одноразрядных чисел достаточно
проинвертировать один из аргументов или результат.
Полезно запомнить также следующие очевидные соотношения:
[pic] [pic] [pic] [pic]
Первые два равенства позволяют применять ЛЭ М2 в качестве управляемого
инвертора. Если использовать один из входов М2 как управляющий и подавать
на него уровень логического 0 или 1, то информация, поступающая по второму
входу, будет пропускаться на выход без изменения или инвертироваться.
В случае двух аргументов функцию М2 называют также функция
неравнозначности, исключающее ИЛИ, поскольку полностью совпадают таблицы
истинности этих функций. Если же функция М2 трех или большего числа
аргументов, то применение названий “неравнозначность”, “исключающее ИЛИ” не
правомерно. Последнее следует из сопоставления таблиц истинности этих
функций (табл. 2), из которой следует, что это совершенно различные
функции.
Таблица 2
|Аргументы |Функции |
|[pic] |М2=[pic] |Неравно|Исключающее ИЛИ |
|[pic] | |значнос|(один и только |
|[pic] | |ть |один) |
|0 0 |0 |0 |0 |
|0 |1 |1 |1 |
|0 0 |1 |1 |1 |
|1 |0 |1 |0 |
|0 1 |1 |1 |1 |
|0 |0 |1 |0 |
|0 1 |0 |1 |0 |
|1 |1 |0 |0 |
|1 0 | | | |
|0 | | | |
|1 | | | |
|1 1 | | | |
Стандартные ИС ЛЭ И, ИЛИ, И-НЕ, ИЛИ-НЕ имеют 2, 3, 4 или 8 входов.
Число аргументов, входящих в конъюнкцию (дизъюнкцию) или ее инверсию может
отличаться от числа входов ЛЭ. Типовыми ситуациями являются наличие у
имеющегося ЛЭ “лишних” (неиспользуемых) в данном случае входов или,
напротив, нехватка у имеющегося ЛЭ необходимого числа входов. Например,
нужно получить конъюнкцию (дизъюнкцию) или ее инверсию пяти переменных. В
Страницы: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10
