stringtranslate.com

Puerta lógica

Diagrama de circuito lógico para un diseño de sumador binario con acarreo de anticipación de 4 bits que utiliza solo las puertas lógicas AND , OR y XOR .

Una compuerta lógica es un dispositivo que realiza una función booleana , una operación lógica realizada en una o más entradas binarias que produce una única salida binaria. Según el contexto, el término puede referirse a una compuerta lógica ideal , una que tiene, por ejemplo, tiempo de subida cero y abanico de salida ilimitado , o puede referirse a un dispositivo físico no ideal [1] (consulte amplificadores operacionales ideales y reales para comparar).

La forma principal de construir puertas lógicas utiliza diodos o transistores que actúan como interruptores electrónicos . Hoy en día, la mayoría de las puertas lógicas están hechas de MOSFET ( transistores de efecto de campo de metal-óxido-semiconductor ). [2] También se pueden construir utilizando tubos de vacío , relés electromagnéticos con lógica de relé , lógica fluídica , lógica neumática , óptica , moléculas , acústica [3] o incluso elementos mecánicos o térmicos [4] .

Las puertas lógicas se pueden conectar en cascada de la misma manera que se pueden componer funciones booleanas, lo que permite la construcción de un modelo físico de toda la lógica booleana y, por lo tanto, de todos los algoritmos y matemáticas que se pueden describir con la lógica booleana. Los circuitos lógicos incluyen dispositivos como multiplexores , registros , unidades aritmético lógicas (ALU) y memoria de computadora , hasta llegar a microprocesadores completos , [5] que pueden contener más de 100 millones de puertas lógicas.

Las puertas lógicas compuestas AND-OR-Invert (AOI) y OR-AND-Invert (OAI) se emplean a menudo en el diseño de circuitos porque su construcción utilizando MOSFET es más simple y más eficiente que la suma de las puertas individuales. [6]

Historia y desarrollo

El sistema numérico binario fue refinado por Gottfried Wilhelm Leibniz (publicado en 1705), influenciado por el sistema binario del antiguo I Ching . [7] [8] Leibniz estableció que el uso del sistema binario combinaba los principios de la aritmética y la lógica .

En una carta de 1886, Charles Sanders Peirce describió cómo se podían llevar a cabo operaciones lógicas mediante circuitos de conmutación eléctricos. [9] Las primeras computadoras electromecánicas se construyeron a partir de interruptores y lógica de relés en lugar de las innovaciones posteriores de tubos de vacío (válvulas termoiónicas) o transistores (a partir de los cuales se construyeron computadoras electrónicas posteriores). Ludwig Wittgenstein introdujo una versión de la tabla de verdad de 16 filas como proposición 5.101 del Tractatus Logico-Philosophicus (1921). Walther Bothe , inventor del circuito de coincidencia , [10] obtuvo parte del Premio Nobel de Física de 1954, por la primera puerta AND electrónica moderna en 1924. Konrad Zuse diseñó y construyó puertas lógicas electromecánicas para su computadora Z1 (de 1935 a 1938).

De 1934 a 1936, el ingeniero de NEC Akira Nakashima , Claude Shannon y Victor Shestakov introdujeron la teoría de circuitos de conmutación en una serie de artículos que mostraban que el álgebra booleana de dos valores , que descubrieron de forma independiente, puede describir el funcionamiento de los circuitos de conmutación. [11] [12] [13] [14] El uso de esta propiedad de los interruptores eléctricos para implementar la lógica es el concepto fundamental que subyace a todas las computadoras digitales electrónicas . La teoría de circuitos de conmutación se convirtió en la base del diseño de circuitos digitales , ya que se hizo ampliamente conocida en la comunidad de ingeniería eléctrica durante y después de la Segunda Guerra Mundial , y el rigor teórico reemplazó a los métodos ad hoc que habían prevalecido anteriormente. [14]

En 1948, Bardeen y Brattain patentaron un transistor de puerta aislada (IGFET) con una capa de inversión. Su concepto constituye la base de la tecnología CMOS actual. [15] En 1957, Frosch y Derick pudieron fabricar puertas planas PMOS y NMOS . [16] Más tarde, un equipo de Bell Labs demostró un MOS funcional con puertas PMOS y NMOS . [17] Ambos tipos fueron combinados y adaptados posteriormente en lógica MOS complementaria (CMOS) por Chih-Tang Sah y Frank Wanlass en Fairchild Semiconductor en 1963. [18]

Símbolos

Un símbolo de contador de décadas ascendente/descendente sincrónico de 4 bits (74LS192) de acuerdo con la norma ANSI/IEEE Std. 91-1984 y la publicación IEC 60617-12.

Existen dos conjuntos de símbolos para puertas lógicas elementales de uso común, ambos definidos en la norma ANSI / IEEE Std 91-1984 y su suplemento ANSI/IEEE Std 91a-1991. El conjunto de "forma distintiva", basado en esquemas tradicionales, se utiliza para dibujos simples y deriva del estándar militar estadounidense MIL-STD-806 de los años 1950 y 1960. [19] A veces se lo describe extraoficialmente como "militar", lo que refleja su origen. El conjunto de "forma rectangular", basado en ANSI Y32.14 y otros estándares industriales tempranos que luego fueron refinados por IEEE e IEC, tiene contornos rectangulares para todos los tipos de puertas y permite la representación de una gama mucho más amplia de dispositivos de lo que es posible con los símbolos tradicionales. [20] La norma IEC, IEC 60617-12, ha sido adoptada por otras normas, como EN 60617-12:1999 en Europa, BS EN 60617-12:1999 en el Reino Unido y DIN EN 60617-12:1998 en Alemania.

El objetivo común de la norma IEEE Std 91-1984 y la IEC 617-12 era proporcionar un método uniforme para describir las funciones lógicas complejas de los circuitos digitales con símbolos esquemáticos. Estas funciones eran más complejas que las simples puertas AND y OR. Podían ser circuitos de escala media, como un contador de 4 bits, o circuitos de gran escala, como un microprocesador.

La norma IEC 617-12 y su sucesora renumerada IEC 60617-12 no muestran explícitamente los símbolos de "forma distintiva", pero no los prohíben. [20] Sin embargo, estos se muestran en la norma ANSI/IEEE Std 91 (y 91a) con esta nota: "El símbolo de forma distintiva, según la publicación IEC 617, parte 12, no es el preferido, pero no se considera que esté en contradicción con esa norma". La norma IEC 60617-12 contiene la nota correspondiente (sección 2.1) "Aunque no sea el preferido, el uso de otros símbolos reconocidos por las normas nacionales oficiales, es decir, formas distintivas en lugar de símbolos [lista de puertas básicas], no se considerará en contradicción con esta norma. Se desaconseja el uso de estos otros símbolos en combinación para formar símbolos complejos (por ejemplo, el uso como símbolos integrados)". Este compromiso se alcanzó entre los respectivos grupos de trabajo IEEE e IEC para permitir que las normas IEEE e IEC cumplieran mutuamente entre sí.

En la década de 1980, los esquemas eran el método predominante para diseñar tanto placas de circuitos como circuitos integrados personalizados, conocidos como matrices de compuertas . En la actualidad, los circuitos integrados personalizados y las matrices de compuertas programables en campo se diseñan normalmente con lenguajes de descripción de hardware (HDL), como Verilog o VHDL .

Símbolos equivalentes de De Morgan

Según las leyes de De Morgan , una función AND es idéntica a una función OR con entradas y salidas negadas. Asimismo, una función OR es idéntica a una función AND con entradas y salidas negadas. Una compuerta NAND es equivalente a una compuerta OR con entradas negadas, y una compuerta NOR es equivalente a una compuerta AND con entradas negadas.

Esto conduce a un conjunto alternativo de símbolos para puertas básicas que utilizan el símbolo central opuesto ( AND u OR ) pero con las entradas y salidas negadas. El uso de estos símbolos alternativos puede hacer que los diagramas de circuitos lógicos sean mucho más claros y ayudar a mostrar la conexión accidental de una salida alta activa a una entrada baja activa o viceversa. Cualquier conexión que tenga negaciones lógicas en ambos extremos se puede reemplazar por una conexión sin negación y un cambio adecuado de puerta o viceversa. Cualquier conexión que tenga una negación en un extremo y ninguna negación en el otro se puede hacer más fácil de interpretar utilizando en su lugar el símbolo equivalente de De Morgan en cualquiera de los dos extremos. Cuando los indicadores de negación o polaridad en ambos extremos de una conexión coinciden, no hay negación lógica en esa ruta (efectivamente, las burbujas se "cancelan"), lo que hace que sea más fácil seguir los estados lógicos de un símbolo al siguiente. Esto se ve comúnmente en diagramas lógicos reales, por lo tanto, el lector no debe adquirir el hábito de asociar las formas exclusivamente como formas OR o AND, sino también tener en cuenta las burbujas en las entradas y salidas para determinar la función lógica "verdadera" indicada.

Un símbolo De Morgan puede mostrar más claramente el propósito lógico primario de una compuerta y la polaridad de sus nodos que se consideran en el estado "señalado" (activo, encendido). Considere el caso simplificado donde se utiliza una compuerta NAND de dos entradas para accionar un motor cuando cualquiera de sus entradas se baja mediante un interruptor. El estado "señalado" (motor encendido) ocurre cuando uno o el otro interruptor está encendido. A diferencia de un símbolo NAND regular, que sugiere lógica AND, la versión De Morgan, una compuerta OR de dos entradas negativas, muestra correctamente que OR es de interés. El símbolo NAND regular tiene una burbuja en la salida y ninguna en las entradas (lo opuesto a los estados que encenderán el motor), pero el símbolo De Morgan muestra tanto las entradas como la salida en la polaridad que impulsará el motor.

El teorema de De Morgan se utiliza más comúnmente para implementar puertas lógicas como combinaciones de solo puertas NAND, o como combinaciones de solo puertas NOR, por razones económicas.

Tablas de verdad

Comparación de salida de varias puertas lógicas:

Puertas lógicas universales

Charles Sanders Peirce (durante 1880-1881) demostró que las puertas NOR solas (o alternativamente las puertas NAND solas ) pueden usarse para reproducir las funciones de todas las demás puertas lógicas, pero su trabajo al respecto no se publicó hasta 1933. [21] La primera prueba publicada fue realizada por Henry M. Sheffer en 1913, por lo que la operación lógica NAND a veces se denomina trazo de Sheffer ; la NOR lógica a veces se denomina flecha de Peirce . [22] En consecuencia, estas puertas a veces se denominan puertas lógicas universales . [23]

Almacenamiento de datos y lógica secuencial

Animación de cómo funciona un pestillo de puerta SR NOR .

Las puertas lógicas también se pueden utilizar para mantener un estado, lo que permite el almacenamiento de datos. Se puede construir un elemento de almacenamiento conectando varias puertas en un circuito de " enganche ". Los circuitos de enganche se utilizan en la memoria de acceso aleatorio estática . Los diseños más complicados que utilizan señales de reloj y que cambian solo en un flanco ascendente o descendente del reloj se denominan " flip-flops " activados por flanco. Formalmente, un flip-flop se denomina circuito biestable , porque tiene dos estados estables que puede mantener indefinidamente. La combinación de múltiples flip-flops en paralelo, para almacenar un valor de varios bits, se conoce como registro. Cuando se utiliza cualquiera de estas configuraciones de puertas, el sistema general tiene memoria; entonces se denomina sistema lógico secuencial , ya que su salida puede verse influenciada por su(s) estado(s) anterior(es), es decir, por la secuencia de estados de entrada. Por el contrario, la salida de la lógica combinacional es puramente una combinación de sus entradas actuales, no afectada por los estados de entrada y salida anteriores.

Estos circuitos lógicos se utilizan en la memoria de las computadoras . Su rendimiento varía según factores como la velocidad , la complejidad y la fiabilidad del almacenamiento, y se utilizan muchos tipos de diseños diferentes según la aplicación.

Fabricación

Puertas electrónicas

Un sistema lógico funcionalmente completo puede estar compuesto de relés , válvulas (tubos de vacío) o transistores .

Las puertas lógicas electrónicas difieren significativamente de sus equivalentes de relé e interruptor. Son mucho más rápidas, consumen mucha menos energía y son mucho más pequeñas (todo por un factor de un millón o más en la mayoría de los casos). Además, existe una diferencia estructural fundamental. El circuito de conmutación crea una ruta metálica continua para que fluya la corriente (en cualquier dirección) entre su entrada y su salida. La puerta lógica semiconductora, por otro lado, actúa como un amplificador de voltaje de alta ganancia , que absorbe una corriente diminuta en su entrada y produce un voltaje de baja impedancia en su salida. No es posible que fluya corriente entre la salida y la entrada de una puerta lógica semiconductora.

El chip 7400, que contiene cuatro NAND. Los dos pines adicionales suministran energía (+5 V) y conectan la tierra.

Para la lógica a pequeña escala, los diseñadores ahora utilizan puertas lógicas prefabricadas de familias de dispositivos como la serie TTL 7400 de Texas Instruments , la serie CMOS 4000 de RCA y sus descendientes más recientes. Cada vez más, estas puertas lógicas de función fija están siendo reemplazadas por dispositivos lógicos programables , que permiten a los diseñadores empaquetar muchas puertas lógicas mixtas en un solo circuito integrado. La naturaleza programable en campo de los dispositivos lógicos programables como los FPGA ha reducido la propiedad "dura" del hardware; ahora es posible cambiar el diseño lógico de un sistema de hardware reprogramando algunos de sus componentes, lo que permite cambiar las características o la función de una implementación de hardware de un sistema lógico.

Una ventaja importante de las familias de circuitos integrados estandarizados, como las familias 7400 y 4000, es que pueden conectarse en cascada. Esto significa que la salida de una compuerta puede conectarse a las entradas de una o varias otras compuertas, y así sucesivamente. Se pueden construir sistemas con distintos grados de complejidad sin que el diseñador se preocupe demasiado por el funcionamiento interno de las compuertas, siempre que se consideren las limitaciones de cada circuito integrado.

La salida de una compuerta solo puede impulsar un número finito de entradas a otras compuertas, un número llamado " límite de abanico de salida ". Además, siempre hay un retraso, llamado " retardo de propagación ", desde un cambio en la entrada de una compuerta hasta el cambio correspondiente en su salida. Cuando las compuertas están en cascada, el retraso de propagación total es aproximadamente la suma de los retrasos individuales, un efecto que puede convertirse en un problema en circuitos síncronos de alta velocidad . Se puede producir un retraso adicional cuando se conectan muchas entradas a una salida, debido a la capacitancia distribuida de todas las entradas y el cableado y la cantidad finita de corriente que cada salida puede proporcionar.

Familias lógicas

Existen varias familias lógicas con diferentes características (consumo de energía, velocidad, costo, tamaño) como: RDL (lógica resistencia-diodo), RTL (lógica resistencia-transistor), DTL (lógica diodo-transistor), TTL (lógica transistor-transistor) y CMOS. También existen subvariantes, por ejemplo, lógica CMOS estándar vs. tipos avanzados que aún utilizan tecnología CMOS, pero con algunas optimizaciones para evitar la pérdida de velocidad debido a transistores PMOS más lentos.

La familia más simple de puertas lógicas utiliza transistores bipolares y se denomina lógica de resistencia-transistor (RTL). A diferencia de las puertas lógicas de diodos simples (que no tienen un elemento de ganancia), las puertas RTL se pueden conectar en cascada indefinidamente para producir funciones lógicas más complejas. Las puertas RTL se utilizaron en los primeros circuitos integrados . Para lograr una mayor velocidad y una mejor densidad, las resistencias utilizadas en RTL se reemplazaron por diodos, lo que dio como resultado la lógica de diodo-transistor (DTL). Luego, la lógica de transistor-transistor (TTL) suplantó a la DTL.

Diagrama CMOS de una compuerta NOT , también conocida como inversora. Los MOSFET son la forma más común de fabricar compuertas lógicas.

A medida que los circuitos integrados se volvieron más complejos, los transistores bipolares fueron reemplazados por transistores de efecto de campo ( MOSFET ) más pequeños; consulte PMOS y NMOS . Para reducir aún más el consumo de energía, la mayoría de las implementaciones de chips contemporáneos de sistemas digitales ahora utilizan lógica CMOS . CMOS utiliza dispositivos MOSFET complementarios (tanto de canal n como de canal p) para lograr una alta velocidad con baja disipación de energía.

Otros tipos de puertas lógicas incluyen, entre otros: [24]

Puertas lógicas de tres estados

Un buffer de tres estados puede considerarse como un interruptor. Si B está encendido, el interruptor está cerrado. Si B está apagado, el interruptor está abierto.

Una puerta lógica de tres estados es un tipo de puerta lógica que puede tener tres salidas diferentes: alta (H), baja (L) y alta impedancia (Z). El estado de alta impedancia no desempeña ningún papel en la lógica, que es estrictamente binaria. Estos dispositivos se utilizan en buses de la CPU para permitir que varios chips envíen datos. Un grupo de tres estados que controlan una línea con un circuito de control adecuado es básicamente equivalente a un multiplexor , que puede estar distribuido físicamente en dispositivos separados o tarjetas enchufables.

En electrónica, una salida alta significaría que la salida está obteniendo corriente del terminal de alimentación positivo (voltaje positivo). Una salida baja significaría que la salida está absorbiendo corriente hacia el terminal de alimentación negativo (voltaje cero). Una impedancia alta significaría que la salida está efectivamente desconectada del circuito.

Puertas lógicas no electrónicas

Las implementaciones no electrónicas son variadas, aunque pocas de ellas se utilizan en aplicaciones prácticas. Muchas de las primeras computadoras digitales electromecánicas, como la Harvard Mark I , se construyeron a partir de puertas lógicas de relé , utilizando relés electromecánicos . Las puertas lógicas se pueden hacer usando dispositivos neumáticos , como el relé de Sorteberg o puertas lógicas mecánicas, incluso a escala molecular. [26] Se han construido varios tipos de puertas lógicas fundamentales utilizando moléculas ( puertas lógicas moleculares ), que se basan en entradas químicas y salidas espectroscópicas. [27] Las puertas lógicas se han hecho a partir de ADN (ver nanotecnología del ADN ) [28] y se han utilizado para crear una computadora llamada MAYA (ver MAYA-II ). Las puertas lógicas se pueden hacer a partir de efectos mecánicos cuánticos , ver puerta lógica cuántica . Las puertas lógicas fotónicas utilizan efectos ópticos no lineales .

En principio, cualquier método que conduzca a una compuerta funcionalmente completa (por ejemplo, una compuerta NOR o NAND) se puede utilizar para crear cualquier tipo de circuito lógico digital. Cabe señalar que no es necesario el uso de lógica de 3 estados para sistemas de bus, y se puede reemplazar por multiplexores digitales, que se pueden construir utilizando únicamente compuertas lógicas simples (como compuertas NAND, compuertas NOR o compuertas AND y OR).

Véase también

Referencias

  1. ^ Jaeger (1997). Diseño de circuitos microelectrónicos . McGraw-Hill . Págs. 226-233. ISBN. 0-07-032482-4.
  2. ^ Kanellos, Michael (11 de febrero de 2003). "La Ley de Moore seguirá vigente durante otra década". CNET . Del circuito integrado
  3. ^ Zhang, Ting; Cheng, Ying; Guo, Jian-Zhong; Xu, Jian-yi; Liu, Xiao-jun (2015), "Puertas lógicas acústicas y operación booleana basadas en haces acústicos autocolimadores", Applied Physics Letters , 106 (11), doi :10.1063/1.4915338 , consultado el 17 de agosto de 2024
  4. ^ Wang, Lei; Li, Baowen (2007). "Puertas lógicas térmicas: computación con fonones". Physical Review Letters . 99 (17): 177208. arXiv : 0709.0032 . Código Bibliográfico :2007PhRvL..99q7208W. doi :10.1103/PhysRevLett.99.177208. PMID  17995368. S2CID  10934270.
  5. ^ Deschamps, Jean-Pierre; Valderrama, Elena; Terés, Lluís (2016-10-12). Sistemas digitales: de puertas lógicas a procesadores. Saltador. ISBN 978-3-319-41198-9.
  6. ^ Tinder, Richard F. (2000). Diseño digital de ingeniería (2.ª ed.). Academic Press. pp. 317–319. ISBN 0-12-691295-5.
  7. ^ Nylan, Michael (2001). Los cinco clásicos "confucianos". Yale University Press . pp. 204-206. ISBN 978-0-300-08185-5. Consultado el 8 de junio de 2010 .
  8. ^ Perkins, Franklin (2004). "Intercambio con China". Leibniz y China: un comercio de luz . Cambridge University Press . pág. 117. ISBN 9780521830249... uno de los ordenamientos tradicionales de los hexagramas, el orden xiantian tu realizado por Shao Yong, era, con algunas modificaciones, el mismo orden que se encontraba en la aritmética binaria de Leibniz.
  9. ^ Peirce, CS, "Carta de Peirce a A. Marquand ", fechada en 1886, Writings of Charles S. Peirce , vol. 5, 1993, pp. 420-423. Véase Burks, Arthur W. (1978). "Reseña: Charles S. Peirce, Los nuevos elementos de las matemáticas". Boletín de la Sociedad Matemática Americana . 84 (5): 913-918 [917]. doi : 10.1090/S0002-9904-1978-14533-9 .
  10. ^ Luisa Bonolis; Walther Bothe y Bruno Rossi: El nacimiento y desarrollo de los métodos de coincidencia en la física de rayos cósmicos. Am. J. Phys. 1 de noviembre de 2011; 79 (11): 1133–1150.
  11. ^ Yamada, Akihiko (2004). "Historia de la investigación sobre la teoría de conmutación en Japón". IEEJ Transactions on Fundamentals and Materials . 124 (8). Instituto de Ingenieros Eléctricos de Japón : 720–726. Bibcode :2004IJTFM.124..720Y. doi : 10.1541/ieejfms.124.720 .
  12. ^ "Teoría de conmutación/Teoría de redes de circuitos de relé/Teoría de las matemáticas lógicas". Museo de Computación IPSJ . Sociedad de Procesamiento de la Información de Japón .
  13. ^ Stanković, Radomir S.; Astola, Jaakko T.; Karpovsky, Mark G. (2007). Algunas observaciones históricas sobre la teoría de conmutación . CiteSeerX 10.1.1.66.1248 . 
  14. ^ ab Stanković, Radomir S. [en alemán] ; Astola, Jaakko Tapio [en finlandés] , eds. (2008). Reimpresiones de los primeros días de las ciencias de la información: serie TICSP sobre las contribuciones de Akira Nakashima a la teoría de la conmutación (PDF) . Serie del Centro Internacional de Procesamiento de Señales de Tampere (TICSP). Vol. 40. Universidad Tecnológica de Tampere , Tampere, Finlandia. ISBN 978-952-15-1980-2. ISSN  1456-2774. Archivado desde el original (PDF) el 8 de marzo de 2021.{{cite book}}: Mantenimiento de CS1: falta la ubicación del editor ( enlace )(3+207+1 páginas) 10:00 min
  15. ^ Howard R. Duff (2001). "John Bardeen y la física de transistores". Actas de la conferencia AIP . Vol. 550. págs. 3–32. doi : 10.1063/1.1354371 .
  16. ^ Frosch, CJ; Derick, L (1957). "Protección de superficies y enmascaramiento selectivo durante la difusión en silicio". Revista de la Sociedad Electroquímica . 104 (9): 547. doi :10.1149/1.2428650.
  17. ^ Lojek, Bo (2007). Historia de la ingeniería de semiconductores . Berlín, Heidelberg: Springer-Verlag Berlin Heidelberg. pág. 321. ISBN 978-3-540-34258-8.
  18. ^ "1963: se inventa la configuración de circuito MOS complementario". Museo de Historia de la Computación . Consultado el 6 de julio de 2019 .
  19. ^ "Símbolos gráficos para diagramas lógicos". Búsqueda rápida de ASSIST . Agencia de Logística de Defensa . MIL-STD-806 . Consultado el 27 de agosto de 2021 .
  20. ^ ab "Descripción general de la norma IEEE 91-1984 Explicación de símbolos lógicos" (PDF) . Texas Instruments Semiconductor Group. 1996. SDYZ001A.
  21. ^ Peirce, CS (manuscrito de invierno de 1880-1881), "A Boolian Algebra with One Constant", publicado en 1933 en Collected Papers v. 4, párrafos 12-20. Reimpreso en 1989 en Writings of Charles S. Peirce v. 4, pp. 218-221, Google [1]. Véase Roberts, Don D. (2009). "7.12 The Graphical Analysis of Propositions". The Existential Graphs of Charles S. Peirce . De Gruyter . p. 131. ISBN 978-3-11022622-5.
  22. ^ Büning, Hans Kleine; Lettmann, Theodor (1999). Lógica proposicional: deducción y algoritmos. Cambridge University Press . p. 2. ISBN 978-0-521-63017-7.
  23. ^ Bird, John (2007). Matemáticas de ingeniería. Newnes . p. 532. ISBN 978-0-7506-8555-9.
  24. ^ Rowe, Jim. "Lógica de circuitos: por qué y cómo". N.º de diciembre de 1966. Electronics Australia.
  25. ^ "Aprovechando la lógica no volátil". 21 de abril de 2021.
  26. ^ Merkle, Ralph C. (1993). "Dos tipos de lógica mecánica reversible". Xerox PARC .
  27. ^ Erbas-Cakmak, Sundus; Kolemen, Safacan; Sedgwick, Adam C.; Gunnlaugsson, Thorfinnur; James, Tony D.; Yoon, Juyoung; Akkaya, Engin U. (2018). "Puertas lógicas moleculares: pasado, presente y futuro". Chemical Society Reviews . 47 (7): 2228–2248. doi :10.1039/C7CS00491E. hdl : 11693/50034 . ISSN  0306-0012. PMID  29493684.
  28. ^ Stojanovic, Milan N.; Mitchell, Tiffany E.; Stefanovic, Darko (2002). "Puertas lógicas basadas en desoxirribozimas". Revista de la Sociedad Química Americana . 124 (14): 3555–3561. doi :10.1021/ja016756v. PMID  11929243.

Lectura adicional

Enlaces externos