Логические элементы: различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
[непроверенная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
Нет описания правки
Нет описания правки
Метки: через визуальный редактор с мобильного устройства из мобильной версии
 
(не показано 37 промежуточных версий 28 участников)
Строка 1: Строка 1:
'''Логические элементы''' — устройства, предназначенные для [[Обработка информации|обработки информации]] в [[цифровой сигнал|цифровой форме]] (последовательности сигналов высокого — «1» и низкого — «0» уровней в [[двоичная логика|двоичной логике]], последовательность «0», «1» и «2» в [[троичная логика|троичной логике]], последовательностями «0», «1», «2», «3», «4», «5», «6», «7», «8» и «9» в [[десятичная логика|десятичной логике]]). Физически логические элементы могут быть выполнены механическими, электромеханическими (на электромагнитных реле), электронными (на диодах и транзисторах), пневматическими, гидравлическими, оптическими и др.
'''[[Логические]] элементы''' — устройства, предназначенные для [[Обработка информации|обработки информации]] в [[цифровой сигнал|цифровой форме]] (последовательности сигналов высокого — «1» и низкого — «0» уровней в [[двоичная логика|двоичной логике]], последовательности «0», «1» и «2» в [[троичная логика|троичной логике]], последовательности «0», «1», «2», «3», «4», «5», «6», «7», «8» и «9» в [[десятичная логика|десятичной]]). Физически логические элементы могут быть выполнены механическими, электромеханическими (на [[Электромагнитное реле|электромагнитных реле]]), электронными (в частности, на [[диод]]ах или [[транзистор]]ах), [[Струйная логика|пневматическими, гидравлическими]], [[Фотонная логика|оптическими]] и другими.


С развитием электротехники от механических логических элементов перешли к электромеханическим логическим элементам (на электромагнитных реле), а затем к электронным логическим элементам на электронных лампах, позже — на транзисторах. После доказательства в 1946 г. теоремы [[Нейман,_Джон_фон|Джона фон Неймана]] об экономичности показательных позиционных систем счисления стало известно о преимуществах двоичной и троичной систем счисления по сравнению с десятичной системой счисления. От десятичных логических элементов перешли к двоичным логическим элементам. Двоичность и троичность позволяет значительно сократить количество операций и элементов, выполняющих эту обработку, по сравнению с десятичными логическими элементами.
С развитием электротехники от механических логических элементов перешли к электромеханическим логическим элементам (на электромагнитных реле), а затем к электронным логическим элементам: вначале — на [[Электронная лампа|электронных лампах]], позже — на транзисторах. После доказательства в 1946 году теоремы [[Нейман, Джон фон|Джона фон Неймана]] об экономичности показательных позиционных систем счисления стало известно о преимуществах двоичной и троичной систем счисления по сравнению с десятичной системой счисления. От десятичных логических элементов перешли к двоичным логическим элементам. Двоичность и троичность позволяет значительно сократить количество операций и элементов, выполняющих эту обработку, по сравнению с десятичными логическими элементами.


Логические элементы выполняют [[Булева функция|логическую функцию]] (операцию) над входными сигналами (операндами, данными).
Логические элементы выполняют [[Булева функция|логическую функцию]] (операцию) над входными сигналами (операндами, данными).


Всего возможно <math>\ x^{(x^n)*m}</math> логических функций и соответствующих им логических элементов, где <math>\ x</math> — основание системы счисления, <math>\ n</math> — число входов (аргументов), <math>\ m</math> — число выходов, то есть бесконечное число логических элементов. Поэтому в данной статье рассматриваются только простейшие и важнейшие логические элементы.
[[Булева функция|Логических функций]] и соответствующих им логических элементов всего существует <math>x^{x^n\cdot m}</math>, где <math>x</math> — основание системы счисления, <math>n</math> — число входов (аргументов), <math>m</math> — число выходов; таким образом, количество теоретически возможных логических элементов бесконечно. Поэтому в данной статье рассматриваются только простейшие, главные логические элементы.


Всего возможны <math>2^{(2^2)*1}=2^4=16</math> двоичных двухвходовых логических элементов и <math>2^{(2^3)*1}=2^8=256</math> двоичных трёхвходовых логических элементов ([[Булева функция]]).
Всего существует <math>2^{2^2\cdot1}=2^4=16</math> двухвходовых двоичных логических элементов и <math>2^{2^3\cdot1}=2^8=256</math> трёхвходовых двоичных логических элементов (и соответствующих [[Булева функция|булевых функций]]). Аналогично, для [[Троичная логика|троичной логики]] возможны {{num|19683}} двухвходовых и {{num|7625597484987}} трёхвходовых логических элементов.


== Двоичные логические операции с цифровыми сигналами (битовые операции) ==
Кроме 16 двоичных двухвходовых логических элементов и 256 трёхвходовых двоичных логических элементов возможны 19 683 двухвходовых [[троичная логика|троичных логических]] элементов и 7 625 597 484 987 трёхвходовых троичных логических элементов ([[троичная логика|троичные функции]]).
{{Main|Логическая операция|Битовая операция}}
Своё теоретическое обоснование логические операции ([[булева функция]]) получили в [[математическая логика|алгебре логики]].


Логические операции с одним [[Операнд|операндом]] называются ''[[Унарная операция|унарными]]'', с двумя — ''[[Бинарная операция|бинарными]]'', с тремя — ''тернарными'' (''триарными'', ''тринарными'') и т. д.
== Двоичные [[логические операции]] с цифровыми сигналами ([[битовые операции]]) ==
Логические операции ([[булева функция]]) своё теоретическое обоснование получили в [[математическая логика|алгебре логики]].


=== Унарные операции ===
Логические операции с одним операндом называются ''унарными'', с двумя — ''бинарными'', с тремя — ''тернарными'' (''триарными'', ''тринарными'') и т. д.
Из <math>2^{\left( 2^1 \right)} = 2^2 = 4</math> возможных унарных операций с унарным выходом интерес для реализации представляют операции отрицания (инверсии) и повторения, причём, операция отрицания имеет бо́льшую значимость, чем операция повторения, так как повторитель может быть собран из двух инверторов, а инвертор из повторителей не собрать.


==== {{vanchor|Отрицание}} ({{vanchor|инверсия}}). Операция «[[Цифровой инвертор|{{vanchor|НЕ}}]]» ====
Из <math>2^{(2^1)}=2^2=4</math> возможных унарных операций с унарным выходом интерес для реализации представляют операции отрицания и повторения, причём, операция отрицания имеет большую значимость, чем операция повторения, так как повторитель может быть собран из двух инверторов, а инвертор из повторителей не собрать.
{{Врезка

|Выравнивание = right
=== Отрицание, [[:en:NOT gate|НЕ]] ===
|Ширина = 200px
[[Файл:NOT gate RU.svg|thumb|right|80px|Инвертор, НЕ (IEC)]]
|Содержание = <gallery mode=packed heights=45px caption="Инвертор (элемент «НЕ»)">
[[Файл:NOT ANSI.svg|thumb|right|80px|Инвертор, НЕ (ANSI)]]
NOT gate RU.svg
{| class="wikitable"
NOT ANSI.svg
</gallery>
|Подпись = Здесь и далее приведены {{shy|гра|фи|чес|кие}} обозначения логических элементов по стандартам [[Международная электротехническая комиссия|IEC]] (слева) и [[Американский национальный институт стандартов|ANSI]] (справа).
|Выравн. подписи = left
}}
{| class="wikitable" style="float:left; text-align: center; margin-right:1em; clear:left"
! <math>A</math> !! <math>\neg A</math>
|-
|-
| 0 || 1
! <math> A</math>
! ¬<math>A</math>
|-
|-
| 0
| 1
|-
| 1
| 0
|-
|-
| 1 || 0
|}
|}
Мнемоническое правило для отрицания звучит так: На выходе будет:
Мнемоническое правило для отрицания звучит так — на выходе будет:
* «1» [[тогда и только тогда, когда]] на входе «0»,
* «1» [[тогда и только тогда]], когда на входе «0»,
* «0» тогда и только тогда, когда на входе «1»
* «0» тогда и только тогда, когда на входе «1».
{{-}}

=== Повторение ===
==== Повторение ====
{{Врезка
[[Файл:Da-yes.jpg|thumb|right|80px|Повторитель ([[буферный усилитель|буфер]])]]
|Выравнивание = right
{| class="wikitable"
|Ширина = 200px
|Содержание = <gallery mode=packed heights=45px caption="{{iw|Цифровой буфер|Повторитель (буфер)||Digital buffer}}">
IEC BUF.svg
Buffer ANSI.svg
</gallery>
}}
{| class="wikitable" style="float:left; text-align: center; margin-right:1em; clear:left"
! <math>A</math> !! <math>A</math> <small>(буферизованное)</small>
|-
|-
| 0 || 0
! <math> A</math>
! <math>A</math>
|-
|-
| 0
| 0
|-
| 1
| 1
|-
|-
| 1 || 1
|}
|}
Выходная логическая переменная равна входной.
{{-}}
=== Бинарные операции ===
Преобразование информации требует выполнения операций с группами знаков, простейшей из которых является группа из двух знаков. Оперирование с большими группами всегда можно разбить на последовательные операции с двумя знаками. Из <math>2^{\left( 2^2 \right)} = 2^4 = 16</math> возможных бинарных логических операций с двумя знаками с унарным выходом интерес для реализации представляют 10{{nbsp}}операций, приведённых ниже.


==== {{vanchor|Конъюнкция}} (логическое умножение). Операция «[[:en:AND gate|{{vanchor|И}}]]» ====
Преобразование информации требует выполнения операций с группами знаков, простейшей из которых является группа из двух знаков. Оперирование с большими группами всегда можно разбить на последовательные операции с двумя знаками.
{{Врезка

|Выравнивание = right
Из <math>2^{(2^2)}=2^4=16</math> возможных бинарных логических операций с двумя знаками c унарным выходом интерес для реализации представляют 10 операций, приведённых ниже.
|Ширина = 200px

|Содержание = <gallery mode=packed heights=45px caption="Элемент «И»">
=== Конъюнкция (логическое умножение). Операция [[:en:AND gate|И]] ===
[[Файл:AND gate RU.svg|thumb|right|80px|И (IEC)]]
AND gate RU.svg
[[Файл:AND ANSI.svg|thumb|right|80px|И (ANSI)]]
AND ANSI.svg
</gallery>
{| class="wikitable"
}}
{| class="wikitable" style="float:left; text-align: center; margin-right:1em; clear:left"
! <math>A</math> !! <math>B</math> !! <math>A \land B</math>
|-
|-
| 0 || 0 || 0
! <math> A</math>
! <math> B</math>
! <math> A \and B</math>
|-
|-
| 0
| 0 || 1 || 0
| 0
| 0
|-
|-
| 1 || 0 || 0
|0
|1
| 0
|-
|1
|0
| 0
|-
| 1
| 1
| 1
|-
|-
| 1 || 1 || 1
|}
|}
Логический элемент, реализующий функцию конъюнкции, называется схемой совпадения. Мнемоническое правило для конъюнкции с любым количеством входов звучит так: На выходе будет: <br>
Логический элемент, реализующий функцию конъюнкции, называется схемой совпадения. Мнемоническое правило для конъюнкции с любым количеством входов звучит так — на выходе будет:
* «1» тогда и только тогда, когда на '''''всех''''' входах действуют «1»,
* «1» тогда и только тогда, когда '''''на всех''''' входах действуют «1»,
* «0» тогда и только тогда, когда '''''хотя бы на одном''''' входе действует «0»
* «0» тогда и только тогда, когда '''''хотя бы на одном''''' входе действует «0».
Словесно эту операцию можно выразить следующим выражением:
«Истина на выходе может быть при истине на входе 1 '''И''' истине на входе 2».


Словесно эту операцию можно выразить следующим выражением: «Истина на выходе может быть только при истине на входе{{nbsp}}1 '''И''' истине на входе{{nbsp}}2».
=== Дизъюнкция (логическое сложение). Операция [[:en:OR gate|ИЛИ]] ===
{{anchor|ИЛИ}}
{{-}}
==== {{vanchor|Дизъюнкция}} (логическое сложение). Операция «[[:en:OR gate|{{vanchor|ИЛИ}}]]» ====

{{Врезка
[[Файл:OR gate RU.svg|thumb|right|80px|ИЛИ (IEC)]]
|Выравнивание = right
[[Файл:OR ANSI.svg|thumb|right|80px|ИЛИ (ANSI)]]
|Ширина = 200px
{| class="wikitable"
|Содержание = <gallery mode=packed heights=45px caption="Элемент «ИЛИ»">
OR gate RU.svg
OR ANSI.svg
</gallery>
}}
{| class="wikitable" style="float:left; text-align: center; margin-right:1em; clear:left"
! <math>A</math> !! <math>B</math> !! <math>A \lor B</math>
|-
|-
| 0 || 0 || 0
! <math> A</math>
! <math> B</math>
! <math> A \or B</math>
|-
|-
| 0
| 0 || 1 || 1
| 0
| 0
|-
|-
| 1 || 0 || 1
|0
|1
| 1
|-
|1
|0
| 1
|-
| 1
| 1
| 1
|-
|-
| 1 || 1 || 1
|}
|}
Мнемоническое правило для дизъюнкции с любым количеством входов звучит так: На выходе будет:
Мнемоническое правило для дизъюнкции с любым количеством входов звучит так — на выходе будет:
* «1» тогда и только тогда, когда '''''хотя бы на одном''''' входе действует «1»,
* «1» тогда и только тогда, когда '''''хотя бы на одном''''' входе действует «1»,
* «0» тогда и только тогда, когда на '''''всех''''' входах действуют «0»
* «0» тогда и только тогда, когда '''''на всех''''' входах действуют «0».
{{-}}

=== Инверсия функции конъюнкции. Операция [[:en:NAND gate|И-НЕ]] ([[штрих Шеффера]]) ===
==== {{vanchor|Инверсия функции конъюнкции}}. Операция «[[:en:NAND gate|{{vanchor|И-НЕ}}]]» ([[Штрих Шеффера|{{vanchor|штрих Шеффера}}]]) ====
{{Врезка
{{anchor|И-НЕ}}
|Выравнивание = right

|Ширина = 200px
[[Файл:NAND gate RU.svg|thumb|right|80px|И-НЕ (IEC)]]
|Содержание = <gallery mode=packed heights=45px caption="Элемент «И-НЕ»">
[[Файл:NAND ANSI.svg|thumb|right|80px|И-НЕ (ANSI)]]
NAND gate RU.svg

NAND ANSI.svg
{| class="wikitable"
</gallery>
}}
{| class="wikitable" style="float:left; text-align: center; margin-right:1em; clear:left"
! <math>A</math> !! <math>B</math> !! <math>A|B</math>
|-
|-
| 0 || 0 || 1
! <math> A</math>
! <math> B</math>
! <math> A|B</math>
|-
|-
| 0
| 0 || 1 || 1
| 0
| 1
|-
|-
| 0
| 1 || 0 || 1
| 1
| 1
|-
|-
| 1
| 1 || 1 || 0
| 0
| 1
|-
| 1
| 1
| 0
|}
|}
Мнемоническое правило для И-НЕ с любым количеством входов звучит так: На выходе будет:
Мнемоническое правило для И-НЕ с любым количеством входов звучит так — на выходе будет:
* «1» тогда и только тогда, когда '''''хотя бы на одном''''' входе действует «0»,
* «1» тогда и только тогда, когда '''''хотя бы на одном''''' входе действует «0»,
* «0» тогда и только тогда, когда на '''''всех''''' входах действуют «1»
* «0» тогда и только тогда, когда '''''на всех''''' входах действуют «1».
{{-}}

=== Инверсия функции дизъюнкции. Операция [[:en:NOR gate|ИЛИ-НЕ]] ([[стрелка Пирса]]) ===
==== {{vanchor|Инверсия функции дизъюнкции}}. Операция «[[:en:NOR gate|{{vanchor|ИЛИ-НЕ}}]]» ([[Стрелка Пирса|{{vanchor|стрелка Пирса}}]]) ====
{{Врезка
{{anchor|ИЛИ-НЕ}}
|Выравнивание = right

|Ширина = 200px
В англоязычной литературе NOR.
|Содержание = <gallery mode=packed heights=45px caption="Элемент «ИЛИ-НЕ»">
[[Файл:NOR gate RU.svg|thumb|right|80px|ИЛИ-НЕ (IEC)]]
NOR gate RU.svg
[[Файл:NOR ANSI.svg|thumb|right|80px|ИЛИ-НЕ (ANSI)]]
NOR ANSI.svg
{| class="wikitable"
</gallery>
|-
}}
! <math> A</math>
{| class="wikitable" style="float:left; text-align: center; margin-right:1em; clear:left"
! <math> B</math>
! <math> A</math><math>B</math>
! <math>A</math> !! <math>B</math> !! <math>A \downarrow B</math>
|-
|-
| 0
| 0 || 0 || 1
| 0
| 1
|-
|-
| 0
| 0 || 1 || 0
| 1
| 0
|-
|-
| 1
| 1 || 0 || 0
| 0
| 0
|-
|-
| 1
| 1 || 1 || 0
| 1
| 0
|}
|}
Мнемоническое правило для ИЛИ-НЕ с любым количеством входов звучит так: На выходе будет:
Мнемоническое правило для ИЛИ-НЕ с любым количеством входов звучит так — на выходе будет:
* «1» тогда и только тогда, когда на '''''всех''''' входах действуют «0»,
* «1» тогда и только тогда, когда '''''на всех''''' входах действуют «0»,
* «0» тогда и только тогда, когда '''''хотя бы на одном''''' входе действует «1»
* «0» тогда и только тогда, когда '''''хотя бы на одном''''' входе действует «1».
{{-}}


=== Эквивалентность (равнозначность), [[:en:XNOR gate|ИСКЛЮЧАЮЩЕЕ_ИЛИ-НЕ]] ===
==== {{vanchor|Эквивалентность}} ({{vanchor|равнозначность}}, тождество). Операция «[[:en:XNOR gate|{{vanchor|исключающее ИЛИ-НЕ}}]]» ====
{{Врезка
{{anchor|Исключающее_ИЛИ-НЕ}}
|Выравнивание = right
[[Файл:XNOR gate RU.svg|thumb|right|80px|ИСКЛ-ИЛИ-НЕ (IEC)]]
|Ширина = 200px
[[Файл:XNOR ANSI.svg|thumb|right|80px|ИСКЛ-ИЛИ-НЕ (ANSI)]]
|Содержание = <gallery mode=packed heights=45px caption="Элемент «исключающее ИЛИ-НЕ»">
{| class="wikitable"
XNOR gate RU.svg
XNOR ANSI.svg
</gallery>
}}
{| class="wikitable" style="float:left; text-align: center; margin-right:1em; clear:left"
! <math>A</math> !! <math>B</math> !! <math>A \leftrightarrow B</math>
|-
|-
| 0 || 0 || 1
! <math> A</math>
! <math> B</math>
! <math> A</math>↔<math>B</math>
|-
|-
| 0
| 0 || 1 || 0
| 0
| 1
|-
|-
| 0
| 1 || 0 || 0
| 1
| 0
|-
|-
| 1
| 1 || 1 || 1
| 0
| 0
|-
| 1
| 1
|1
|}
|}
Мнемоническое правило эквивалентности с любым количеством входов звучит так: На выходе будет:
Мнемоническое правило эквивалентности с любым количеством входов звучит так — на выходе будет{{Нет АИ|5|7|2020}}:
* «1» тогда и только тогда, когда на входе действует '''''чётное''''' количество,
* «1» тогда и только тогда, когда на входе действует '''''чётное количество''''' «1» или «0».
* «0» тогда и только тогда, когда на входе действует '''''нечётное''''' количество
* «0» тогда и только тогда, когда на входе действует '''''нечётное количество''''' «1».
Словесная запись: «истина на выходе при истине на входе 1 '''и''' входе 2 '''или''' при лжи на входе 1 '''и''' входе 2».


Словесная запись: «истина на выходе при истине на входе{{nbsp}}1 '''и''' входе{{nbsp}}2 '''или''' при лжи на входе{{nbsp}}1 '''и''' входе{{nbsp}}2».
=== Сложение (сумма) по модулю 2 ([[:en:XOR gate|Исключающее_ИЛИ]], неравнозначность). Инверсия равнозначности. ===
{{-}}
[[Файл:XOR gate RU.svg|thumb|right|80px|ИСКЛ-ИЛИ (IEC)]]
==== {{anchor|Сложение по модулю 2}}{{anchor|Сумма по модулю 2}}Сложение (сумма) по модулю 2 ({{vanchor|неравнозначность}}, {{vanchor|инверсия равнозначности}}). Операция «[[:en:XOR gate|{{vanchor|исключающее ИЛИ}}]]» ====
[[Файл:XOR ANSI.svg|thumb|right|80px|ИСКЛ-ИЛИ (ANSI)]]
{{Врезка
В англоязычной литературе [[:en:XOR|XOR]].
|Выравнивание = right
{| class="wikitable"
|Ширина = 200px
|Содержание = <gallery mode=packed heights=45px caption="Элемент «исключающее ИЛИ»">
XOR gate RU.svg
XOR ANSI.svg
</gallery>
}}
{| class="wikitable" style="float:left; text-align: center; margin-right:1em; clear:left"
! <math>A</math> !! <math>B</math> !! <math>A \oplus B</math>
|-
|-
| 0 || 0 || 0
! <math> A</math>
! <math> B</math>
! <math> A \oplus B</math>
|-
|-
| 0
| 0 || 1 || 1
| 0
| 0
|-
|-
| 0
| 1 || 0 || 1
| 1
| 1
|-
|-
| 1
| 1 || 1 || 0
| 0
| 1
|-
| 1
| 1
| 0
|}
|}
Мнемоническое правило для суммы по модулю 2 с любым количеством входов звучит так: На выходе будет:
Мнемоническое правило для суммы по модулю{{nbsp}}2 с любым количеством входов звучит так — на выходе будет:
* «1» тогда и только тогда, когда на входе действует '''''нечётное''''' количество ,
* «1» тогда и только тогда, когда на входе действует '''''нечётное''''' количество «1»,
* «0» тогда и только тогда, когда на входе действует '''''чётное''''' количество
* «0» тогда и только тогда, когда на входе действует '''''чётное''''' количество «1».
Словесное описание: «истина на выходе — '''только''' при истине на входе 1, либо '''только''' при истине на входе 2».
Словесное описание: «истина на выходе — при истине '''только''' на входе{{nbsp}}1, либо при истине '''только''' на входе{{nbsp}}2».
{{-}}

=== Импликация от A к B (прямая импликация, инверсия декремента, A<=B) ===
==== {{vanchor|Импликация от A к B}} ({{vanchor|прямая импликация}}, {{vanchor|инверсия декремента}}, следовательно, A<=B) ====
{| class="wikitable"
{| class="wikitable" style="float:left; text-align: center; margin-right:1em; clear:left"
! <math>A</math> !! <math>B</math> !! <math>A \rightarrow B</math>
|-
|-
| 0 || 0 || 1
! <math> A</math>
! <math> B</math>
! <math> A</math>→<math>B</math>
|-
|-
| 0
| 0 || 1 || 1
| 0
| 1
|-
|-
| 0
| 1 || 0 || 0
| 1
| 1
|-
|-
| 1
| 1 || 1 || 1
| 0
| 0
|-
| 1
| 1
| 1
|}
|}
Мнемоническое правило для инверсии декремента звучит так: На выходе будет:
Мнемоническое правило для инверсии декремента звучит так — на выходе будет:
* «0» тогда и только тогда, когда на «B» '''меньше''' «А»,
* «0» тогда и только тогда, когда значение на «B» '''меньше''' значения на «A»,
* «1» тогда и только тогда, когда на «B» '''больше либо равно''' «А»
* «1» тогда и только тогда, когда значение на «B» '''больше либо равно''' значению на «A».
{{-}}


=== Импликация от B к A (обратная импликация, инверсия инкремента, A>=B) ===
==== {{vanchor|Импликация от B к A}} ({{vanchor|обратная импликация}}, {{vanchor|инверсия инкремента}}, A>=B) ====
{| class="wikitable"
{| class="wikitable" style="float:left; text-align: center; margin-right:1em; clear:left"
! <math>A</math> !! <math>B</math> !! <math>B \rightarrow A</math>
|-
|-
| 0 || 0 || 1
! <math> A</math>
! <math> B</math>
! <math> B</math>→<math>A</math>
|-
|-
| 0
| 0 || 1 || 0
| 0
| 1
|-
|-
| 0
| 1 || 0 || 1
| 1
| 0
|-
|-
| 1
| 1 || 1 || 1
| 0
| 1
|-
| 1
| 1
| 1
|}
|}
Мнемоническое правило для инверсии инкремента звучит так: На выходе будет:
Мнемоническое правило для инверсии инкремента звучит так — на выходе будет:
* «0» тогда и только тогда, когда на «B» '''больше''' «А»,
* «0» тогда и только тогда, когда значение на «B» '''больше''' значения на «A»,
* «1» тогда и только тогда, когда на «B» '''меньше либо равно''' «А»
* «1» тогда и только тогда, когда значение на «B» '''меньше либо равно''' значению на «A».
{{-}}


=== Декремент. Запрет импликации по B. Инверсия импликации от A к B ===
==== {{vanchor|Декремент}}. Запрет импликации по B. Инверсия импликации от A к B ====
{| class="wikitable"
{| class="wikitable" style="float:left; text-align: center; margin-right:1em; clear:left"
! <math>A</math> !! <math>B</math> !! <math>A</math> ↛ <math>B</math>
|-
|-
| 0 || 0 || 0
! <math> A</math>
! <math> B</math>
! <math> f(A, B)</math>
|-
|-
| 0
| 0 || 1 || 0
| 0
| 0
|-
|-
| 0
| 1 || 0 || 1
| 1
| 0
|-
|-
| 1
| 1 || 1 || 0
| 0
| 1
|-
| 1
| 1
| 0
|}
|}
Мнемоническое правило для инверсии импликации от A к B звучит так: На выходе будет:
Мнемоническое правило для инверсии импликации от A к B звучит так — на выходе будет:
* «1» тогда и только тогда, когда на «A» '''больше''' «B»,
* «1» тогда и только тогда, когда значение на «A» '''больше''' значения на «B»,
* «0» тогда и только тогда, когда на «A» '''меньше либо равно''' «B»
* «0» тогда и только тогда, когда значение на «A» '''меньше либо равно''' значению на «B».
{{-}}

=== Инкремент. Запрет импликации по A. Инверсия импликации от B к A ===
==== {{vanchor|Инкремент}}. Запрет импликации по A. Инверсия импликации от B к A ====
{| class="wikitable"
{| class="wikitable" style="float:left; text-align: center; margin-right:1em; clear:left"
! <math>A</math> !! <math>B</math> !! <math>B</math> ↛ <math>A</math>
|-
! <math> A</math>
! <math> B</math>
! <math> f(A, B)</math>
|-
|-
| 0
| 0 || 0 || 0
| 0
| 0
|-
|-
| 0
| 0 || 1 || 1
| 1
| 1
|-
|-
| 1
| 1 || 0 || 0
| 0
| 0
|-
|-
| 1
| 1 || 1 || 0
| 1
| 0
|}
|}
Мнемоническое правило для инверсии импликации от B к A звучит так: На выходе будет:
Мнемоническое правило для инверсии импликации от B к A звучит так — на выходе будет:
* «1» тогда и только тогда, когда на «B» '''больше''' «A»,
* «1» тогда и только тогда, когда значение на «B» '''больше''' значения на «A»,
* «0» тогда и только тогда, когда на «B» '''меньше либо равно''' «A»
* «0» тогда и только тогда, когда значение на «B» '''меньше либо равно''' значению на «A».


'''Примечание 1'''. Элементы импликаций не имеют промышленных аналогов для функций с количеством входов, не равным 2. <br>
{{нет АИ 2|'''Примечание 1'''. Элементы импликаций не имеют промышленных аналогов для функций с количеством входов, не равным{{nbsp}}2.<br>
'''Примечание 2'''. Элементы импликаций не имеют промышленных аналогов.
'''Примечание 2'''. Элементы импликаций не имеют промышленных аналогов.|21|09|2019}}
{{-}}

Этими простейшими логическими операциями (функциями), и даже некоторыми их подмножествами, можно выразить любые другие [[Логическая операция|логические операции]]. Такой набор простейших функций называется '''функционально полным логическим базисом'''. Таких базисов 4:
Этими простейшими логическими операциями (функциями), и даже некоторыми их подмножествами, можно выразить любые другие [[Логическая операция|логические операции]]. Такой набор простейших функций называется '''функционально полным логическим базисом'''. Таких базисов{{nbsp}}4:
* И, НЕ (2 элемента)
* И,{{nbsp}}НЕ (2{{nbsp}}элемента)
* ИЛИ, НЕ (2 элемента)
* ИЛИ,{{nbsp}}НЕ (2{{nbsp}}элемента)
* И-НЕ (1 элемент)
* И-НЕ (1{{nbsp}}элемент)
* ИЛИ-НЕ (1 элемент).
* ИЛИ-НЕ (1{{nbsp}}элемент).
Для преобразования логических функций в один из названых базисов необходимо применять [[Законы де Моргана|Закон (правило) де-Моргана]].
Для преобразования логических функций в один из названных базисов необходимо применять [[Законы де Моргана|законы (правила) де{{nbsp}}Моргана]].


== Физические реализации ==
== Физические реализации ==
Строка 373: Строка 294:
* электромагнитные,
* электромагнитные,
* электромеханические,
* электромеханические,
* электронные.
* электронные,
* оптические.


Физические реализации одной и той же логической функции, а также обозначения для истины и лжи, в разных системах электронных и неэлектронных элементов отличаются друг от друга.
Физические реализации одной и той же логической функции, а также обозначения для истины и лжи, в разных системах электронных и неэлектронных элементов отличаются друг от друга.
Строка 379: Строка 301:
== Классификация электронных транзисторных физических реализаций логических элементов ==
== Классификация электронных транзисторных физических реализаций логических элементов ==
Логические элементы подразделяются и по типу использованных в них электронных элементов. Наибольшее применение в настоящее время находят следующие логические элементы:
Логические элементы подразделяются и по типу использованных в них электронных элементов. Наибольшее применение в настоящее время находят следующие логические элементы:
* [[РТЛ]] (резисторно-транзисторная логика)
* [[Резисторно-транзисторная логика|РТЛ]] (резисторно-транзисторная логика)
* [[ДТЛ]] (диодно-транзисторная логика)
* [[Диодно-транзисторная логика|ДТЛ]] (диодно-транзисторная логика)
* [[ТТЛ]] (транзисторно-транзисторная логика)
* [[Транзисторно-транзисторная логика|ТТЛ]] (транзисторно-транзисторная логика)
[[Файл:TTL npn nand.svg|thumb|Упрощённая схема двухвходового элемента [[логический вентиль|И-НЕ]] ТТЛ .]]
[[Файл:TTL npn nand.svg|thumb|Упрощённая схема двухвходового элемента [[логический вентиль|И-НЕ]] ТТЛ.]]
Обычно входной каскад логических элементов ТТЛ представляет собой простейшие [[компаратор]]ы, которые могут быть выполнены различными способами (на многоэмиттерном транзисторе или на диодной сборке). В логических элементах ТТЛ входной каскад, кроме функций компараторов, выполняет и [[логические функции]]. Далее следует выходной [[усилитель]] с двухтактным (двухключевым) выходом.
Обычно входной каскад логических элементов ТТЛ представляет собой простейшие [[компаратор]]ы, которые могут быть выполнены различными способами (на многоэмиттерном транзисторе или на диодной сборке). В логических элементах ТТЛ входной каскад, кроме функций компараторов, выполняет и [[логические функции]]. Далее следует выходной [[усилитель]] с двухтактным (двухключевым) выходом.


В логических элементах КМОП входные каскады также представляют собой простейшие компараторы. Усилителями являются КМОП-транзисторы. Логические функции выполняются комбинациями параллельно и последовательно включенных ключей, которые одновременно являются и выходными ключами.
В логических элементах КМОП входные каскады также представляют собой простейшие компараторы. Усилителями являются КМОП-транзисторы. Логические функции выполняются комбинациями параллельно и последовательно включенных ключей, которые одновременно являются и выходными ключами.


Транзисторы могут работать в инверсном режиме, но с меньшим коэффициентом усиления. Это свойство используется в [[ТТЛ]] [[многоэмиттерный транзистор|многоэмиттерных транзисторах]]. При подаче на оба входа сигнала высокого уровня (1,1) первый транзистор оказывается включённым в инверсном режиме по схеме эмиттерного повторителя с высоким уровнем на базе, транзистор открывается и подключает базу второго транзистора к высокому уровню, ток идёт через первый транзистор в базу второго транзистора и открывает его. Второй транзистор «открыт», его сопротивление мало и на его коллекторе напряжение соответствует низкому уровню (0). Если хотя бы на одном из входов сигнал низкого уровня (0), то транзистор оказывается включённым по схеме с общим эмиттером, через базу первого транзистора на этот вход идёт ток, что открывает его и он закорачивает базу второго транзистора на землю, напряжение на базе второго транзистора мало и он «закрыт», выходное напряжение соответствует высокому уровню. Таким образом, [[таблица истинности]] соответствует функции 2И-НЕ.
Транзисторы могут работать в инверсном режиме, но с меньшим коэффициентом усиления. Это свойство используется в [[Транзисторно-транзисторная логика|ТТЛ]] [[многоэмиттерный транзистор|многоэмиттерных транзисторах]]. При подаче на оба входа сигнала высокого уровня (1,1) первый транзистор оказывается включённым в инверсном режиме по схеме эмиттерного повторителя с высоким уровнем на базе, транзистор открывается и подключает базу второго транзистора к высокому уровню, ток идёт через первый транзистор в базу второго транзистора и открывает его. Второй транзистор «открыт», его сопротивление мало и на его коллекторе напряжение соответствует низкому уровню (0). Если хотя бы на одном из входов сигнал низкого уровня (0), то транзистор оказывается включённым по схеме с общим эмиттером, через базу первого транзистора на этот вход идёт ток, что открывает его и он закорачивает базу второго транзистора на землю, напряжение на базе второго транзистора мало́ и он «закрыт», выходное напряжение соответствует высокому уровню. Таким образом, [[таблица истинности]] соответствует функции 2И-НЕ.


[[Файл:3И-НЕ 74LS(К555).svg|thumb|320px|Схема элемента 3И-НЕ с диодами и транзисторами Шоттки. Серия микросхем 74LS (К555).]]
* [[ТТЛШ]] (то же с [[диод Шоттки|диодами Шоттки]])
* [[ТТЛШ]] (то же с [[диод Шоттки|диодами Шоттки]])
Для увеличения быстродействия логических элементов в них используются транзисторы Шоттки (транзисторы с диодами Шоттки), отличительной особенностью которых является применение в их конструкции выпрямляющего контакта металл-полупроводник вместо [[p-n переход]]а. При работе этих приборов отсутствует инжекция неосновных носителей и явления накопления и рассасывания заряда, что обеспечивает высокое [[быстродействие]]. Включение этих диодов параллельно коллекторному переходу блокирует насыщение выходных транзисторов, что увеличивает напряжения логических 0 и 1, но уменьшает потери времени на переключение логического элемента при том же потребляемом токе (или позволяет уменьшить потребляемый ток при сохранении стандартного быстродействия). Так, серия 74хх и серия 74LSxx имеют приблизительно равное быстродействие (в действительности, серия 74LSxx несколько быстрее), но потребляемый от источника питания ток меньше в 4-5 раз (во столько же раз меньше и входной ток логического элемента).
Для увеличения быстродействия логических элементов в них используются транзисторы Шоттки (транзисторы с диодами Шоттки), отличительной особенностью которых является применение в их конструкции выпрямляющего контакта металл-полупроводник вместо [[p-n-переход]]а. При работе этих приборов отсутствует инжекция неосновных носителей и явления накопления и рассасывания заряда, что обеспечивает высокое [[быстродействие]]. Включение этих диодов параллельно коллекторному переходу блокирует насыщение выходных транзисторов, что увеличивает напряжения логического 0, так как падени напряжения на насыщенном транзисторе больше, но уменьшает потери времени на переключение логического элемента при том же потребляемом токе (или позволяет уменьшить потребляемый ток при сохранении быстродействия). Так, серия 74хх — классическая серия ТТЛ и серия 74LSxx — серия с диодами Шоттки, имеют приблизительно равное быстродействие (фактически серия 74LSxx несколько быстрее), но потребляемый ток меньше в {{nobr|4—5 раз}} и во столько же раз меньше и входной ток логического элемента.


* [[КМОП]] (логика на основе комплементарных ключей на МОП [[транзистор]]ах)
* [[КМОП]] (логика на основе комплементарных ключей на МОП [[транзистор]]ах).
* [[Эмиттерно-связанная логика|ЭСЛ]] (эмиттерно-связанная логика)
* [[Эмиттерно-связанная логика|ЭСЛ]] (эмиттерно-связанная логика).
Эта логика, иначе называемая логикой на переключателях тока, построена на базе биполярных транзисторов, объединённых в дифференциальные каскады. Один из входов обычно подключён внутри микросхемы к источнику опорного (образцового) напряжения, примерно посредине между логическими уровнями. Сумма токов через транзисторы дифференциального каскада постоянна, в зависимости от логического уровня на входе изменяется лишь то, через какой из транзисторов течёт этот ток. В отличие от ТТЛ, транзисторы в ЭСЛ работают в активном режиме и не входят в насыщение или инверсный режим. Это приводит к тому, что быстродействие ЭСЛ-элемента при той же технологии (тех же характеристиках транзисторов) гораздо больше, чем ТТЛ-элемента, но больше и потребляемый ток. К тому же, разница между логическими уровнями у ЭСЛ-элемента намного меньше, чем у ТТЛ (меньше вольта), и, для приемлемой помехоустойчивости, приходится использовать отрицательное напряжение питания (а иногда и применять для выходных каскадов второе питание). Зато максимальные частоты переключения триггеров на ЭСЛ более, чем на порядок превышают возможности современных им ТТЛ, например, серия К500 обеспечивала частоты переключения 160—200 МГц, по сравнению с 10-15 МГц современной ей ТТЛ серии К155. В настоящее время и ТТЛ(Ш), и ЭСЛ практически не используются, так как с уменьшением проектных норм КМОП технология достигла частот переключения в несколько гигагерц.
Эта логика, иначе называемая логикой на переключателях тока, построена на базе биполярных транзисторов, объединённых в дифференциальные каскады. Один из входов обычно подключён внутри микросхемы к источнику опорного (образцового) напряжения, примерно посредине между логическими уровнями. Сумма токов через транзисторы дифференциального каскада постоянна, в зависимости от логического уровня на входе изменяется лишь то, через какой из транзисторов течёт этот ток. В отличие от ТТЛ, транзисторы в ЭСЛ работают в активном режиме и не входят в насыщение или инверсный режим. Это приводит к тому, что быстродействие ЭСЛ-элемента при той же технологии (тех же характеристиках транзисторов) гораздо больше, чем ТТЛ-элемента, но больше и потребляемый ток. К тому же, разница между логическими уровнями у ЭСЛ-элемента намного меньше, чем у ТТЛ (меньше вольта), и, для приемлемой помехоустойчивости, приходится использовать отрицательное напряжение питания (а иногда и применять для выходных каскадов второе питание). Зато максимальные частоты переключения триггеров на ЭСЛ более, чем на порядок превышают возможности современных им ТТЛ, например, серия К500 обеспечивала частоты переключения {{nobr|160—200 МГц,}} по сравнению с {{nobr|10—15 МГц}} современной ей ТТЛ серии К155. В настоящее время и ТТЛ(Ш), и ЭСЛ практически не используются, так как с уменьшением проектных норм КМОП-технология достигла частот переключения в несколько гигагерц.


=== Инвертор ===
=== Инвертор ===
Строка 400: Строка 323:


== Применение логических элементов ==
== Применение логических элементов ==
Логические элементы входят в состав микросхем, например ТТЛ элементы — в состав микросхем К155 (SN74), К133; ТТЛШ — 530, 533, К555, ЭСЛ — 100, К500 и т. д.
Логические элементы входят в состав серий микросхем, например ТТЛ-элементы — в состав микросхем серии К155 (SN74), К133; ТТЛШ — 530, 533, К555, ЭСЛ — 100, К500 и т. д.


== Комбинационные логические устройства ==
== Комбинационные логические устройства ==
Строка 431: Строка 354:
* [[Двухуровневый элемент]]
* [[Двухуровневый элемент]]
* [[Логический вентиль]]
* [[Логический вентиль]]

== Примечания ==
{{примечания}}


== Литература ==
== Литература ==
Строка 441: Строка 361:
|автор = Новиков Ю. В.
|автор = Новиков Ю. В.
|ссылка = http://www.intuit.ru/studies/courses/104/104/info
|ссылка = http://www.intuit.ru/studies/courses/104/104/info
|isbn = 5-94774-600-Х
|isbn = 5-94774-600-X
|страницы =
|страницы =
|год = 2006
|год = 2006
Строка 448: Строка 368:
|издательство = Интернет-университет информационных технологий
|издательство = Интернет-университет информационных технологий
}}
}}

== Примечания ==
{{примечания}}


== Ссылки ==
== Ссылки ==
Строка 454: Строка 377:
{{rq|sources|wikify}}
{{rq|sources|wikify}}


[[Категория:Логические элементы]]
[[Категория:Логические элементы| ]]

Текущая версия от 10:49, 16 мая 2024

Логические элементы — устройства, предназначенные для обработки информации в цифровой форме (последовательности сигналов высокого — «1» и низкого — «0» уровней в двоичной логике, последовательности «0», «1» и «2» в троичной логике, последовательности «0», «1», «2», «3», «4», «5», «6», «7», «8» и «9» — в десятичной). Физически логические элементы могут быть выполнены механическими, электромеханическими (на электромагнитных реле), электронными (в частности, на диодах или транзисторах), пневматическими, гидравлическими, оптическими и другими.

С развитием электротехники от механических логических элементов перешли к электромеханическим логическим элементам (на электромагнитных реле), а затем к электронным логическим элементам: вначале — на электронных лампах, позже — на транзисторах. После доказательства в 1946 году теоремы Джона фон Неймана об экономичности показательных позиционных систем счисления стало известно о преимуществах двоичной и троичной систем счисления по сравнению с десятичной системой счисления. От десятичных логических элементов перешли к двоичным логическим элементам. Двоичность и троичность позволяет значительно сократить количество операций и элементов, выполняющих эту обработку, по сравнению с десятичными логическими элементами.

Логические элементы выполняют логическую функцию (операцию) над входными сигналами (операндами, данными).

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

Всего существует двухвходовых двоичных логических элементов и трёхвходовых двоичных логических элементов (и соответствующих булевых функций). Аналогично, для троичной логики возможны 19 683 двухвходовых и 7 625 597 484 987 трёхвходовых логических элементов.

Двоичные логические операции с цифровыми сигналами (битовые операции)

[править | править код]

Своё теоретическое обоснование логические операции (булева функция) получили в алгебре логики.

Логические операции с одним операндом называются унарными, с двумя — бинарными, с тремя — тернарными (триарными, тринарными) и т. д.

Унарные операции

[править | править код]

Из возможных унарных операций с унарным выходом интерес для реализации представляют операции отрицания (инверсии) и повторения, причём, операция отрицания имеет бо́льшую значимость, чем операция повторения, так как повторитель может быть собран из двух инверторов, а инвертор из повторителей не собрать.

Отрицание (инверсия). Операция «НЕ»

[править | править код]
0 1
1 0

Мнемоническое правило для отрицания звучит так — на выходе будет:

Повторение

[править | править код]
(буферизованное)
0 0
1 1

Выходная логическая переменная равна входной.

Бинарные операции

[править | править код]

Преобразование информации требует выполнения операций с группами знаков, простейшей из которых является группа из двух знаков. Оперирование с большими группами всегда можно разбить на последовательные операции с двумя знаками. Из возможных бинарных логических операций с двумя знаками с унарным выходом интерес для реализации представляют 10 операций, приведённых ниже.

Конъюнкция (логическое умножение). Операция «И»

[править | править код]
0 0 0
0 1 0
1 0 0
1 1 1

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

  • «1» тогда и только тогда, когда на всех входах действуют «1»,
  • «0» тогда и только тогда, когда хотя бы на одном входе действует «0».

Словесно эту операцию можно выразить следующим выражением: «Истина на выходе может быть только при истине на входе 1 И истине на входе 2».

Дизъюнкция (логическое сложение). Операция «ИЛИ»

[править | править код]
0 0 0
0 1 1
1 0 1
1 1 1

Мнемоническое правило для дизъюнкции с любым количеством входов звучит так — на выходе будет:

  • «1» тогда и только тогда, когда хотя бы на одном входе действует «1»,
  • «0» тогда и только тогда, когда на всех входах действуют «0».

Инверсия функции конъюнкции. Операция «И-НЕ» (штрих Шеффера)

[править | править код]
0 0 1
0 1 1
1 0 1
1 1 0

Мнемоническое правило для И-НЕ с любым количеством входов звучит так — на выходе будет:

  • «1» тогда и только тогда, когда хотя бы на одном входе действует «0»,
  • «0» тогда и только тогда, когда на всех входах действуют «1».

Инверсия функции дизъюнкции. Операция «ИЛИ-НЕ» (стрелка Пирса)

[править | править код]
0 0 1
0 1 0
1 0 0
1 1 0

Мнемоническое правило для ИЛИ-НЕ с любым количеством входов звучит так — на выходе будет:

  • «1» тогда и только тогда, когда на всех входах действуют «0»,
  • «0» тогда и только тогда, когда хотя бы на одном входе действует «1».

Эквивалентность (равнозначность, тождество). Операция «исключающее ИЛИ-НЕ»

[править | править код]
0 0 1
0 1 0
1 0 0
1 1 1

Мнемоническое правило эквивалентности с любым количеством входов звучит так — на выходе будет[источник не указан 1635 дней]:

  • «1» тогда и только тогда, когда на входе действует чётное количество «1» или «0».
  • «0» тогда и только тогда, когда на входе действует нечётное количество «1».

Словесная запись: «истина на выходе при истине на входе 1 и входе 2 или при лжи на входе 1 и входе 2».

Сложение (сумма) по модулю 2 (неравнозначность, инверсия равнозначности). Операция «исключающее ИЛИ»

[править | править код]
0 0 0
0 1 1
1 0 1
1 1 0

Мнемоническое правило для суммы по модулю 2 с любым количеством входов звучит так — на выходе будет:

  • «1» тогда и только тогда, когда на входе действует нечётное количество «1»,
  • «0» тогда и только тогда, когда на входе действует чётное количество «1».

Словесное описание: «истина на выходе — при истине только на входе 1, либо при истине только на входе 2».

Импликация от A к B (прямая импликация, инверсия декремента, следовательно, A<=B)

[править | править код]
0 0 1
0 1 1
1 0 0
1 1 1

Мнемоническое правило для инверсии декремента звучит так — на выходе будет:

  • «0» тогда и только тогда, когда значение на «B» меньше значения на «A»,
  • «1» тогда и только тогда, когда значение на «B» больше либо равно значению на «A».

Импликация от B к A (обратная импликация, инверсия инкремента, A>=B)

[править | править код]
0 0 1
0 1 0
1 0 1
1 1 1

Мнемоническое правило для инверсии инкремента звучит так — на выходе будет:

  • «0» тогда и только тогда, когда значение на «B» больше значения на «A»,
  • «1» тогда и только тогда, когда значение на «B» меньше либо равно значению на «A».

Декремент. Запрет импликации по B. Инверсия импликации от A к B

[править | править код]
0 0 0
0 1 0
1 0 1
1 1 0

Мнемоническое правило для инверсии импликации от A к B звучит так — на выходе будет:

  • «1» тогда и только тогда, когда значение на «A» больше значения на «B»,
  • «0» тогда и только тогда, когда значение на «A» меньше либо равно значению на «B».

Инкремент. Запрет импликации по A. Инверсия импликации от B к A

[править | править код]
0 0 0
0 1 1
1 0 0
1 1 0

Мнемоническое правило для инверсии импликации от B к A звучит так — на выходе будет:

  • «1» тогда и только тогда, когда значение на «B» больше значения на «A»,
  • «0» тогда и только тогда, когда значение на «B» меньше либо равно значению на «A».

Примечание 1. Элементы импликаций не имеют промышленных аналогов для функций с количеством входов, не равным 2.
Примечание 2. Элементы импликаций не имеют промышленных аналогов.
[источник не указан 1923 дня]

Этими простейшими логическими операциями (функциями), и даже некоторыми их подмножествами, можно выразить любые другие логические операции. Такой набор простейших функций называется функционально полным логическим базисом. Таких базисов 4:

  • И, НЕ (2 элемента)
  • ИЛИ, НЕ (2 элемента)
  • И-НЕ (1 элемент)
  • ИЛИ-НЕ (1 элемент).

Для преобразования логических функций в один из названных базисов необходимо применять законы (правила) де Моргана.

Физические реализации

[править | править код]

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

  • механические,
  • гидравлические,
  • пневматические,
  • электромагнитные,
  • электромеханические,
  • электронные,
  • оптические.

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

Классификация электронных транзисторных физических реализаций логических элементов

[править | править код]

Логические элементы подразделяются и по типу использованных в них электронных элементов. Наибольшее применение в настоящее время находят следующие логические элементы:

  • РТЛ (резисторно-транзисторная логика)
  • ДТЛ (диодно-транзисторная логика)
  • ТТЛ (транзисторно-транзисторная логика)
Упрощённая схема двухвходового элемента И-НЕ ТТЛ.

Обычно входной каскад логических элементов ТТЛ представляет собой простейшие компараторы, которые могут быть выполнены различными способами (на многоэмиттерном транзисторе или на диодной сборке). В логических элементах ТТЛ входной каскад, кроме функций компараторов, выполняет и логические функции. Далее следует выходной усилитель с двухтактным (двухключевым) выходом.

В логических элементах КМОП входные каскады также представляют собой простейшие компараторы. Усилителями являются КМОП-транзисторы. Логические функции выполняются комбинациями параллельно и последовательно включенных ключей, которые одновременно являются и выходными ключами.

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

Схема элемента 3И-НЕ с диодами и транзисторами Шоттки. Серия микросхем 74LS (К555).

Для увеличения быстродействия логических элементов в них используются транзисторы Шоттки (транзисторы с диодами Шоттки), отличительной особенностью которых является применение в их конструкции выпрямляющего контакта металл-полупроводник вместо p-n-перехода. При работе этих приборов отсутствует инжекция неосновных носителей и явления накопления и рассасывания заряда, что обеспечивает высокое быстродействие. Включение этих диодов параллельно коллекторному переходу блокирует насыщение выходных транзисторов, что увеличивает напряжения логического 0, так как падени напряжения на насыщенном транзисторе больше, но уменьшает потери времени на переключение логического элемента при том же потребляемом токе (или позволяет уменьшить потребляемый ток при сохранении быстродействия). Так, серия 74хх — классическая серия ТТЛ и серия 74LSxx — серия с диодами Шоттки, имеют приблизительно равное быстродействие (фактически серия 74LSxx несколько быстрее), но потребляемый ток меньше в 4—5 раз и во столько же раз меньше и входной ток логического элемента.

Эта логика, иначе называемая логикой на переключателях тока, построена на базе биполярных транзисторов, объединённых в дифференциальные каскады. Один из входов обычно подключён внутри микросхемы к источнику опорного (образцового) напряжения, примерно посредине между логическими уровнями. Сумма токов через транзисторы дифференциального каскада постоянна, в зависимости от логического уровня на входе изменяется лишь то, через какой из транзисторов течёт этот ток. В отличие от ТТЛ, транзисторы в ЭСЛ работают в активном режиме и не входят в насыщение или инверсный режим. Это приводит к тому, что быстродействие ЭСЛ-элемента при той же технологии (тех же характеристиках транзисторов) гораздо больше, чем ТТЛ-элемента, но больше и потребляемый ток. К тому же, разница между логическими уровнями у ЭСЛ-элемента намного меньше, чем у ТТЛ (меньше вольта), и, для приемлемой помехоустойчивости, приходится использовать отрицательное напряжение питания (а иногда и применять для выходных каскадов второе питание). Зато максимальные частоты переключения триггеров на ЭСЛ более, чем на порядок превышают возможности современных им ТТЛ, например, серия К500 обеспечивала частоты переключения 160—200 МГц, по сравнению с 10—15 МГц современной ей ТТЛ серии К155. В настоящее время и ТТЛ(Ш), и ЭСЛ практически не используются, так как с уменьшением проектных норм КМОП-технология достигла частот переключения в несколько гигагерц.

Одним из основных логических элементов является инвертор. Инвертирующими каскадами являются однотранзисторный каскад с общим эмиттером, однотранзисторный каскад с общим истоком, двухтранзисторный двухтактный выходной каскад на комплементарных парах транзисторов с последовательным включением транзисторов по постоянному току (применяется в ТТЛ и КМОП), двухтранзисторный дифференциальный каскад с параллельным включением транзисторов по постоянному току (применяется в ЭСЛ) и др. Но одного условия инвертирования недостаточно для применения инвертирующего каскада в качестве логического инвертора. Логический инвертор должен иметь смещённую рабочую точку на один из краёв проходной характеристики, что делает каскад неустойчивым в середине диапазона входных величин и устойчивым в крайних положениях (закрыт, открыт). Такой характеристикой обладает компаратор, поэтому логические инверторы строят как компараторы, а не как гармонические усилительные каскады с устойчивой рабочей точкой в середине диапазона входных величин. Таких каскадов, как и контактных групп реле, может быть два вида: нормально закрытые (разомкнутые) и нормально открытые (замкнутые).

Применение логических элементов

[править | править код]

Логические элементы входят в состав серий микросхем, например ТТЛ-элементы — в состав микросхем серии К155 (SN74), К133; ТТЛШ — 530, 533, К555, ЭСЛ — 100, К500 и т. д.

Комбинационные логические устройства

[править | править код]

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

Все они выполняют простейшие двоичные, троичные или n-ичные логические функции.

Последовательностные цифровые устройства

[править | править код]

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

Литература

[править | править код]
  • Новиков Ю. В. Введение в цифровую схемотехнику. Курс лекций. — М.: Интернет-университет информационных технологий, 2006. — ISBN 5-94774-600-X.

Примечания

[править | править код]