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

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
[отпатрулированная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
Нет описания правки
Нет описания правки
Метки: через визуальный редактор с мобильного устройства из мобильной версии
 
(не показано 30 промежуточных версий 23 участников)
Строка 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 году теоремы [[Нейман, Джон фон|Джона фон Неймана]] об экономичности показательных позиционных систем счисления стало известно о преимуществах двоичной и троичной систем счисления по сравнению с десятичной системой счисления. От десятичных логических элементов перешли к двоичным логическим элементам. Двоичность и троичность позволяет значительно сократить количество операций и элементов, выполняющих эту обработку, по сравнению с десятичными логическими элементами.
Строка 5: Строка 5:
Логические элементы выполняют [[Булева функция|логическую функцию]] (операцию) над входными сигналами (операндами, данными).
Логические элементы выполняют [[Булева функция|логическую функцию]] (операцию) над входными сигналами (операндами, данными).


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


== Двоичные [[Логическая операция|логические операции]] с цифровыми сигналами ([[битовые операции]]) ==
== Двоичные логические операции с цифровыми сигналами (битовые операции) ==
{{Main|Логическая операция|Битовая операция}}
Логические операции ([[булева функция]]) своё теоретическое обоснование получили в [[математическая логика|алгебре логики]].
Своё теоретическое обоснование логические операции ([[булева функция]]) получили в [[математическая логика|алгебре логики]].


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


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


==== {{vanchor|Отрицание}} ({{vanchor|инверсия}}). Операция [[Цифровой инвертор|«{{vanchor|НЕ}}»]] ====
==== {{vanchor|Отрицание}} ({{vanchor|инверсия}}). Операция «[[Цифровой инвертор|{{vanchor|НЕ}}]]» ====
{{Врезка
{{Врезка
|Выравнивание = right
|Выравнивание = right
Строка 28: Строка 29:
|Выравн. подписи = left
|Выравн. подписи = left
}}
}}
{| class="wikitable" style="text-align:center"
{| class="wikitable" style="float:left; text-align: center; margin-right:1em; clear:left"
! <math>A</math> !! <math>\neg A</math>
! <math>A</math> !! <math>\neg A</math>
|-
|-
Строка 38: Строка 39:
* «1» [[тогда и только тогда]], когда на входе «0»,
* «1» [[тогда и только тогда]], когда на входе «0»,
* «0» тогда и только тогда, когда на входе «1».
* «0» тогда и только тогда, когда на входе «1».
{{-}}

==== Повторение ====
==== Повторение ====
{{Врезка
{{Врезка
Строка 48: Строка 49:
</gallery>
</gallery>
}}
}}
{| class="wikitable" style="text-align:center"
{| class="wikitable" style="float:left; text-align: center; margin-right:1em; clear:left"
! <math>A</math> !! <math>A</math> <small>(буферизованное)</small>
! <math>A</math> !! <math>A</math> <small>(буферизованное)</small>
|-
|-
Строка 55: Строка 56:
| 1 || 1
| 1 || 1
|}
|}
Выходная логическая переменная равна входной.

{{-}}
=== Бинарные операции ===
=== Бинарные операции ===
Преобразование информации требует выполнения операций с группами знаков, простейшей из которых является группа из двух знаков. Оперирование с большими группами всегда можно разбить на последовательные операции с двумя знаками. Из <math>2^{\left( 2^2 \right)} = 2^4 = 16</math> возможных бинарных логических операций с двумя знаками с унарным выходом интерес для реализации представляют 10{{nbsp}}операций, приведённых ниже.
Преобразование информации требует выполнения операций с группами знаков, простейшей из которых является группа из двух знаков. Оперирование с большими группами всегда можно разбить на последовательные операции с двумя знаками. Из <math>2^{\left( 2^2 \right)} = 2^4 = 16</math> возможных бинарных логических операций с двумя знаками с унарным выходом интерес для реализации представляют 10{{nbsp}}операций, приведённых ниже.


==== {{vanchor|Конъюнкция}} (логическое умножение). Операция [[:en:AND gate|«{{vanchor|И}}»]] ====
==== {{vanchor|Конъюнкция}} (логическое умножение). Операция «[[:en:AND gate|{{vanchor|И}}]]» ====
{{Врезка
{{Врезка
|Выравнивание = right
|Выравнивание = right
Строка 68: Строка 70:
</gallery>
</gallery>
}}
}}
{| class="wikitable" style="text-align:center"
{| class="wikitable" style="float:left; text-align: center; margin-right:1em; clear:left"
! <math>A</math> !! <math>B</math> !! <math>A \land B</math>
! <math>A</math> !! <math>B</math> !! <math>A \land B</math>
|-
|-
Строка 84: Строка 86:


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

==== {{vanchor|Дизъюнкция}} (логическое сложение). Операция [[:en:OR gate|«{{vanchor|ИЛИ}}»]] ====
==== {{vanchor|Дизъюнкция}} (логическое сложение). Операция «[[:en:OR gate|{{vanchor|ИЛИ}}]]» ====
{{Врезка
{{Врезка
|Выравнивание = right
|Выравнивание = right
Строка 94: Строка 96:
</gallery>
</gallery>
}}
}}
{| class="wikitable" style="text-align:center"
{| class="wikitable" style="float:left; text-align: center; margin-right:1em; clear:left"
! <math>A</math> !! <math>B</math> !! <math>A \lor B</math>
! <math>A</math> !! <math>B</math> !! <math>A \lor B</math>
|-
|-
Строка 108: Строка 110:
* «1» тогда и только тогда, когда '''''хотя бы на одном''''' входе действует «1»,
* «1» тогда и только тогда, когда '''''хотя бы на одном''''' входе действует «1»,
* «0» тогда и только тогда, когда '''''на всех''''' входах действуют «0».
* «0» тогда и только тогда, когда '''''на всех''''' входах действуют «0».
{{-}}

==== {{vanchor|Инверсия функции конъюнкции}}. Операция [[:en:NAND gate|«{{vanchor|И-НЕ}}»]] ([[Штрих Шеффера|{{vanchor|штрих Шеффера}}]]) ====
==== {{vanchor|Инверсия функции конъюнкции}}. Операция «[[:en:NAND gate|{{vanchor|И-НЕ}}]]» ([[Штрих Шеффера|{{vanchor|штрих Шеффера}}]]) ====
{{Врезка
{{Врезка
|Выравнивание = right
|Выравнивание = right
Строка 118: Строка 120:
</gallery>
</gallery>
}}
}}
{| class="wikitable" style="text-align:center"
{| class="wikitable" style="float:left; text-align: center; margin-right:1em; clear:left"
! <math>A</math> !! <math>B</math> !! <math>A|B</math>
! <math>A</math> !! <math>B</math> !! <math>A|B</math>
|-
|-
Строка 132: Строка 134:
* «1» тогда и только тогда, когда '''''хотя бы на одном''''' входе действует «0»,
* «1» тогда и только тогда, когда '''''хотя бы на одном''''' входе действует «0»,
* «0» тогда и только тогда, когда '''''на всех''''' входах действуют «1».
* «0» тогда и только тогда, когда '''''на всех''''' входах действуют «1».
{{-}}

==== {{vanchor|Инверсия функции дизъюнкции}}. Операция [[:en:NOR gate|«{{vanchor|ИЛИ-НЕ}}»]] ([[Стрелка Пирса|{{vanchor|стрелка Пирса}}]]) ====
==== {{vanchor|Инверсия функции дизъюнкции}}. Операция «[[:en:NOR gate|{{vanchor|ИЛИ-НЕ}}]]» ([[Стрелка Пирса|{{vanchor|стрелка Пирса}}]]) ====
{{Врезка
{{Врезка
|Выравнивание = right
|Выравнивание = right
Строка 142: Строка 144:
</gallery>
</gallery>
}}
}}
{| class="wikitable" style="text-align:center"
{| class="wikitable" style="float:left; text-align: center; margin-right:1em; clear:left"
! <math>A</math> !! <math>B</math> !! <math>A \downarrow B</math>
! <math>A</math> !! <math>B</math> !! <math>A \downarrow B</math>
|-
|-
Строка 156: Строка 158:
* «1» тогда и только тогда, когда '''''на всех''''' входах действуют «0»,
* «1» тогда и только тогда, когда '''''на всех''''' входах действуют «0»,
* «0» тогда и только тогда, когда '''''хотя бы на одном''''' входе действует «1».
* «0» тогда и только тогда, когда '''''хотя бы на одном''''' входе действует «1».
{{-}}


==== {{vanchor|Эквивалентность}} ({{vanchor|равнозначность}}). Операция [[:en:XNOR gate|«{{vanchor|исключающее ИЛИ-НЕ}}»]] ====
==== {{vanchor|Эквивалентность}} ({{vanchor|равнозначность}}, тождество). Операция «[[:en:XNOR gate|{{vanchor|исключающее ИЛИ-НЕ}}]]» ====
{{Врезка
{{Врезка
|Выравнивание = right
|Выравнивание = right
Строка 166: Строка 169:
</gallery>
</gallery>
}}
}}
{| class="wikitable" style="text-align:center"
{| class="wikitable" style="float:left; text-align: center; margin-right:1em; clear:left"
! <math>A</math> !! <math>B</math> !! <math>A \leftrightarrow B</math>
! <math>A</math> !! <math>B</math> !! <math>A \leftrightarrow B</math>
|-
|-
Строка 177: Строка 180:
| 1 || 1 || 1
| 1 || 1 || 1
|}
|}
Мнемоническое правило эквивалентности с любым количеством входов звучит так — на выходе будет:
Мнемоническое правило эквивалентности с любым количеством входов звучит так — на выходе будет{{Нет АИ|5|7|2020}}:
* «1» тогда и только тогда, когда на входе действует '''''чётное количество''''' «1»,
* «1» тогда и только тогда, когда на входе действует '''''чётное количество''''' «1» или «0».
* «0» тогда и только тогда, когда на входе действует '''''нечётное количество''''' «1».
* «0» тогда и только тогда, когда на входе действует '''''нечётное количество''''' «1».


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

==== {{anchor|Сложение по модулю 2}}{{anchor|Сумма по модулю 2}}Сложение (сумма) по модулю 2 ({{vanchor|неравнозначность}}, {{vanchor|инверсия равнозначности}}). Операция [[:en:XOR gate|«{{vanchor|исключающее ИЛИ}}»]] ====
==== {{anchor|Сложение по модулю 2}}{{anchor|Сумма по модулю 2}}Сложение (сумма) по модулю 2 ({{vanchor|неравнозначность}}, {{vanchor|инверсия равнозначности}}). Операция «[[:en:XOR gate|{{vanchor|исключающее ИЛИ}}]]» ====
{{Врезка
{{Врезка
|Выравнивание = right
|Выравнивание = right
Строка 192: Строка 195:
</gallery>
</gallery>
}}
}}
{| class="wikitable" style="text-align:center"
{| class="wikitable" style="float:left; text-align: center; margin-right:1em; clear:left"
! <math>A</math> !! <math>B</math> !! <math>A \oplus B</math>
! <math>A</math> !! <math>B</math> !! <math>A \oplus B</math>
|-
|-
Строка 207: Строка 210:
* «0» тогда и только тогда, когда на входе действует '''''чётное''''' количество «1».
* «0» тогда и только тогда, когда на входе действует '''''чётное''''' количество «1».
Словесное описание: «истина на выходе — при истине '''только''' на входе{{nbsp}}1, либо при истине '''только''' на входе{{nbsp}}2».
Словесное описание: «истина на выходе — при истине '''только''' на входе{{nbsp}}1, либо при истине '''только''' на входе{{nbsp}}2».
{{-}}

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


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


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

==== {{vanchor|Инкремент}}. Запрет импликации по A. Инверсия импликации от B к A ====
==== {{vanchor|Инкремент}}. Запрет импликации по A. Инверсия импликации от B к A ====
{| class="wikitable" style="text-align:center"
{| class="wikitable" style="float:left; text-align: center; margin-right:1em; clear:left"
! <math>A</math> !! <math>B</math> !! <math>f \left( A, B \right)</math>
! <math>A</math> !! <math>B</math> !! <math>B</math> <math>A</math>
|-
|-
| 0 || 0 || 0
| 0 || 0 || 0
Строка 274: Строка 279:
{{нет АИ 2|'''Примечание 1'''. Элементы импликаций не имеют промышленных аналогов для функций с количеством входов, не равным{{nbsp}}2.<br>
{{нет АИ 2|'''Примечание 1'''. Элементы импликаций не имеют промышленных аналогов для функций с количеством входов, не равным{{nbsp}}2.<br>
'''Примечание 2'''. Элементы импликаций не имеют промышленных аналогов.|21|09|2019}}
'''Примечание 2'''. Элементы импликаций не имеют промышленных аналогов.|21|09|2019}}
{{-}}

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


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


Транзисторы могут работать в инверсном режиме, но с меньшим коэффициентом усиления. Это свойство используется в [[ТТЛ]] [[многоэмиттерный транзистор|многоэмиттерных транзисторах]]. При подаче на оба входа сигнала высокого уровня (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{{nbsp}}раз (во столько же раз меньше и входной ток логического элемента).
Для увеличения быстродействия логических элементов в них используются транзисторы Шоттки (транзисторы с диодами Шоттки), отличительной особенностью которых является применение в их конструкции выпрямляющего контакта металл-полупроводник вместо [[p-n-переход]]а. При работе этих приборов отсутствует инжекция неосновных носителей и явления накопления и рассасывания заряда, что обеспечивает высокое [[быстродействие]]. Включение этих диодов параллельно коллекторному переходу блокирует насыщение выходных транзисторов, что увеличивает напряжения логического 0, так как падени напряжения на насыщенном транзисторе больше, но уменьшает потери времени на переключение логического элемента при том же потребляемом токе (или позволяет уменьшить потребляемый ток при сохранении быстродействия). Так, серия 74хх — классическая серия ТТЛ и серия 74LSxx — серия с диодами Шоттки, имеют приблизительно равное быстродействие (фактически серия 74LSxx несколько быстрее), но потребляемый ток меньше в {{nobr|4—5 раз}} и во столько же раз меньше и входной ток логического элемента.


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


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


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


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

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


== Литература ==
== Литература ==
Строка 358: Строка 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
Строка 365: Строка 368:
|издательство = Интернет-университет информационных технологий
|издательство = Интернет-университет информационных технологий
}}
}}

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


== Ссылки ==
== Ссылки ==
Строка 371: Строка 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.

Примечания

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