Puerta lgica

AND redirige aqu. Para otras acepciones, vase AND (desambiguacin).

IF redirige aqu. Para otras acepciones, vase Frecuencia intermedia.
Commons-emblem-question book orange.svg
Este artculo o seccin necesita referencias que aparezcan en una publicacin
acreditada. Este aviso fue puesto el 31 de octubre de 2015.
Puedes aadirlas o avisar al autor principal del artculo en su pgina de
discusin pegando: {{sust:Aviso referencias|Puerta lgica}} ~~~~
Una puerta lgica, o compuerta lgica, es un dispositivo electrnico con una
funcin booleana. Suman, multiplican, niegan o afirman, incluyen o excluyen
segn sus propiedades lgicas. Se pueden aplicar a tecnologa electrnica,
elctrica, mecnica, hidrulica y neumtica. Son circuitos de conmutacin
integrados en un chip.experimentaba con rels o interruptores
electromagnticos para conseguir las condiciones de cada compuerta lgica,
por ejemplo, para la funcin booleana Y (AND) colocaba interruptores en
circuito serie, ya que con uno solo de stos que tuviera la condicin abierto,
la salida de la compuerta Y sera = 0, mientras que para la implementacin de
una compuerta O (OR), la conexin de los interruptores tiene una configuracin
en circuito paralelo.

La tecnologa microelectrnica actual permite la elevada integracin de

transistores actuando como conmutadores en redes lgicas dentro de un
pequeo circuito integrado. El chip de la CPU es una de las mximas
expresiones de este avance tecnolgico.

En nanotecnologa se est desarrollando el uso de una compuerta lgica

molecular, que haga posible la miniaturizacin de circuitos.

ndice [ocultar]
1

Lgica directa

1.1

Puerta S o BUFFER

1.2

Puerta AND

1.3

Puerta OR

1.4

Puerta OR-exclusiva (XOR)

1.5

Puerta NOR-exclusiva (XNOR)

Lgica negada

2.1

Puerta NO (NOT)

2.2

Puerta NO-Y (NAND)

2.3

Puerta NO-O (NOR)

Conjunto de puertas lgicas completo

3.1

Equivalencias de un conjunto completo

4
Pseudo asociatividad y Pseudo distributividad de {\displaystyle NOR\ }
NOR\ y {\displaystyle \ NAND} \ NAND
5

Vase tambin

Enlaces externos

Lgica directa[editar]
Puerta S o BUFFER[editar]

Smbolo de la funcin lgica S: a) Contactos, b) Normalizado y c) No

normalizado
La puerta lgica S, realiza la funcin booleana igualdad. En la prctica se suele
utilizar como amplificador de corriente o como seguidor de tensin, para
adaptar impedancias (buffer en ingls).

La ecuacin caracterstica que describe el comportamiento de la puerta S es:

{\displaystyle F=A\,} F=A\,

Su tabla de verdad es la siguiente:

Tabla de verdad puerta SI

Entrada {\displaystyle A} A

Salida {\displaystyle A} A

0
0
1
1
Puerta AND[editar]
Artculo principal: Puerta AND

Puerta AND con transistores

Smbolo de la funcin lgica Y: a) Contactos, b) Normalizado y c) No

normalizado
La puerta lgica Y, ms conocida por su nombre en ingls AND
( {\displaystyle \scriptstyle AND\equiv Y\equiv \land } \scriptstyle AND\equiv
Y\equiv \land ), realiza la funcin booleana de producto lgico. Su smbolo es un
punto (), aunque se suele omitir. As, el producto lgico de las variables A y B
se indica como AB, y se lee A y B o simplemente A por B.

La ecuacin caracterstica que describe el comportamiento de la puerta AND

es:

{\displaystyle F=(A)*(B)\,} F=(A)*(B)\,

Su tabla de verdad es la siguiente:

Tabla de verdad puerta AND

Entrada {\displaystyle A} A
Entrada {\displaystyle B} B
{\displaystyle A\land B} A\land B
0

Salida

0
0
0
1
0
1
0
0
1
1
1
As, desde el punto de vista de la aritmtica mdulo 2, la compuerta AND
implementa el producto mdulo 2.

Puerta OR[editar]
Artculo principal: Puerta OR

Puerta OR con transistores

Smbolo de la funcin lgica O: a) Contactos, b) Normalizado y c) No

normalizado
La puerta lgica O, ms conocida por su nombre en ingls OR ( {\displaystyle
\scriptstyle OR\equiv O\equiv \lor } \scriptstyle OR\equiv O\equiv \lor ), realiza
la operacin de suma lgica.

La ecuacin caracterstica que describe el comportamiento de la puerta OR es:

{\displaystyle F=A+B\,} F=A+B\,

Su tabla de verdad es la siguiente:

Tabla de verdad puerta OR

Entrada {\displaystyle A} A
{\displaystyle A\lor B} A\lor B

Entrada {\displaystyle B} B

Salida

0
0
0
0
1
1
1
0
1
1
1
1
Podemos definir la puerta O como aquella que proporciona a su salida un 1
lgico si al menos una de sus entradas est a 1.

Puerta OR-exclusiva (XOR)[editar]

Artculo principal: Puerta XOR

Smbolo de la funcin lgica O-exclusiva: a) Contactos, b) Normalizado y c) No

normalizado
La puerta lgica OR-exclusiva, ms conocida por su nombre en ingls XOR,
realiza la funcin booleana A'B+AB'. Su smbolo es {\displaystyle \oplus }

\oplus (signo ms "+" inscrito en un crculo). En la figura de la derecha pueden

observarse sus smbolos en electrnica.

La ecuacin caracterstica que describe el comportamiento de la puerta XOR

es:

{\displaystyle F=A\oplus B\,} F=A\oplus B\,

{\displaystyle F={\overline {A}}B+A{\overline {B}}\,} F=\overline

{A}B+A\overline {B}\,

Su tabla de verdad es la siguiente:

Tabla de verdad puerta XOR

Entrada {\displaystyle A} A
Entrada {\displaystyle B} B
{\displaystyle A\oplus B} A\oplus B
0
0
0
0
1
1
1
0
1
1
1
0

Salida

Se puede definir esta puerta como aquella que da por resultado uno, cuando
los valores en las entradas son distintos. ej: 1 y 0, 0 y 1 (en una compuerta de
dos entradas). Se obtiene cuando ambas entradas tienen distinto valor.

Si la puerta tuviese tres o ms entradas, la XOR tomara la funcin de suma de

paridad, cuenta el nmero de unos a la entrada y si son un nmero impar,
pone un 1 a la salida, para que el nmero de unos pase a ser par. Esto es as
porque la operacin XOR es asociativa, para tres entradas escribiramos: a
{\displaystyle \oplus } \oplus (b {\displaystyle \oplus } \oplus c) o bien (a
{\displaystyle \oplus } \oplus b) {\displaystyle \oplus } \oplus c. Su tabla de
verdad sera:

XOR de tres entradas

Entrada {\displaystyle A} A
Entrada {\displaystyle B} B
Entrada
{\displaystyle C} CSalida {\displaystyle A\oplus B\oplus C} A\oplus B\oplus C
0
0
0
0
0
0
1
1
0
1
0
1
0
1
1

0
1
0
0
1
1
0
1
0
1
1
0
0
1
1
1
1
Desde el punto de vista de la aritmtica mdulo 2, la puerta XOR implementa
la suma mdulo 2, pero mucho ms simple de ver, la salida tendr un 1
siempre que el nmero de entradas a 1 sea impar.

Puerta NOR-exclusiva (XNOR)[editar]

Puerta XNOR

Smbolo de la puerta lgica XNOR

La puerta NOR exclusive, Conocida por su referencia en ingls XNOR, es el
complemento de la puerta OR exclusiva, siendo su funcin booleana AB + AB.

Se utiliza el mismo smbolo que la puerta OR exclusiva (signo ms + inscrito

en un crculo) y su representacin en el diseo de circuitos lgicos y ecuacin
que la describe.

{\displaystyle Y={\overline {A\oplus B}}\,} {\displaystyle Y={\overline

{A\oplus B}}\,} o tambin como: {\displaystyle Y=AB+{\overline {AB}}\,}
{\displaystyle Y=AB+{\overline {AB}}\,}

Las tablas de verdad para dos y tres entradas o variables son las siguientes:

Tabla de verdad Puerta XNOR 2 Entradas

Entrada {\displaystyle A} A
Entrada {\displaystyle B} B
{\displaystyle
{\overline {A\oplus B}}\,} {\displaystyle {\overline {A\oplus B}}\,}
0

Entrada {\displaystyle A} A
Entrada {\displaystyle B} B
Entrada
{\displaystyle C} CSalida {\displaystyle {\overline {A\oplus B\oplus C}}}
{\displaystyle {\overline {A\oplus B\oplus C}}}
0
0

0
0

0
0

1
1

0
0

0
1

1
1

1
1

0
Esta puerta al ser el complemento de la puerta OR exclusiva (XOR), sus
resultados son uno (1) cuando sus entradas, para el caso de 2, son iguales, ya
sean con valor 0 o valor 1 (0 y 0, 1 y 1). Para ms de 2 entradas, si el nmero
de unos de entradas es par, la salida es 1 y si es impar, la salida es 0. Si todas
las entradas son 0, la salida es 1, como puede comprobarse en la tabla de
verdad de tres entradas.

La puerta lgica XNOR se identifica como funcin par, en tanto que la puerta
lgica XOR se identifica como funcin impar.

Lgica negada[editar]
Puerta NO (NOT)[editar]
Artculo principal: Puerta NOT

Smbolo de la funcin lgica NO: a) Contactos, b) Normalizado y c) No

normalizada
La puerta lgica NO (NOT en ingls) realiza la funcin booleana de inversin o
negacin de una variable lgica. Una variable lgica (A) a la cual se le aplica la
negacin se pronuncia como "no A" o "A negada".

Puerta NOT con transistores

La ecuacin caracterstica que describe el comportamiento de la puerta NOT
es:

{\displaystyle F={\overline {A}}\,} F=\overline {A}\,

Su tabla de verdad es la siguiente:

Tabla de verdad puerta NOT

Entrada {\displaystyle A} A
{A}
0
1
1

Salida {\displaystyle {\overline {A}}} \overline

0
Se puede definir como una puerta que proporciona el estado inverso del que
est en su entrada.

Puerta NO-Y (NAND)[editar]

Artculo principal: Puerta NAND

Smbolo de la funcin lgica NO-Y: a) Contactos, b) Normalizado y c) No

normalizado
La puerta lgica NO-Y, ms conocida por su nombre en ingls NAND, realiza la
operacin de producto lgico negado. En ocasiones es llamada tambin barra
de Sheffer.1 En la figuraik de la derecha pueden observarse sus smbolos en
electrnica.

Puerta NAND con transistores

La ecuacin caracterstica que describe el comportamiento de la puerta NAND
es:

{\displaystyle F={\overline {AB}}={\overline {A}}+{\overline {B}}\,}

F=\overline {AB}=\overline {A}+\overline {B}\,

Su tabla de verdad es la siguiente:

Tabla de verdad puerta NAND

Entrada {\displaystyle A} A
Entrada {\displaystyle B} B
{\displaystyle {\overline {AB}}} \overline {AB}
0
0
1

Salida

0
1
1
1
0
1
1
1
0
Podemos definir la puerta NO-Y como aquella que proporciona a su salida un 0
lgico nicamente cuando todas sus entradas estn a 1.

Puerta NO-O (NOR)[editar]

Artculo principal: Puerta NOR

Smbolo de la funcin lgica NO-O: a) Contactos, b) Normalizado y c) No

normalizado
La puerta lgica NO-O, ms conocida por su nombre en ingls NOR, realiza la
operacin de suma lgica negada. En ocasiones es llamada tambin barra de
Pierce.2 En la figura de la derecha pueden observarse sus smbolos en
electrnica.

Puerta NOR con transistores

La ecuacin caracterstica que describe el comportamiento de la puerta NOR
es:

{\displaystyle F={\overline {A+B}}={\overline {A}}*{\overline {B}}\,}

F=\overline {A+B}=\overline {A}*\overline {B}\,

Su tabla de verdad es la siguiente:

Tabla de verdad puerta NOR

Entrada {\displaystyle A} A
Entrada {\displaystyle B} B
{\displaystyle {\overline {A+B}}} \overline {A+B}

Salida

0
0
1
0
1
0
1
0
0
1
1
0
Podemos definir la puerta NO-O como aquella que proporciona a su salida un 1
lgico slo cuando todas sus entradas estn a 0. La puerta lgica NOR
constituye un conjunto completo de operadores.

Conjunto de puertas lgicas completo[editar]

Un conjunto de puertas lgicas completo es aquel con el que se puede
implementar cualquier funcin lgica. A continuacin se muestran distintos
conjuntos completos (uno por lnea):

Puertas AND, OR y NOT.

Puertas AND y NOT.

Puertas OR y NOT.
Puertas NAND.
Puertas NOR.
Adems, un conjunto de puertas lgicas es completo si puede implementar
todas las puertas de otro conjunto completo conocido. A continuacin se
muestran las equivalencias al conjunto de puertas lgicas completas con las
funciones NAND y NOR.

Conjunto de puertas lgicas completo:

{\displaystyle A} A{\displaystyle B} B{\displaystyle {\overline {A}}} \overline
{A} {\displaystyle A\land B} A\land B
{\displaystyle A\lor B} A\lor B
{\displaystyle A\rightarrow B} A\rightarrow B
Salida
funcin {\displaystyle NAND(A,B)} NAND(A,B)
Salida funcin {\displaystyle
NOR(A,B)} NOR(A,B)
1

Equivalencias de un conjunto completo[editar]

Equivalencias del conjunto completo anterior con slo puertas {\displaystyle
NAND} NAND:

{\displaystyle NAND(A,A)\equiv {\overline {A}}\,} NAND(A,A)\equiv \overline

{A}\,
{\displaystyle NAND[(NAND(A,B),(NAND(A,B)]\equiv A\land B}
NAND[(NAND(A,B),(NAND(A,B)]\equiv A\land B
{\displaystyle NAND[(NAND(A,A),(NAND(B,B)]\equiv A\lor B} NAND[(NAND(A,A),
(NAND(B,B)]\equiv A\lor B
{\displaystyle NAND[(NAND(B,B),((NAND(A,A)),(NAND(B,B))]\equiv A\rightarrow
B} NAND[(NAND(B,B),((NAND(A,A)),(NAND(B,B))]\equiv A\rightarrow B

Equivalencias del conjunto completo anterior con slo puertas {\displaystyle

NOR} NOR:

{\displaystyle NOR(A,A)\equiv {\overline {A}}\,} NOR(A,A)\equiv \overline

{A}\,
{\displaystyle NOR[(NOR(A,B)),(NOR(A,B)]\equiv A\lor B} NOR[(NOR(A,B)),
(NOR(A,B)]\equiv A\lor B
{\displaystyle NOR[(NOR(A,A)),(NOR(B,B)]\equiv A\land B} NOR[(NOR(A,A)),
(NOR(B,B)]\equiv A\land B
{\displaystyle NOR[(NOR((NOR(A,A)),B),NOR((NOR(B,B),A)]\equiv A\rightarrow
B} NOR[(NOR((NOR(A,A)),B),NOR((NOR(B,B),A)]\equiv A\rightarrow B
Pseudo asociatividad y Pseudo distributividad de {\displaystyle NOR\ } NOR\ y
{\displaystyle \ NAND} \ NAND[editar]
{\displaystyle A\ NOR\ {\overline {(B\ NOR\ C)}}\equiv {\overline {(A\ NOR\
B)}}\ NOR\ C} A\ NOR\ \overline {(B\ NOR\ C)}\equiv \overline {(A\ NOR\ B)}\
NOR\ C
{\displaystyle A\ NAND\ {\overline {(B\ NAND\ C)}}\equiv {\overline {(A\
NAND\ B)}}\ NAND\ C} A\ NAND\ \overline {(B\ NAND\ C)}\equiv \overline {(A\
NAND\ B)}\ NAND\ C
{\displaystyle A\ NOR\ {\overline {(B\ NAND\ C)}}\equiv {\overline {(A\ NOR\
B)}}\ NAND\ {\overline {(A\ NOR\ C)}}} A\ NOR\ \overline {(B\ NAND\
C)}\equiv \overline {(A\ NOR\ B)}\ NAND\ \overline {(A\ NOR\ C)}
{\displaystyle A\ NAND\ {\overline {(B\ NOR\ C)}}\equiv {\overline {(A\ NAND\
B)}}\ NOR\ {\overline {(A\ NAND\ C)}}} A\ NAND\ \overline {(B\ NOR\
C)}\equiv \overline {(A\ NAND\ B)}\ NOR\ \overline {(A\ NAND\ C)}