Y = ((ab)·(cd))·(km) ― схема рис. 1.5,б; (1.8)

а условному обозначению элемента 6И соответствует следующее выражение:

Z = abcdkm. (1.9)

Хотя в соответствии с упомянутыми законами булевой алгебры от перемены мест сомножителей логическое произведение не меняется и скобки в выражениях логического произведения можно не ставить, тем не менее, выражения (1.7), (1.8) и (1.9) несут информацию о способах построения схем. Таким образом, указанные выражения можно считать «логико-математическими моделями» приведённых схем и в том числе УГО элемента 6И.

Следует заметить, что при описании логических комбинационных устройств с помощью булевых выражений, как правило, абстрагируются от фактора времени. Такое описание соответствует описанию устройств в статике при установившихся значениях входных сигналов (и переменных). Считается, что изменение входных и выходных сигналов происходят мгновенно, аналогично меняются значения аргументов и значения самих логических функций. В то же самое время реальные элементы имеют конечное время перехода из одного состояния в другое или, как принято говорить, обладают конечным (не равным нулю) временем распространения сигналов от входов к выходу элемента либо устройства. С учётом сказанного, следует отдать предпочтение схеме рис.1.5,б, в которой время распространения сигналов от входов, помеченных аргументами функций, к выходу схемы в среднем меньше. В источнике [5] содержатся сведения о временных логических функциях, которые можно применять для описания схем с временными задержками.

1.3.6. Логические элементы ИЛИ

Логическими элементами ИЛИ реализуется логическая сумма нескольких двоичных сигналов (и входных переменных). Функция, описывающая такие элементы, называется дизъюнкцией или функцией логического сложения. На рис.1.6 приведены условные обозначения (УГО) элементов ИЛИ и карты Карно описывающих их функций.

Рис.1.6. УГО логических элементов ИЛИ (а, в), булевы матрицы дизъюнкции двух (б) и трёх (г) аргументов

Алгебраическое выражение логической суммы двух переменных a и b записывается следующим образом

X = a b = a + b. (1.10)

В булевой алгебре для обозначения дизъюнкции используется символ . В технических же её приложениях обычно применяется знак + (арифметического сложения), но только тогда, когда это не приводит к некорректности при записи формул и логических выражений. (Преимущественно этот знак будет использоваться в дальнейшем для обозначения дизъюнкции.)

Как видно из карт рис.1.6,б и рис.1.6,г, функция логического сложения принимает значение лог.0 только в единственном случае, когда все аргументы принимают значение лог.0. Значение же лог.1 она имеет, если первый аргумент или второй, или третий и т.д., или все вместе аргументы принимают значение лог.1. Поэтому эту функцию называют функцией ИЛИ.

Так же, как и к конъюнкции многих переменных, к дизъюнкции применимы переместительный и сочетательный законы булевой алгебры. И следствием этого является логическая равнозначность входов у логических элементов ИЛИ, а также возможность построения многовходовых элементов ИЛИ из аналогичных элементов, но с меньшим числом входов. Если на рис.1.5 все элементы И заменить двухвходовыми элементами ИЛИ (2ИЛИ), то все выводы, сделанные относительно схем рис.1.5, будут справедливыми для схем, полученных такой заменой. Можно так же записать логико-математические модели для полученных схем и УГО элемента 6ИЛИ, заменив в выражениях (1.7), (1.8) и (1.9) все символы логического умножения знаками + (дизъюнкции).

В различных сериях ИМС имеются логические элементы ИЛИ. Например, в серии ТТЛ это микросхема К155ЛЛ1, она содержит 4 элемента 2ИЛИ.

1.3.7. Логические элементы И-НЕ

Эти элементы реализуют инверсию логического произведения входных сигналов. Другими словами, элементы И-НЕ описываются функцией «отрицания конъюнкции». В булевой алгебре такие функции называются функциями Шеффера, для их обозначения введён специальный символ « ∕ », называемый штрихом Шеффера. Для простоты чтения мы будем использовать для обозначения функций Шеффера символ инверсии (черта вверху) над выражением конъюнкции переменных. Например, алгебраическая форма записи функции Шеффера от двух аргументов будет иметь следующий вид:

X = a / b = = . (1.11)

В выражении (1.11) знаки равенства соответствуют логической тождественности выражений, причём правая часть выражения соответствует КСНФ функции И-НЕ (функция V₁₃ в табл.1.3). А в целом выражение читается так: «инверсия логического произведения равна логической сумме инверсий аргументов ». Это высказывание известно в булевой алгебре как закон де Моргана относительно инверсии логического произведения (инверсии конъюнкции). На рис.1.7 приведены условные графические обозначения элемента 2И-НЕ, его функциональная эквивалентная схема и карта Карно для рассматриваемой функции. Сравнивая карты Карно функций И и функций И-НЕ, нетрудно заметить, что в клетках стоят противоположные значения названных функций. Сопоставляя карты с алгебраическими выражениями функции И и функции И-НЕ, можно сделать следующие выводы:

1. Каждой единице, стоящей в клетке матрицы, соответствует логическое произведение (конъюнкция) всех аргументов функции; взятых один раз со знаком либо без знака инверсии. Если клетка с единицей располагается на области единичных значений аргумента, то этот аргумент входит в конъюнкцию без инверсии. Если же клетка располагается на области нулевых значений аргумента, то этот аргумент входит со знаком инверсии.

2. Каждому нулю, стоящему в клетке матрицы, соответствует логическая сумма (дизъюнкция) всех аргументов функции, взятых один раз со знаком либо без знака инверсии. Если клетка с нулём располагается на области единичных значений аргумента, то этот аргумент входит в дизъюнкцию со знаком инверсии. Если же клетка располагается на области нулевых значений аргумента, то этот аргумент входит без знака инверсии.

Эти выводы носят характер правил отыскания ДСНФ (первый вывод) и КСНФ (второй вывод) по булевым матрицам логических функций. Следует только добавить, что для отыскания ДСНФ функции необходимо эти элементарные конъюнкции «соединять» символами дизъюнкции (плюс), а при отыскании КСНФ функции элементарных дизъюнкций следует соединять символами конъюнкции.

П од элементарной конъюнкцией логических функций понимают логическое произведение всех аргументов функции, взятых один раз со знаком либо без знака инверсии.

П

Рис.1.7. Условные графические обозначения элементов И-НЕ: УГО элемента 2И-НЕ в положительной логике (а); карта Карно функции Х (б); функциональная эквивалентная схема элемента 2И-НЕ (в); УГО элемента 2И-НЕ в отрицательной логике (г); УГО элемента 3И-НЕ (д) и карта Карно трёхместной функции Шеффера (е)

од элементарной дизъюнкцией логических функций понимают логическую сумму всех аргументов функции, взятых один раз со знаком либо без знака инверсии.

В сериях микросхем есть элементы И-НЕ, различающиеся числом входов, количеством элементов в одной микросхеме, а также способом организации выхода. Например, микросхема К155ЛА3 содержит 4 элемента 2И-НЕ со стандартной нагрузочной способностью. Микросхема К155ЛА8 содержит один элемент 8И-НЕ с повышенной нагрузочной способностью (она равна 30, а стандартная нагрузочная способность равна 10).

Элемент 2И-НЕ является базовым для микросхем транзисторно-транзисторной логики (ТТЛ), т.е. этот элемент положен в основу построения всех названных микросхем и в том числе микросхем ТТЛш.

1.3.8. Элементы ИЛИ-НЕ

Функции, описывающие элемент 2ИЛИ-НЕ, в булевой алгебре называют функциями Пирса, для них введён специальный символ (стрелка Пирса). В технических приложениях эти функции называют «инверсией логической суммы (дизъюнкции)» или просто функциями ИЛИ-НЕ. В частности, двухместная функция Пирса, функция 2ИЛИ-НЕ имеет следующие алгебраические выражения:

Z = a b = = . (1.12)

В

Рис.1.8. Условные графические обозначения элементов ИЛИ-НЕ: УГО элемента 2ИЛИ-НЕ в положительной логике (а); карта Карно функции Z (б); функциональная эквивалентная схема элемента 2ИЛИ-НЕ (в); УГО элемента 2ИЛИ-НЕ в отрицательной логике (г); УГО элемента 3ИЛИ-НЕ (д) и карта Карно трёхместной функции Пирса (е)

дальнейшем эти функции будем обозначать символом инверсии над выражением логической суммы. Правая часть выражения (1.12) соответствует утверждению, что «инверсия логической суммы есть в то же самое время логическое произведение слагаемых, взятых с противоположными символами инверсии ». Это утверждение является вторым законом де Моргана относительно инверсии дизъюнкции. Согласно выражению (1.12), элемент 2ИЛИ-НЕ можно представить условными графическими обозначениями при соглашениях положительной логики, при соглашениях отрицательной логики и функциональной эквивалентной схемой (рис.1.8).

В интегральном исполнении выпускаются логические элементы ИЛИ-НЕ с различным числом входов. Примером может служить микросхема К155ЛЕ1, содержащая 4 логических элементов 2ИЛИ-НЕ, или К155ЛЕ3 с двумя элементами 4ИЛИ-НЕ. Как и у элементов ИЛИ, так и у элементов ИЛИ-НЕ все входы логически равнозначны.

1.3.9. Элементы «ЗАПРЕТ»

Э ти двухвходовые элементы получили такое название потому, что сигнал по одному из входов «запрещает» либо «разрешает» прохождение на выход элемента сигнала, поданного на второй вход. Поэтому один вход называется входом запрета он инверсный, а второй вход называют «информационным». Значения выходного сигнала совпадают со значениями входного информационного сигнала в состоянии разрешения, а в состоянии запрета выходной сигнал имеет значение лог.0 независимо от значения сигнала по информационному входу. В табл.1.3 показаны две функции запрета V₁ (запрет b) и функция V₄ (запрет а). На рис. 1.9 приведены УГО элемента «запрет а » (запрет по а), алгебраическое выражение и карта Карно функции с аналогичным названием и функциональная эквивалентная схема элемента.

Рис.1.9. Элемент ЗАПРЕТ: УГО (а), карта функции «запрет а » (б), эквивалентная схема (в)

При а = 0 значения функции Z совпадают со значением аргумента b.

Если а = 1 (состояние запрета) на выходе элемента будет постоянно сигнал лог.0. Таким образом, вход а является входом запрета, а вход b информационным. Очевидно, такое же УГО будет соответствовать элементу «запрет b » только вход b будет инверсным, а вход а будет прямым. Аналогично в алгебраическом выражении такой функции аргумент b будет со знаком инверсии, аргумент же а войдёт без знака инверсии.

Следует отметить, что у элементов ЗАПРЕТ входы логически неравнозначны. Это в свою очередь означает, что сигналы по входам нельзя менять «местами».

Логические элементы ЗАПРЕТ выпускаются в интегральном исполнении, но не во всех сериях. Например, в серии К161 (на МОП-транзисторах с р-каналом) есть микросхема К161ЛП2, содержащая 4 элемента ЗАПРЕТ с общим входом запрета. На рис.1.9,а приведено условное графическое обозначение (УГО), соответствующее соглашениям положительной логики. Можно составить УГО при соглашениях отрицательной логики. Для этого над правой частью алгебраического выражения функции надо «взять» двойной знак инверсии, затем один знак раскрыть по закону де Моргана:

= . (1.13)

Таким образом, при соглашениях отрицательной логики аналог УГО элемента ЗАПРЕТ будет представлять собой УГО элемента 2ИЛИ-НЕ, только по одному из входов следует поставить указатель инверсии.

1.3.10. Логические элементы «сумматоры по mod2» и

схемы контроля чётности /нечётности

Логическая функция V₅ «неравнозначность» (табл.1.3) принимает значение лог.1 только тогда, когда нечётное число аргументов принимают значение лог.1. Поскольку функции и аргументы могут принимать только два значения, то эта функция равносильна операции сложения по модулю два (mod2) над двоичными числами, отображающими двоичные наборы значений аргументов. Для обозначения этой операции используется символ между аргументами. Эти функции, как минимум двухместные, однако, могут быть многоместными, т.е. зависеть от большего числа аргументов.

Алгебраические формы записи функции сложения по mod2 от двух аргументов имеют следующий вид:

Y = a b = . (1.14)

Правые части выражения (1.14) представляют собой ДСНФ и КСНФ, соответственно. В соответствии с этими формами можно построить функциональные эквивалентные схемы сумматора по mod2 с двумя входами. Эти схемы, а также УГО, рекомендованное ГОСТом, и булева матрица этой функции приведены на рис.1.10.