Логический вентиль - Logic gate

А логический вентиль идеализированный модель вычисления или физический электронный устройство, реализующее Логическая функция, а логическая операция выполняется на одном или нескольких двоичный input, который производит единственный двоичный выход. В зависимости от контекста термин может относиться к идеальный логический вентиль, тот, у которого, например, ноль время нарастания и неограниченно разветвление, или это может относиться к неидеальному физическому устройству[1] (видеть Идеальные и настоящие операционные усилители для сравнения).

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

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

Составные логические ворота И-ИЛИ-Инвертировать (AOI) и OR-AND-Invert (OAI) часто используются в схемотехнике, потому что их конструкция с использованием полевых МОП-транзисторов проще и эффективнее, чем сумма отдельных вентилей.[2]

В обратимая логика, Ворота Тоффоли используются.

Электронные ворота

А функционально полный логическая система может состоять из реле, клапаны (вакуумные лампы) или транзисторы. В простейшем семействе логических вентилей используются биполярные транзисторы, и называется резисторно-транзисторная логика (RTL). В отличие от простых логических вентилей на диодах (которые не имеют элемента усиления), вентили RTL можно каскадировать бесконечно для создания более сложных логических функций. Ворота RTL использовались в начале интегральные схемы. Для более высокой скорости и лучшей плотности резисторы, используемые в RTL, были заменены диодами, в результате чего диодно-транзисторная логика (DTL). Транзисторно-транзисторная логика (TTL) затем вытеснил DTL. По мере усложнения интегральных схем биполярные транзисторы были заменены на меньшие полевые транзисторы (МОП-транзисторы ); видеть PMOS и NMOS. Для дальнейшего снижения энергопотребления в большинстве современных микросхем цифровых систем теперь используется CMOS логика. CMOS использует дополнительные (как n-канальные, так и p-канальные) устройства MOSFET для достижения высокой скорости при низком рассеянии мощности.

Для маломасштабной логики разработчики теперь используют готовые логические вентили из семейств устройств, таких как TTL 7400 серии к Инструменты Техаса, то CMOS 4000 серии к RCA, и их более поздние потомки. Все чаще эти логические вентили с фиксированной функцией заменяются на программируемые логические устройства, которые позволяют разработчикам объединить множество вентилей со смешанной логикой в ​​одну интегральную схему. Программируемая природа программируемые логические устройства Такие как ПЛИС уменьшил «жесткость» оборудования; теперь возможно изменить логическую схему аппаратной системы, перепрограммировав некоторые из ее компонентов, что позволяет изменять характеристики или функции аппаратной реализации логической системы. Другие типы логических вентилей включают, но не ограничиваются:[3]

Семья логикиСокращениеОписание
Диодная логикаDL
Логика туннельного диодаTDLТочно так же, как диодная логика, но может работать с более высокой скоростью.[неудачная проверка ]
Неоновая логикаNLДля выполнения логики используются неоновые лампы или трехэлементные неоновые триггерные трубки.
Основная диодная логикаCDLОснащен полупроводниковыми диодами и небольшими ферритовыми тороидальными сердечниками для умеренной скорости и умеренного уровня мощности.
4-слойная логика устройства4LDLИспользует тиристоры и тиристоры для выполнения логических операций там, где требуется высокий ток или высокое напряжение.
Логика транзисторов с прямой связьюDCTLИспользует транзисторы, переключающиеся между состояниями насыщения и отсечки для выполнения логики. Транзисторы требуют тщательно контролируемых параметров. Экономичен, потому что требуется немного других компонентов, но имеет тенденцию к шуму из-за более низких уровней напряжения. Часто считается отцом современной логики TTL.
Металл-оксид-полупроводник логикаMOSИспользует МОП-транзисторы (полевые транзисторы металл-оксид-полупроводник), основа большинства современных логических вентилей. Семейство MOS-логики включает Логика PMOS, Логика NMOS, дополнительный MOS (CMOS) и BiCMOS (биполярный CMOS).
Логика текущего режимаCMLДля выполнения логики используются транзисторы, но смещение происходит от источников постоянного тока, чтобы предотвратить насыщение и обеспечить чрезвычайно быстрое переключение. Имеет высокую помехозащищенность, несмотря на довольно низкие логические уровни.
Клеточные автоматы с квантовыми точкамиQCAИспользует туннелируемые q-биты для синтеза двоичных логических битов. Электростатическая сила отталкивания между двумя электронами в квантовых точках задает конфигурации электронов (которые определяют логическое состояние 1 высокого уровня или логическое состояние 0 низкого уровня) при соответствующих поляризациях. Это метод бестранзисторного, бестокового и бессереходного бинарного логического синтеза, обеспечивающий очень высокую скорость работы.

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

Еще одно важное преимущество стандартизированных семейств логики интегральных схем, таких как семейства 7400 и 4000, состоит в том, что они могут быть подключены каскадом. Это означает, что выход одного затвора может быть подключен к входам одного или нескольких других вентилей и так далее. Системы с разной степенью сложности могут быть построены без особого беспокойства разработчика о внутренней работе затворов при условии учета ограничений каждой интегральной схемы.

Выход одного элемента может управлять только конечным числом входов в другие ворота, число, называемое 'разветвление предел ». Кроме того, всегда есть задержка, называемая 'Задержка распространения ', от изменения входа элемента к соответствующему изменению его выхода. Когда вентили каскадированы, общая задержка распространения приблизительно равна сумме отдельных задержек, что может стать проблемой в высокоскоростных цепях. Дополнительная задержка может быть вызвана, когда много входов подключено к выходу из-за распределенного емкость всех входов и проводки, а также конечную величину тока, которую может обеспечить каждый выход.

История и развитие

В двоичная система счисления был усовершенствован Готфрид Вильгельм Лейбниц (опубликовано в 1705 г.) под влиянием древних И Цзин's двоичная система.[4][5] Лейбниц установил, что использование двоичной системы объединяет принципы арифметика и логика.

В письме 1886 г. Чарльз Сандерс Пирс описал, как логические операции могут выполняться электрическими схемами переключения.[6] В итоге, вакуумные трубки заменены реле для логических операций. Ли Де Форест модификация 1907 г. Клапан Флеминга может использоваться как логический вентиль. Людвиг Витгенштейн представила версию с 16-рядным таблица истинности как предложение 5.101 Логико-философский трактат (1921). Вальтер Боте, изобретатель схема совпадений, попала в состав 1954 г. Нобелевская премия в области физики для первого современного электронного логического элемента И в 1924 году. Конрад Зузе спроектировал и построил электромеханические логические вентили для своего компьютера Z1 (с 1935–38).

С 1934 по 1936 год NEC инженер Акира Накашима представил теория коммутационных цепей в серии статей, показывающих, что двузначный Булева алгебра открытое им независимо, может описывать работу коммутационных цепей.[7][8][9][10] Позже его работы цитировал Клод Э. Шеннон, который разработал использование булевой алгебры в анализе и разработке схем переключения в 1937 году.[9] Использование этого свойства электрических переключателей для реализации логики является фундаментальной концепцией, лежащей в основе всех электронных цифровых устройств. компьютеры. Теория коммутационных цепей легла в основу цифровая схема дизайн, как он стал широко известен в электротехническом сообществе во время и после Вторая Мировая Война, с теоретической строгостью, заменяющей для этого случая методы, которые преобладали ранее.[10]

Металл-оксид-полупроводник (MOS) логика исходит из МОП-транзистор (полевой транзистор металл-оксид-полупроводник), изобретенный Мохамед М. Аталла и Давон Канг в Bell Labs в 1959 г.[11][12] Они впервые продемонстрировали оба Логика PMOS и Логика NMOS в 1960 г.[13] Оба типа позже были объединены и адаптированы в дополнительный MOS (CMOS) логика Чи-Тан Сах и Фрэнк Ванласс в Fairchild Semiconductor в 1963 г.[14]

Активные исследования ведутся в ворота молекулярной логики.

Символы

Синхронный 4-битный символ десятичного счетчика (74LS192) в соответствии со стандартом ANSI / IEEE Std. 91-1984 и публикация IEC 60617-12.

Обычно используются два набора символов для элементарных логических вентилей, оба определены в ANSI /IEEE Std 91-1984 и дополнение к нему ANSI / IEEE Std 91a-1991. Набор «отличительной формы», основанный на традиционных схемах, используется для простых чертежей и происходит от Военный стандарт США MIL-STD-806 1950-х и 1960-х годов. Иногда его неофициально называют «военным», что отражает его происхождение. Набор «прямоугольной формы», основанный на ANSI Y32.14 и других ранних отраслевых стандартах, позже уточненных IEEE и IEC, имеет прямоугольные очертания для всех типов ворот и позволяет отображать гораздо более широкий диапазон устройств, чем это возможно с традиционными символы.[15] Стандарт IEC, IEC 60617-12 был принят другими стандартами, такими как EN 60617-12: 1999 в Европе, BS EN 60617-12: 1999 в Соединенном Королевстве и DIN EN 60617-12: 1998 в Германии.

Общая цель IEEE Std 91-1984 и IEC 60617-12 состояла в том, чтобы предоставить единый метод описания сложных логических функций цифровых схем с помощью схематических символов. Эти функции были более сложными, чем простые логические элементы И и ИЛИ. Это могут быть схемы среднего размера, такие как 4-битный счетчик, для крупномасштабных схем, таких как микропроцессор.

МЭК 617-12 и его преемник МЭК 60617-12 не показывают явно символы «отличительной формы», но не запрещают их.[15] Однако они показаны в ANSI / IEEE 91 (и 91a) со следующим примечанием: «В соответствии с Частью 12 Публикации 617 МЭК, символ отличительной формы не является предпочтительным, но не считается противоречащим этому стандарту. . " В IEC 60617-12, соответственно, содержится примечание (раздел 2.1): «Хотя использование других символов, признанных официальными национальными стандартами, то есть отличительных форм вместо символов [список основных ворот], не является предпочтительным, оно не считается допустимым. в противоречие с этим стандартом. Использование этих других символов в комбинации для образования сложных символов (например, использование в качестве встроенных символов) не рекомендуется ". Этот компромисс был достигнут между соответствующими рабочими группами IEEE и IEC, чтобы стандарты IEEE и IEC находились во взаимном соответствии друг с другом.

Третий стиль символов, DIN 40700 (1976), использовался в Европе и до сих пор широко используется в европейских научных кругах, см. Логическую таблицу в Немецкая Википедия.

В 1980-х годах схемы были преобладающим методом проектирования как печатные платы и пользовательские ИС, известные как вентильные матрицы. Сегодня кастомные ИС и программируемая вентильная матрица обычно разрабатываются с Языки описания оборудования (HDL) такие как Verilog или же VHDL.

ТипОтличительная форма
(IEEE Std 91 / 91a-1991)
Прямоугольная форма
(IEEE Std 91 / 91a-1991)
(МЭК 60617-12: 1997)
Булева алгебра между A и BТаблица истинности
1-входные ворота
Буфер

НЕ символ

НЕ символ

ВХОДВЫХОД
АQ
00
11
НЕТ
(инвертор)

НЕ символ

НЕ символ

или же
ВХОДВЫХОД
АQ
01
10
В электронике вентиль НЕ чаще называют инвертором. Круг на символе называется пузырь и используется в логических схемах для обозначения логического отрицания между внешним логическим состоянием и внутренним логическим состоянием (от 1 до 0 или наоборот). На принципиальной схеме он должен сопровождаться утверждением, что соглашение о позитивной логике или же соглашение отрицательной логики используется (высокий уровень напряжения = 1 или низкий уровень напряжения = 1 соответственно). В клин используется в принципиальных схемах для непосредственного обозначения входа или выхода с активным низким (низкий уровень напряжения = 1) входом или выходом, не требуя единого соглашения на всей принципиальной схеме. Это называется Индикация прямой полярности. См. IEEE Std 91 / 91A и IEC 60617-12. Оба пузырь и клин может использоваться на отличительной форме и прямоугольный -образные символы на принципиальных схемах в зависимости от используемого логического соглашения. На чисто логических схемах только пузырь имеет смысл.
Соединение и Дизъюнкция
И

Символ И

Символ И

или же
ВХОДВЫХОД
АBQ
000
010
100
111
ИЛИ ЖЕ

Символ ИЛИ

Символ ИЛИ

или же
ВХОДВЫХОД
АBQ
000
011
101
111
Альтернативное отрицание и Совместное отрицание
NAND

Символ NAND

Символ NAND

или же
ВХОДВЫХОД
АBQ
001
011
101
110
НИСимвол NORСимвол NOR или же
ВХОДВЫХОД
АBQ
001
010
100
110
Эксклюзивный или и Двусмысленный
XORСимвол XORСимвол XOR или же
ВХОДВЫХОД
АBQ
000
011
101
110
Выход двух входов с исключающим ИЛИ истинен только тогда, когда два входных значения равны разные, и false, если они равны, независимо от значения. Если имеется более двух входов, выход символа отличительной формы не определен. Вывод символа прямоугольной формы является истинным, если количество истинных входов равно одному или точно числу, следующему за «=» в квалифицирующем символе.
XNORСимвол XNORСимвол XNOR или же
ВХОДВЫХОД
АBQ
001
010
100
111

Таблицы истинности

Сравнение выходов логических вентилей с 1 входом.

ВХОДВЫХОД
АБуферИнвертор
001
110

Сравнение выходов логических вентилей с 2 ​​входами.

ВХОДВЫХОД
АBИNANDИЛИ ЖЕНИXORXNOR
00010101
01011010
10011010
11101001

Универсальные логические ворота

Чип 7400, содержащий четыре NAND. Два дополнительных контакта подают питание (+5 В) и подключают землю.

Чарльз Сандерс Пирс (в 1880–81) показал, что Только ворота NOR (или альтернативно Только ворота NAND ) может использоваться для воспроизведения функций всех других логических вентилей, но его работа над ним не была опубликована до 1933 года.[16] Первое опубликованное доказательство было сделано Генри М. Шеффер в 1913 году, поэтому логическая операция И-НЕ иногда называется Инсульт Шеффера; то логическое ИЛИ иногда называют Стрела Пирса.[17] Следовательно, эти ворота иногда называют универсальные логические вентили.[18]

Эквивалентные символы Де Моргана

Используя Законы де Моргана, И функция идентична ИЛИ ЖЕ функция с инвертированными входами и выходами. Точно так же ИЛИ ЖЕ функция идентична И функция с инвертированными входами и выходами. Элемент И-НЕ эквивалентен элементу ИЛИ с инвертированными входами, а элемент ИЛИ-НЕ эквивалентен элементу И с инвертированными входами.

Это приводит к альтернативному набору символов для основных ворот, которые используют противоположный основной символ (И или же ИЛИ ЖЕ), но с инвертированными входами и выходами. Использование этих альтернативных символов может сделать схемы логических цепей более понятными и помочь показать случайное подключение активного высокого выхода к активному низкому входу или наоборот. Любое соединение, которое имеет логические отрицания на обоих концах, может быть заменено соединением без отрицания и подходящей сменой логического элемента или наоборот. Любую связь, имеющую отрицание на одном конце и отсутствие отрицания на другом, можно упростить для интерпретации, вместо этого используя эквивалентный символ Де Моргана на любом из двух концов. Когда индикаторы отрицания или полярности на обоих концах соединения совпадают, на этом пути нет логического отрицания (фактически, пузыри «отменяют»), что упрощает отслеживание логических состояний от одного символа к другому. Это обычно наблюдается в реальных логических диаграммах - таким образом, читатель не должен иметь привычку связывать фигуры исключительно как фигуры ИЛИ или И, но также учитывать пузырьки на входах и выходах, чтобы определить «истинную» логику. указанная функция.

Символ Де Моргана может более четко показать основное логическое назначение ворот и полярность его узлов, которые рассматриваются в «сигнализированном» (активном, включенном) состоянии. Рассмотрим упрощенный случай, когда вентиль И-НЕ с двумя входами используется для управления двигателем, когда на любой из его входов с помощью переключателя устанавливается низкий уровень. Состояние «сигнализировано» (двигатель включен) возникает, когда один ИЛИ другой переключатель включен. В отличие от обычного символа И-НЕ, который предлагает логику И, версия Де Моргана, логический элемент ИЛИ с двумя отрицательными входами, правильно показывает, что ИЛИ представляет интерес. У обычного символа И-НЕ есть пузырь на выходе и нет на входах (противоположность состояний, которые включают двигатель), но символ Де Моргана показывает как входы, так и выход с той полярностью, которая будет приводить в действие двигатель.

Теорема Де Моргана чаще всего используется для реализации логических вентилей в виде комбинаций только вентилей И-НЕ или комбинаций только вентилей ИЛИ-НЕ по экономическим причинам.

Хранилище данных

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

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

Логические вентили с тремя состояниями

Буфер с тремя состояниями можно рассматривать как переключатель. Если B горит, переключатель замкнут. Если B выключен, переключатель разомкнут.

Логический вентиль с тремя состояниями - это тип логического элемента, который может иметь три разных выхода: высокий (H), низкий (L) и высокий импеданс (Z). Состояние с высоким импедансом не играет никакой роли в логике, которая является строго двоичной. Эти устройства используются на автобусов из ЦПУ чтобы позволить нескольким чипам отправлять данные. Группа из трех состояний, управляющая линией с подходящей схемой управления, в основном эквивалентна мультиплексор, которые могут быть физически распределены по отдельным устройствам или сменным картам.

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

Реализации

Начиная с 1990-х годов, большинство логических вентилей производится в CMOS (дополнительный металлооксидный полупроводник), в которой используются как NMOS-, так и PMOS-транзисторы. Часто миллионы логических ворот в упаковке в единственном Интегральная схема.

Есть несколько логические семьи с разными характеристиками (потребляемая мощность, скорость, стоимость, размер) такими как: RDL (резисторно-диодная логика), RTL (резисторно-транзисторная логика), DTL (диодно-транзисторная логика), TTL (транзисторно-транзисторная логика) и КМОП. Также есть подварианты, например стандартная логика CMOS по сравнению с расширенными типами, использующими по-прежнему технологию CMOS, но с некоторыми оптимизациями, чтобы избежать потери скорости из-за более медленных транзисторов PMOS.

Неэлектронные реализации разнообразны, хотя немногие из них используются в практических приложениях. Многие ранние электромеханические цифровые компьютеры, такие как Гарвард Марк I, были построены из релейная логика ворота, используя электромеханические реле. Логические ворота могут быть выполнены с использованием пневматический устройства, такие как Реле Сортеберга или механические логические вентили, в том числе в молекулярном масштабе.[19] Логические ворота были сделаны из ДНК (видеть ДНК-нанотехнологии )[20] и использовался для создания компьютера под названием MAYA (см. МАЯ-II ). Логические ворота могут быть изготовлены из квантово-механический эффекты (хотя квантовые вычисления обычно отличается от логического дизайна; видеть квантовый логический вентиль ). Фотонная логика ворота используют нелинейно-оптический последствия.

В принципе, любой метод, ведущий к воротам, функционально полный (например, вентиль ИЛИ-ИЛИ или И-НЕ) можно использовать для создания любой цифровой логической схемы. Обратите внимание, что использование логики с 3 состояниями для шинных систем не требуется и может быть заменено цифровыми мультиплексорами, которые могут быть построены с использованием только простых логических элементов (таких как элементы NAND, элементы NOR или элементы AND и OR).

Смотрите также

Рекомендации

  1. ^ Jaeger, Microelectronic Circuit Design, McGraw-Hill 1997 г., ISBN  0-07-032482-4, стр. 226–233
  2. ^ Тиндер, Ричард Ф. (2000). Инженерный цифровой дизайн: переработанное второе издание. С. 317–319. ISBN  0-12-691295-5. Получено 2008-07-04.
  3. ^ Роу, Джим. «Схема логики - почему и как» (декабрь 1966 г.). Электроника Австралия.
  4. ^ Нилан, Майкл (2001). Пять "конфуцианских" классиков. Издательство Йельского университета. С. 204–206. ISBN  978-0-300-08185-5. Получено 8 июн 2010.
  5. ^ Перкинс, Франклин. Лейбниц и Китай: торговля света. Кембридж: Издательство Кембриджского университета, 2004. стр. 117. Print.
  6. ^ Пирс, С.С., "Письмо Пирса к А. Маркуанд ", датированный 1886 г., Произведения Чарльза С. Пирса, v. 5, 1993, pp. 421–23. Видеть Беркс, Артур В., "Обзор: Чарльз С. Пирс, Новые элементы математики", Бюллетень Американского математического общества т. 84, п. 5 (1978), pp. 913–18, см. 917. PDF Eprint.
  7. ^ История исследований теории коммутации в Японии, Транзакции IEEJ по основам и материалам, Vol. 124 (2004) № 8, стр. 720–726, Институт инженеров-электриков Японии
  8. ^ Теория коммутации / Теория релейных сетей / Теория логической математики, Компьютерный музей IPSJ, Общество обработки информации Японии
  9. ^ а б Радомир С. Станкович (Университет Ниша ), Яакко Т. Астола (Технологический университет Тампере ), Марк Григорьевич Карповский (Бостонский университет ), Некоторые исторические замечания по теории переключения, 2007, DOI 10.1.1.66.1248
  10. ^ а б Радомир С. Станкович, Яакко Астола (2008), Отпечатки с первых дней информационных наук: серия TICSP о вкладе Акиры Накашимы в теорию переключения, TICSP Series # 40, Международный центр обработки сигналов Тампере, Технологический университет Тампере
  11. ^ "Кто изобрел транзистор?". Музей истории компьютеров. 4 декабря 2013 г.. Получено 20 июля 2019.
  12. ^ «1960: Показан металлооксидно-полупроводниковый (МОП) транзистор». Кремниевый двигатель: хронология развития полупроводников в компьютерах. Музей истории компьютеров. Получено 31 августа, 2019.
  13. ^ Лойек, Бо (2007). История полупроводниковой техники. Springer Science & Business Media. стр.321 –3. ISBN  9783540342588.
  14. ^ «1963: изобретена дополнительная конфигурация схемы МОП». Музей истории компьютеров. Получено 6 июля 2019.
  15. ^ а б Обзор стандарта IEEE 91-1984. Объяснение логических символов, Док. № SDYZ001A, Texas Instruments Semiconductor Group, 1996 г.
  16. ^ Пирс, С. С. (рукопись, зима 1880–1881 гг.), «Булевская алгебра с одной константой», опубликованная в 1933 г. Сборник статей v. 4, пункты 12–20. Перепечатано в 1989 г. Произведения Чарльза С. Пирса v. 4, pp. 218–21, Google [1]. См. Робертс, Дон Д. (2009), Экзистенциальные графы Чарльза С. Пирса, п. 131.
  17. ^ Ханс Кляйне Бюнинг; Теодор Леттманн (1999). Логика высказываний: дедукция и алгоритмы. Издательство Кембриджского университета. п. 2. ISBN  978-0-521-63017-7.
  18. ^ Джон Берд (2007). Инженерная математика. Newnes. п. 532. ISBN  978-0-7506-8555-9.
  19. ^ Механические логические ворота (ориентированные на молекулярный масштаб)
  20. ^ Логические ворота ДНК В архиве 2010-06-18 на Wayback Machine

дальнейшее чтение

внешняя ссылка