Элемент 2И-НЕ является базовым для микросхем транзисторно-транзисторной логики (ТТЛ), т.е. этот элемент положен в основу построения всех названных микросхем и в том числе микросхем ТТЛш.
Функции, описывающие элемент 2ИЛИ-НЕ, в булевой алгебре называют функциями Пирса, для них введён специальный символ ¯ (стрелка Пирса). В технических приложениях эти функции называют «инверсией логической суммы (дизъюнкции)» или просто функциями ИЛИ-НЕ. В частности, двухместная функция Пирса, функция 2ИЛИ-НЕ имеет следующие алгебраические выражения:
Z = a¯b =
= . (1.12)В интегральном исполнении выпускаются логические элементы ИЛИ-НЕ с различным числом входов. Примером может служить микросхема К155ЛЕ1, содержащая 4 логических элементов 2ИЛИ-НЕ, или К155ЛЕ3 с двумя элементами 4ИЛИ-НЕ. Как и у элементов ИЛИ, так и у элементов ИЛИ-НЕ все входы логически равнозначны.
При а = 0 значения функции Z совпадают со значением аргумента b.
Если а = 1 (состояние запрета) на выходе элемента будет постоянно сигнал лог.0. Таким образом, вход а является входом запрета, а вход b- информационным. Очевидно, такое же УГО будет соответствовать элементу «запрет b» только вход b будет инверсным, а вход а будет прямым. Аналогично в алгебраическом выражении такой функции аргумент b будет со знаком инверсии, аргумент же а войдёт без знака инверсии.
Следует отметить, что у элементов ЗАПРЕТ входы логически неравнозначны. Это в свою очередь означает, что сигналы по входам нельзя менять «местами».
Логические элементы ЗАПРЕТ выпускаются в интегральном исполнении, но не во всех сериях. Например, в серии К161 (на МОП-транзисторах с р-каналом) есть микросхема К161ЛП2, содержащая 4 элемента ЗАПРЕТ с общим входом запрета. На рис.1.9,а приведено условное графическое обозначение (УГО), соответствующее соглашениям положительной логики. Можно составить УГО при соглашениях отрицательной логики. Для этого над правой частью алгебраического выражения функции надо «взять» двойной знак инверсии, затем один знак раскрыть по закону де Моргана:
= . (1.13)Таким образом, при соглашениях отрицательной логики аналог УГО элемента ЗАПРЕТ будет представлять собой УГО элемента 2ИЛИ-НЕ, только по одному из входов следует поставить указатель инверсии.
схемы контроля чётности /нечётности
Логическая функция V5 «неравнозначность» (табл.1.3) принимает значение лог.1 только тогда, когда нечётное число аргументов принимают значение лог.1. Поскольку функции и аргументы могут принимать только два значения, то эта функция равносильна операции сложения по модулю два (mod2) над двоичными числами, отображающими двоичные наборы значений аргументов. Для обозначения этой операции используется символ Å между аргументами. Эти функции, как минимум двухместные, однако, могут быть многоместными, т.е. зависеть от большего числа аргументов.
Алгебраические формы записи функции сложения по mod2 от двух аргументов имеют следующий вид:
Y = aÅb =
. (1.14)Правые части выражения (1.14) представляют собой ДСНФ и КСНФ, соответственно. В соответствии с этими формами можно построить функциональные эквивалентные схемы сумматора по mod2 с двумя входами. Эти схемы, а также УГО, рекомендованное ГОСТом, и булева матрица этой функции приведены на рис.1.10.
Выше, на рис.1.2,а, в качестве примера была приведена карта Карно 4-местной функции сложения по mod2. Она может быть реализована 4-входовым сумматором по mod2 с условным графическим обозначением, аналогичным рис.1.10,г (должно быть 4 входа). Так как от перемены мест слагаемых сумма по mod2 не меняется, то все входы у сумматоров по mod2 логически равнозначны. Заметим ещё раз! Что если число входных сигналов, принявших значение лог.1, чётное, то выходной сигнал сумматора по mod2 будет равен лог.0, т.е. имеет неактивное значение, - чётность «не нарушена». Поэтому такие элементы получили название «схем контроля чётности».
Обратите теперь внимание на функцию V10- функцию логической равнозначности, (табл.1.3). Она принимает противоположные значения по сравнению с суммой по mod2, то есть является её инверсией. Поэтому условное графическое обозначение элемента, её реализующего, будет отличаться от рис.1.10,г лишь наличием указателя инверсии на выходе элемента.
Используя алгебраические выражения двухместной функции равнозначности (1.15), можно получить функциональные эквивалентные схемы двухвходового сумматора по mod2 с инверсным выходом (2Å-НЕ).
X =
= = . (1.15)Карта Карно этой функции будет отличаться от карты рис.1.10,б тем, что в клетки следует ставить противоположные значения (нули заменить единицами, а единицы − нулями). Нетрудно установить смысловое значение этой функции, поскольку она принимает значение лог.1 при чётном числе и значение лог.0 при нечётном числе единичных значений её аргументов. Схемы же её реализующие получили название «схем контроля нечётности».
В интегральном исполнении выпускаются логические элементы 2Å, например, микросхема К155ЛП5 содержит 4 таких элемента.Есть микросхемы, выполняющие функцию многовходового сумматора по mod2 с прямым и инверсным выходом. Например, микросхема К155ИП2 является 8-разрядной схемой контроля чётности/ нечётности с прямым и инверсным выходом и с двумя управляющими входами. Такой микросхемой реализуются одновременно функция 8Å и функция 8Å-НЕ. Условное графическое обозначение этой микросхемы и таблица, описывающая режимы работы ИМС, приведены на рис.1.11.
В табл.1.4, в столбцах значений выходных сигналов Xи Y, приведены сокращённые алгебраические выражения одноимённых выходных функций. Из этих выражений следует, что при комбинации сигналов на управляющих входах v1 =0 и v2 =1 на выходе X будет реализована сумма по mod2 всех восьми информационных сигналов. В то же самое время на выходе Y будет реализована инверсия этой суммы. Кроме того, из таблицы видно, что при комбинациях сигналов на управляющих входах 0-0 либо 1-1 микросхема оказывается в «нерабочем» состоянии, когда на обоих выходах сигналы принимают одинаковые значения независимо от значений входных информационных сигналов.
Эти элементы описываются логическими функциями, у которых число аргументов больше двух и является нечётным. Соответственно у любого мажоритарного элемента число входов всегда нечётное. Выходной сигнал принимает активное значение, когда большинство входных сигналов принимают активные значения. Поэтому такими элементами реализуется «принцип большинства» в обработке или в приёме сигналов.