Circuitos Lgicos

El control digital, y en particular el binario, est presente en todos los campos de la vida,
desde los sistemas de refrigeracin hasta los complejos sistemas de control de vuelo.
Aunque los circuitos electrnicos de estos sistemas pueden tener niveles de
complejidad muy diferentes, todos se basan en combinaciones de elementos ms pequeos
llamados puertas lgicas, las cuales se construyen a partir de transistores y elementos
pasivos.
En este tema se aborda el estudio de dichas puertas lgicas, el lgebra de conmutacin que
se utiliza para manipular las magnitudes binarias y algunas aplicaciones.

Estados lgicos y funcin lgica.

Los elementos que constituyen los circuitos digitales se caracterizan por admitir slo dos
estados. Es el caso por ejemplo de un conmutador que slo puede estar ENCENDIDO o
APAGADO, o una vlvula hidrulica que slo pueda estar ABIERTA o CERRADA.
Para representar estos dos estados se usan los smbolos 0 y 1. Generalmente, el 1 se
asociar al estado de conmutador CERRADO, ENCENDIDO, VERDADERO, y el 0
se asocia al estado de conmutador ABIERTO, APAGADO o FALSO.
En el circuito de la Figura 2-1 se representa el estado del conmutador con la variable S y
el de la lmpara con la variable binaria L. En la tabla se observa la relacin entre ambas.

Tabla de S L 1 cerrado
verdad
0 abierto
S L
ABIERTO S L
APAGADA CERRADA 0 0
ENCENDIDA 1 1

Figura Circuito binario.

La funcin lgica es aquella que relaciona las entradas y salidas de un circuito lgico.
Puede expresarse mediante:

Tabla de verdad: Es ella se representan a la izquierda todos los estados posibles de

las entradas (en el ejemplo, el estado del conmutador) y a la derecha los estados
correspondientes a la salida (en el ejemplo, la lmpara).

Funcin booleana: Es una expresin matemtica que emplea los operadores

booleanos
(en el ejemplo, L = S).
 Puertas lgicas elementales.
Una puerta lgica es un elemento que toma una o ms seales binarias de entrada y produce
una salida binaria funcin de estas entradas. Cada puerta lgica se representa
mediante un smbolo lgico. Hay tres tipos elementales de puertas: AND, OR y NOT.
A partir de ellas se pueden construir otras ms complejas, como las puertas: NAND, NOR
y XOR.
Puerta AND.
El funcionamiento de la puerta lgica AND es equivalente al de un circuito con dos
conmutadores en serie como el de la Figura 2-2. En dicho circuito es necesario que los dos
conmutadores estn cerrados para que la lmpara se encienda.
La relacin entre las posiciones de los conmutadores y el estado de la lmpara se
muestra en la tabla de verdad.
Smbolo A B L
A B L
1 cerrado
0 0 0 A
0 abierto
0 1 0 L

1 0 0 B

1 1 1

Figura Circuito equivalente a una puerta AND de dos entradas.

La relacin es la siguiente: la lmpara se enciende slo si el conmutador A Y el

conmutador B estn a 1, es decir, L = A (AND) B. Esta relacin se conoce como AND.

Las puertas AND pueden tener ms de dos A

entradas. En la Figura 2-3 se representa una puerta B L
AND de tres entradas. C

Figura AND de tres entradas.

La salida de una puerta AND es verdadera (1) si, y slo si, todas las entradas son
verdaderas. Esta operacin corresponde a una multiplicacin lgica binaria que para dos
entradas sera: L= A B .
 Puerta OR.
El funcionamiento de esta puerta es equivalente al de dos conmutadores en paralelo como
en la Figura 2-4. En esta configuracin la lmpara se encender si cualquiera de los dos
conmutadores se cierra.

A
Smbolo
A B L
0 0 0 A B L

0 1 1 L 1 cerrado
B 0 abierto
1 0 1

1 1 1 Figura Circuito equivalente a una puerta OR de

dos entradas.

En este caso la relacin es la siguiente: la lmpara se encender si y slo si, el

conmutador A O (OR) el B estn cerrados. Esta funcin se describe en la tabla de verdad.

La salida de una puerta OR es verdadera (1) si, y slo si, al menos una de las entradas
es verdadera. Esta relacin corresponde a una suma lgica binaria: L= A + B.
 Puerta NOT.
La salida de una puerta NOT es siempre el complementario de la entrada, de tal manera
que si la entrada es 0 la salida es 1 y viceversa. Se conoce tambin como inversor
y posee una nica entrada.
Smbolo
A L
0 1 A
L
1 0

La operacin lgica se conoce como negacin y se escribe: L A (negado de A)

El indicador de negacin es un crculo que indica inversin o complementacin cuando

aparece en la entrada o en la salida de un elemento lgico. El smbolo triangular sin el
crculo representara una funcin en la que el estado de la salida sera idntico al de la
entrada, esta funcin recibe el nombre de buffer. Los buffers se usan para cambiar las
propiedades elctricas de una seal sin afectar al estado lgico de la misma.

Puerta NAND.
Equivale a una puerta AND seguida de un INVERSOR. Su nombre viene de Not-AND .
El smbolo lgico es una puerta AND con un crculo en la salida. La tabla de verdad es
igual al de la puerta AND con el estado de salida negado. Una puerta NAND puede tener
ms de dos entradas.

Smbolo

A B L
A A
0 0 1
L L 0 1 1
1 0 1
B B
1 1 0
 Puerta NOR.

Equivale a una puerta OR seguida de un INVERSOR. Su nombre viene de Not-OR . El

smbolo lgico es una puerta OR con un crculo en la salida. La tabla de verdad es igual
al de la
puerta OR con el estado de salida negado. Tambin puede tener ms de dos entradas.

Smbolo A B L
0 0 1
A A 0 1 0
L L 1 0 0
B B 1 1

Puerta OR exclusiva (XOR).

La salida de una puerta OR exclusiva es verdadera (1) si, y slo si, una y slo una de
sus dos entradas es verdadera. Se asemeja a la OR (inclusiva), excepto que excluye el
caso en que las dos entradas son verdaderas. La figura muestra un circuito equivalente.
En una puerta OR exclusiva la salida ser 1 cuando el nmero de entradas que son 1
sea impar.
 El circuito equivalente de la Figura 2-6 se deriva de considerar el funcionamiento de al
puerta XOR como combinacin de dos condiciones X e Y. X representa la condicin de
que cualquiera de las entradas: A o (OR) B sea 1, e Y la condicin de que A y (AND)
B no (NOT)
sean 1 (NAND).

L A Smbolo
B L A B C L
0 0 0 A 0 0 0 0 A
0 1 1 A B 0 0 1 1 B
L
1 0 1 0 1 0 1 C
B
1 1 0

X
0 1 1 0
Figura XOR de tres entradas.
1 0 0 1
A L 1 0 1 0
1 1 0 0
B
1 1 1 1
Y

Figura Circuito equivalente a una puerta XOR.

Puerta NOR exclusiva.

Es la negacin de la puerta OR exclusiva (puerta OR seguida de un INVERSOR).

C A C
B

Y
 A Figura Circuito equivalente a una NOR
C exclusiva.
B

0 0 1
0 1 0 A
1 0 0
1 1 1 B

Algebra de Boole.

Proporciona una notacin para describir funciones lgicas y define un nmero de

operaciones que se pueden realizar con el fin de simplificarlas.

El lgebra de Boole define variables, constantes y funciones para describir sistemas

binarios, y una serie de teoremas que permiten manipular expresiones lgicas.

Constantes booleanas: Se definen dos: 0 (estado FALSO) y 1

(VERDADERO).

Variables booleanas: Son magnitudes que pueden tomar diferentes valores en

diferentes momentos. Pueden representar seales de entrada o de salida y reciben
nombres de caracteres alfabticos como: A, B, X, Y. Slo pueden tomar los
valores 0 o 1.

Funciones booleanas: Describen el comportamiento del sistema. Cada

operacin lgica (suma, multiplicacin, negacin, ...) posee una notacin en
el lgebra booleana, como se muestra en la Tabla 2-1.
Tabla Funciones lgicas elementales.

Funcin Smbolo Notacin Tabla de verdad

A B C

A 0 0 0
AND C C=A.B 0 1 0
B =AB 1 0 0
1 1 1

A A B C
OR C 1 C=A+B 0 10 1 0
B 1 0 1
1 1 1

1 A
0 B
1
B A 1 0

A B C
NOT A B 0 0 1
C A B 0 1 1
1 0 1
1 1 0
NAND A B C
0 0 1
1 C A B 0 1 0
A 1 0 0
1 1 0
C
A B C
B C A B AB 0 0 0
=1 0 1 1
C A B 1 0 1
1 1 0
A B C
NOR C A B A B 0 0 1
=1 0 1 0
A C A B 1 0 0
1 1 1
C
B

EXOR
A
C
B

A
NOR C

exclusiva B
 En la Tabla 2-1 adems de los smbolos distintivos vistos con anterioridad se muestran
los smbolos rectangulares que con frecuencia se emplea en la documentacin industrial.
En estos smbolos el indicador de negacin en lugar de un crculo ( ) es un tringulo
( ) que indica inversin cuando se coloca a la entrada o en la salida de un elemento
lgico.

Ejemplo Extraccin de la expresin booleana de un circuito a partir de su tabla de

verdad.
C (AB) A B C (AB) AB AB
0 0 0
0 1 1
1 0 0
1 1 1

Esta expresin se ha extrado de la tabla tan slo mediante la descripcin de los estados de
A y B para cada lnea en la que C es 1 y unindolos mediante la funcin OR. Las
funciones booleanas que describen el comportamiento de un sistema binario las podemos
expresar de dos formas: en minterms o en maxterms.

a) Se genera un minterm por cada fila de la tabla de verdad donde la salida es 1.

1. El minterm contiene el producto de cada variable de entrada en orden. La entrada

est no negada si para esa combinacin es un 1 y negada si es un 0.
2. La expresin global para la funcin lgica es suma de los minterms.

b) Se genera un maxterm por cada fila de la tabla de verdad en la que la salida

es 0.

1. El maxterm contiene la suma de cada variable de entrada en orden. La entrada

est no negada si es un 0 y negada si es un 1 (al contrario que en minterms).

2. La expresin global para la funcin lgica es producto de los maxterms.

Para el ejemplo anterior sera: (A B)(A B)
C

La funcin cannica es aquella en la que estn presentes en cada minterm o en cada

maxterm todas las variables de entrada, es decir, est sin simplificar.

Ejemplo Obtencin de la expresin booleana de un circuito a partir del diagrama lgico.

El mtodo ms sencillo es escribir sobre el diagrama la salida de cada puerta lgica.

A A A
B
C
C A B A B

B B A
B
Ejemplo Generacin de un diagrama lgico de un sistema a partir de su expresin booleana.
Considerar la expresin: AB (A B)
C AB A AB

La funcin tiene tres componentes

unidos por la funcin OR, por tanto, la
salida
vendr de un puerta OR de tres entradas. Las AB
C
entradas de esta puerta sern los tres
componentes de la expresin: la 1 , AB
proviene de una puerta AND de dos entradas A
y B ; la 2 de una NAND de entradas A y B, y B A B
la 3 de una puerta NOR de dos entradas.

Teoremas booleanos.

Hasta ahora se ha visto como generar expresiones booleanas para describir una funcin
especificada en una tabla de verdad o un diagrama lgico, pero estas expresiones no son
siempre las ms sencillas. El lgebra de Boole define varios teoremas para simplificar
dichas expresiones.
Ley conmutativa: AB = BA
A + B =
B+A

Ley distributiva: A(B+C) = AB + AC

A + BC = (A+B) (A +
C)

Ley asociativa: A(BC) = (AB)C

A+(B+C)=(A+B)
+C

Ley de la absorcin A + AB=

A
A(A+B)=
A
Ley de A B AB
DeMorgan

AB A
B

A AB A
B
A( A B)
AB

Operacin suma lgica (OR) el resultado es 1 si alguno de los sumandos es

1
1+A=
1
0+A=
A
 A+A=
A
A A 1

Operacin producto lgico (AND) el resultado es 0 si alguno de los elementos

es 0
1A=
A
0A=
0
AA=
A
AA 0

Operacin negacin (NOT) 0 1

1 0

A
Simplificacin de funciones.

Mediante la aplicacin de los teoremas.

Para simplificar una expresin algebraica se pueden aplicar los teoremas booleanos
vistos con anterioridad.

Ejemplo D BC AB AB ABC , se puede reducir:

D B C A B C CA B CC A B C
D B C A B C B C ( A A)
D BC ABC BC

A
A AB
D
B

C
D ABC C (B
B)
D AB C

Homogeneizacin de una funcin con puertas NAND.

A menudo es ms sencillo y econmico a la hora de realizar un circuito emplear slo un

tipo de puerta lgica. En varias familias lgicas las puertas NAND son las ms simples,
por lo que resulta til poder construir circuitos usando slo stas.

Ejemplo Homogeneizacin con puertas NAND de una expresin dada en forma de

minterms:
D ABC A B BC

A C

B En primer lugar hay que negar dos veces toda

C la expresin:

B D ABC BC
ABC

Y aplicar el 1 teorema de DeMorgan:

B

C D (A B (B C)
(A B C) C)

A A A

B
C

B B
B

C C B
C
Ejemplo: Homogeneizacin con puertas NAND de una expresin dada en forma de
maxterms:
D (A B C) B C) (A B C)
(A

Se niega dos veces cada elemento del producto y dos veces toda la expresin:

D (A B C) B C) (A B C)
(A

Se aplica el 1 teorema de DeMorgan: ( A B C)(A B C)(A B C)

D

A A
B

B B A

B
C

AC C

BC
 Homogeneizacin de una funcin con puertas NOR.
En algunas familias lgicas las puertas NOR son las ms simples.
Ejemplo Homogeneizacin con puertas NOR de una expresin dada en forma de
minterms:
D A B ABC B
C

Se niega dos veces cada sumando y dos veces toda la funcin:

D (A B (A B (B C)
C) C)

(A B C) ( A B C) (B C)

Se aplica el 2 teorema de DeMorgan: D

A
A A B
C
B B A
B
C

C C B
 Ejemplo.- Homogeneizacin con puertas NOR de una expresin dada en forma de
maxterms:
D (A B C) B C) (A B C)
(A

Se niega dos veces toda la funcin: D ( C) B C) B C)

A (A (A
B

Se aplica el 2 teorema de DeMorgan: D (A B C) (A B C) (A B C

A A A
A

B
C

B B B

C
A
C C
B
C

Mapas de Karnaugh.

Es un mtodo grfico de representacin de la informacin que se encuentra en la tabla

de verdad. Permite simplificar una funcin booleana de manera sencilla. En un mapa de
Karnaugh cada combinacin posible de entradas est representada por una caja dentro de
una rejilla, y el valor correspondiente de la salida se escribe dentro de la caja. Las cajas
estn escritas de forma que al cambiar de una a otra slo vara una de las entradas. La
secuencia corresponde al cdigo Gray.
 Mapa de Karnaugh de dos entradas

A B C C A
0 0 0 0 1
0 1 0 0 1
1 0 1 B 0
1 1 0
1 0 0

Mapa de Karnaugh Mapa de Karnaugh de cuatro entradas

de tres entradas
E AB
D AB 00 01 11 1
00 01 11 10 CD 00
0 01
1 11
10

Simplificacin del mapa de Karnaugh.

Se pueden agrupar dos trminos adyacentes porque por caractersticas del mapa de
Karnaugh sabemos que slo difieren en el estado de una entrada. Por tanto, cualquier par
de elementos adyacentes que contenga un 1 se pueden representar mediante una
expresin simplificada.
Los 1 adyacentes se suelen marcar con una lnea que los bordea.

Ejemplo Simplificacin de una funcin a partir del mapa de Karnaugh.

F A A partir del mapa de Karnaugh se

00 01B11 10 puede extraer
expresin la
algebraica de forma sencilla: F
ABCD ABCD
0 0 0 0 Se aprecia fcilmente que la funcin
0 1 1 0 F se puede
simplificar: F BCD(A A) BCD
0 0 0 0
0 0 0 0 Al simplificar se pierde el efecto de la
00 variable que est presente tanto en su
01 negada(A).
forma normal ( )Escomo
decir,encuando
su B=1,
11 C=0 y D=1,
la salida ser verdadera
10 independientemente del valor de