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

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

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

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

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

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

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

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

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

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

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

Z = a ¯ b =  = .                    (1.12)

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

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

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

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

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

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

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

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

= .                                     (1.13)

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

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

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

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

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

Y = a Å b = .           (1.14)

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

Обратите внимание, в схеме рис.1.10,а использованы УГО элементов запрета и элемент 2ИЛИ. В схеме рис.1.10,в для реализации дизъюнкции инверсий аргументов применён элемент 2И-НЕ и, кроме того, элементы 2ИЛИ и 2И. Приведённые схемы лишний раз показывают, что функциональных схем для двухвходового сумматора по mod2 можно составить несколько!

Выше, на рис.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 микросхема оказывается в «нерабочем» состоянии, когда на обоих выходах сигналы принимают одинаковые значения независимо от значений входных информационных сигналов.

1.3.11. Мажоритарные логические элементы

Эти элементы описываются логическими функциями, у которых число аргументов больше двух и является нечётным. Соответственно у любого мажоритарного элемента число входов всегда нечётное. Выходной сигнал принимает активное значение, когда большинство входных сигналов принимают активные значения. Поэтому такими элементами реализуется «принцип большинства» в обработке или в приёме сигналов.

Допустим, что за активное значение входных и выходного сигналов принят уровень лог.1. Тогда у мажоритарного элемента «³ 2 из 3-х» (с тремя входами) сигнал на выходе будет равен лог.1, если два (любых) либо все три входных сигнала принимают значение лог.1.

На рис.1.12 приведены УГО такого элемента, карта Карно выходной функции и функциональная его эквивалентная схема.

По карте функции F можно найти её минимальную дизъюнктивную нормальную форму (МДНФ):

F = ab + bc + ac.                              (1.16)

Этой формулой непосредственно описывается схема рис.1.12,б. Как видно по карте Карно (рис.1.12,в), единицы стоят в клетках, расположенных на областях единичных значений двух и всех трёх аргументов. По аналогии можно построить карту Карно для мажоритарного элемента «³3 из 5-ти», найти минимальное алгебраическое выражение его выходной функции, а затем построить функциональную схему.

В интегральном исполнении мажоритарные элементы есть, но не во всех сериях. Например, в серии КР1533 есть микросхема КР1533ЛП3, представляющая собой три мажоритарных элемента «³2 из 3-х» с инверсным общим входом управления. Сигнал лог.0 по входу управления разрешает выполнение функций мажоритарности, а сигнал лог.1 запрещает их реализацию. Функциональная схема этой микросхемы и её УГО приведены на рис.1.13. Сопоставляя функциональную схему рис.1.13,б со схемой мажоритарного элемента рис.1.12,б, можно понять, как организовано управление, и какие значения принимают выходные сигналы при подаче на управляющий вход (он помечен на УГО меткой «Е») сигнала лог.1. (На УГО и соответственно на схеме рис.1.13,б цифры означают номера выводов микросхемы.)

Страницы: 1, 2, 3, 4, 5, 6, 7