UNIVERSIDAD NACIONAL EXPERIMENTAL

FRANCISCO DE MIRANDA
REA CIENCIAS DE LA EDUCACIN
DEPARTAMENTO DE INFORMTICA Y TECNOLOGIA EDUCATIVA
U. C. ARQUITECTURA DEL COMPUTADOR

UNIDAD III: COMPUERTAS LGICAS

La informacin binaria se representa en un sistema digital por cantidades fsicas denominadas seales,
Las seales elctricas tales como voltajes existen a travs del sistema digital en cualquiera de dos valores
reconocibles y representan una variable binaria igual a 1 o 0. La lgica binaria tiene que ver con variables
binarias y con operaciones que toman un sentido lgico. La manipulacin de informacin binaria se hace por
circuitos lgicos que se denominan Compuertas.
Las compuertas son bloques del hardware que producen seales en binario 1 0 cuando se satisfacen los
requisitos de entrada lgica. Las diversas compuertas lgicas se encuentran comnmente en sistemas de
computadoras digitales. Cada compuerta tiene un smbolo grfico diferente y su operacin puede describirse por
medio de una funcin algebraica. Las relaciones entrada - salida de las variables binarias para cada compuerta
pueden representarse en forma tabular en una tabla de verdad.
LGICA DIRECTA
Puerta S o Buffer: No realiza ninguna operacin lgica, su finalidad es amplificar un poco la seal, la
seal de salida es la misma que de entrada.

Puerta AND: Tiene dos variables de entrada designada por A y B y una salida binaria designada por C.
Produce la multiplicacin lgica AND: La salida es 1 si la entrada A y la entrada B estn ambas en el
binario 1, de lo contrario la salida es 0. El smbolo algebraico de esta funcin es el mismo que el smbolo
de multiplicacin aritmtica ordinaria (*).

Licda. Carmen N. Rojas D.

1

Puerta OR: Produce la funcin suma, es decir, la salida es 1 si la entrada de A o la entrada de B o

ambas entradas son 1; de otra manera, la salida es 0. El smbolo algebraico de esta funcin es igual a la
operacin aritmtica suma (+).

Puerta XOR: tambin conocida como OR Exclusiva, realiza la funcin booleana AB + AB. Da como
resultado 1 cuando los valores en las entradas son distintos. Su smbolo algbrico es
un signo ms
+
inscrito en un crculo.

LGICA NEGADA
Puerta NO (NOT): El circuito NOT es un inversor que invierte el nivel lgico de una seal binaria. Si la
variable binaria posee un valor 0, la compuerta NOT cambia su estado al valor 1 y viceversa. El smbolo
algebraico es una barra sobre el smbolo de la variable negada o una comilla simple A o A.

Licda. Carmen N. Rojas D.

2

 Puerta NO-Y (NAND): Es el complemento de la funcin AND que consiste en una compuerta AND seguida
de un pequeo crculo. Puede tener ms de dos entradas, y la salida es siempre el complemento de la
funcin AND. El resultado ser 0 si ambas entradas estn en 1.

Puerta NO-O (NOR): Es el complemento de la compuerta OR y se utiliza el smbolo de la compuerta OR

seguida de un crculo pequeo. El resultado ser 1 si las dos entradas son 0.

Puerta equivalencia (XNOR): Es el complemento de la compuerta XOR y se utiliza el mismo smbolo

seguido de un crculo pequeo. El resultado de salida ser 1 si las dos entradas son del mismo valor sean
0-0 y 1-1.

FUNCIN LGICA.
Se define como funcin lgica o Booleana a toda variable binaria cuyo valor depende de una expresin
algebraica formada por otras variables binarias o booleanas relacionada mediante los signos + y El signo + se
debe entender como la conjuncin o y el como la conjuncin y.
Ejemplo:
S f (a,b) a + b

Licda. Carmen N. Rojas D.

3

TABLA DE VERDAD.
Existe otra manera de especificar una funcin booleana y es utilizando las tablas de la verdad, en ellas
se representa el valor que debe tomar la funcin cuando las variables de entrada toman todos los valores
posibles. La tabla de verdad de una funcin es un cuadro formado por tantas columnas como variables contenga
la funcin ms la correspondiente a la de la funcin y por tantas filas como combinaciones sean posibles
construir con dichas variables.
El nmero de filas de la tabla de verdad dependen del nmero de variables que usemos. La regla que se
n
cumple es: 2 filas.
Podemos obtener una tabla de la verdad a partir de una expresin, lo primero que se debe hacer es
identificar el nmero de variables de la funcin para conocer el tamao de la tabla de la verdad, luego escribimos
nmeros binarios en la parte de las variables. Finalmente fila por fila se va obteniendo el valor de la funcin.

Ejemplo:
S f(a,b,c) a b c
El nmero de columnas ser 4 y el de filas a las combinaciones posibles que se obtiene de la siguiente
manera:
n

Filas 2 2 8, siendo n el nmero de variables.

EJERCICIOS
1. Obtener la expresin booleana de la salida de la siguiente funcin

A
B

C
El circuito est constituido por dos compuertas AND, dos inversores y una compuerta OR. La expresin F es:
F = A.B + A.C

2. Analizar el siguiente circuito y obtener la expresin booleana de la salida:

A
B

Licda. Carmen N. Rojas D.

4

A la salida de la compuerta NAND tenemos la expresin (A.B) que se introduce en una de las entradas de la
compuerta NORy por la otra B. El resultado es:
F = ((A.B) + B)

LGEBRA BOOLEANA
Para trabajar con los circuitos digitales se tuvo que desarrollar la matemtica necesaria, esto fue posible
gracias al matemtico Ingles George Boole (1810-1864) quien desarrollo la teora en la que se basan las
computadoras para manipular los datos y se le denomina el lgebra de Boole.
El lgebra de Boole como cualquier otro sistema matemtico deductivo, puede definirse como un conjunto
de elementos, un conjunto de operadores y un nmero de postulados o teoremas.
TEOREMAS

PROPIEDADES

x+0= x
x. 0= 0

x+y = y+x
x.y = y.x

Ley Conmutativa

x+1= 1
x .1= x

x + (y+z) = (x+y)+z
x . (y.z) = (x.y).z

Ley Asociativa

x+x= x
x. x= x

x+(y.z) = x+y + x+z

x.(y+z) = x.y + x.z

Ley Distributiva

x + x = 1
x . x' = 0

(x+y) = x.y
(xy) =x+y

Ley De Morgan

x + xy = x
x + xy = x + y
(x+y)(x+z) = x+yz

(x)=x

Ley De Complemento

Ejemplo: Supongamos que tenemos un circuito donde "F" es salida del mismo en funcin de las seales A, B, y
C (entradas):
F = A*B*C + A'*B*C + B*C
Esta funcin puede ser simplificable aplicando las propiedades del lgebra de Boole. En primer lugar aplicamos
la propiedad distributiva:
F = B*C*(A+A') + B*C
Ahora aplicamos las leyes de idempotencia:
F = B*C + B*C = B*C

Licda. Carmen N. Rojas D.

5

Como hemos podido ver en este ejemplo en muchas ocasiones se puede simplificar la funcin (y por tanto el
circuito) sin que ello afecte al resultado. Ms adelante veremos cmo simplificar funciones empleando otros
mtodos ms sencillos y fiables.

Ejemplo 2:
Dada la siguiente funcin F = AB obtenga su tabla de verdad.
La funcin tiene dos variables
2
2 = 4 filas
Aplicando la expresin vamos calculando el valor de F
F(0,0) = 0. 0 = 1 . 0 = 0
F(0,1) = 0. 1 = 1 . 1 = 1
F(1,0) = 1. 0 = 0 . 0 = 0
F(1,1) = 1. 1 = 0 . 1 = 0
Tabla de la verdad
A
B
F
0
0
0
0
1
1
1
0
0
1
1
0
Entre las diversas representaciones matemticas que puede tomar una funcin, existen dos
especialmente interesantes que se denominan formas cannicas.
Primera forma cannica de una funcin lgica o miniterms: es una suma de productos lgicos en los que
intervienen todas las variables de la funcin, ya sea de forma directo o de forma negada. Para obtenerla a partir
de la tabla de la verdad, se tomarn aquellas filas en las que el valor de la funcin sea 1; cada termino ser un
producto de todas las variables que intervienen en la funcin, de forma directa (su valor en la tabla es 1) o de
forma negada (su valor en la tabla es 0).
Segunda forma cannica de una funcin lgica o maxterms: es un producto de sumas en las que intervienen
todas las variables de la funcin, ya sea de forma directo o de forma negada. Para obtenerla a partir de la tabla
de la verdad, se tomarn aquellas filas en las que el valor de la funcin sea 0; cada termino ser una suma de
todas las variables que intervienen en la funcin, de forma directa (su valor en la tabla es 0) o de forma negada
(su valor en la tabla es 1).

Licda. Carmen N. Rojas D.

6

Ejemplo: Obtener la primera y segunda forma cannica de la funcin a partir de su tabla de verdad.
Fila
0
1
2
3
4
5
6
7

a
0
0
0
0
1
1
1
1

b
0
0
1
1
0
0
1
1

c
0
1
0
1
0
1
0
1

S
0
0
0
1
0
1
1
0

EJERCICIOS
1. 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.

2. Representar la siguiente ecuacin mediante compuertas lgicas.

F(A, B, C, D) = (B + D) (A + B) C

3. Generacin de un diagrama lgico de un sistema a partir de su expresin booleana. Considerar la expresin:

C = AB + AB + (A +B).
La funcin tiene tres componentes unidos por la funcin OR, por tanto, la salida vendr de una puerta OR de
tres entradas. Las 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 la 3 de una puerta NOR de dos
entradas

Licda. Carmen N. Rojas D.

7

4. Simplificar la siguiente expresin algebraica aplicando los teoremas booleanos:

D =BC + ABC+ ABC + ABC
Se puede reducir:
D = BC + ABC + ABC + ABC
D = BC + ABC + BC (A+A)
D = BC + ABC + BC
D = ABC + C (B+ B)
D = AB + C

MAPAS DE KARNAUGHT (2,3 Y 4 VARIABLES)

Para simplificar una funcin lgica se utilizan los Mapas de Karnaugh definido como: Diagrama hecho de cuadros
(Celdas) que resulta de la intercepcin de filas por columnas, y cada uno de estos cuadros representa un trmino
mnimo. Puede considerarse como una interpretacin fcil para escoger el nmero mnimo de trminos
necesarios para expresar algebraicamente la funcin.
Ahora bien, para aplicar este mtodo la funcin debe estar expresada como suma de productos (primera forma
cannica) o producto de sumas (segunda forma cannica), por tanto, es necesario saber cmo convertir
cualquier funcin lgica, sea cual sea la forma en que este expresada, en un producto de suma o suma de
productos; nos centraremos en la primera forma cannica que es la que vamos a utilizar.
Vamos a verlo con un ejemplo; supongamos la siguiente funcin:
S a + bc
Se observa que en el primer trmino nos falta la variable b y c y en el segundo la variable a. Para introducirlas
multiplicaremos por la variable ms su complementada, es decir, estamos multiplicando por 1.
S = a(b + b )(c + c )+ (a + a )bc
Operando obtenemos:
S = (ab + ab )(c + c )+ abc + abc = abc + abc + abc + abc + abc + abc
Aquellos trminos que se repitan se pueden eliminar dejando solo uno (quinto postulado), en nuestro ejemplo se
repite abc, por tanto, eliminando uno queda:
S = abc + abc + abc + abc + abc

Licda. Carmen N. Rojas D.

8

Ya hemos obtenido la primera forma cannica de nuestra funcin.

Construccin de un Mapa de Karnaugh:

Este mtodo se puede considerar como una funcin matricial de la tabla de la verdad, en donde en
donde el trmino que produce 1 para la funcin puede expresarse en su equivalente decimal. Para construir un
mapa de Karnaugh las variables de enlistan en la diagonal del cuadro superior izquierdo del mapa, el valor de
las variables se enlistan a los lados de cada diagonal tomando en cuenta el cdigo Grey quedando estructurado
de la siguiente manera:

Ejemplo: Dada la funcin S = AB + ABC obtenga tabla de la verdad y mapa de Karnaugh.

3

2 = 8 filas
S = AB + ABC
S (0, 0, 0) = 0.0+0.0.0 = 1.0 + 0.0.1 = 0 + 0 = 0
S (0, 0, 1) = 0.0+0.0.1 = 1.0 + 0.0.0 = 0 + 0 = 0
S (0, 1, 0) = 0.1+0.1.0 = 1.1 + 0.1.1 = 1 + 0 = 1
S (0, 1, 1) = 0.1+0.1.1 = 1.1 + 0.1.0 = 1 + 0 = 1
S (1, 0, 0) = 1.0+1.0.0 = 0.0 + 1.0.0 = 0 + 0 = 0
S (1, 0, 1) = 1.0+1.0.1 = 0.0 + 1.0.0 = 0 + 0 = 0
S (1, 1, 0) = 1.1+1.1.0 = 0.1 + 1.1.1 = 0 + 1 = 1
S (1, 1, 1) = 1.1+1.1.1 = 0.1 + 1.1.0 = 0 + 0 = 0

0
1
2
3
4
5
6
7

A
0
0
0
0
1
1
1
1

B
0
0
1
1
0
0
1
1

C
0
1
0
1
0
1
0
1

S
0
0
1
1
0
0
1
0

1. Se desarrolla la funcin lgica basada en ella (primera forma cannica: posicin donde la salida es 1), F = (2,
3, 6) en donde las letras en parntesis representan las variables y los datos numricos representan los trminos
que producen 1 en la tabla de la verdad:(010 = 2, 011 = 3, 110 = 6).
2. Tomando en cuenta los trminos de la funcin F(A, B, C) = (2, 3, 6) se construye el mapa de acuerdo al
3
nmero de variables en este caso es 3. Por lo tanto 2 = 8 filas.

Licda. Carmen N. Rojas D.

9

3. Se construye el mapa:

AB
00
01
11
10

0
2
6
4

1
3
7
5

C
AB
00
01
11
10

1
1

4. Una vez representado los trminos en el mapa se procede a su simplificacin, agrupndose los 1 que se
encuentran en el mapa. Solo pueden ser agrupados en 2, 4 y 8 dgitos de forma vertical, horizontal o en
bloques, no se acepa diagonales ni celdas vacas entre ellas.

AB
00
01
11
10

0
2
6
4

1
3
7
5

AB
00
01
11
10

0
1
1

1
1

5. Para obtener el resultado de la simplificacin se deben comparar las filas y luego las columnas de cada
conjunto, si una variable cambia de estado, es decir de 0 pasa a 1 no se toma en cuenta. Si se mantiene
su estado se toma en cuenta; y se expresa en funcin del cdigo; es decir, si la variable es 0 se obtiene
una variable negada y si es 1 se obtiene una variable sin negar.

C
AB
00
01
11
10

0
1
1

C
AB
00
01
11
10

1
1

0
1
1

1
1

*Comparamos el valor de A: A en una fila es 0 y en la otra siguiente es

1, eso quiere decir que cambia y NO se toma en cuenta.
*Comparamos el valor de B: B en una fila es 1 en la siguiente sigue
siendo 1, por lo que NO cambia y se toma en cuenta.
El resultado es: F = B

*Comparamos el valor de C: comparando las columnas nos damos

cuenta que solo ocupa una sola columna y su valor es 0, por lo tanto el
valor de C = 0 y el resultado es C.
El resultado es: F = BC

Licda. Carmen N. Rojas D.

10

6. Se compara el segundo conjunto que solo ocupa la fila 0 1 por lo que su resultado es 0 en A y 1 en B, es
decir, AB. El conjunto anterior ocupa las dos columnas donde una es 0 y la otra 1, por lo tanto cambian y
C no se toma en cuenta.

AB
00
01
11
10

1
El resultado final es:

1
1

F = BC + AB

EJERCICIOS
5. Pasa las siguientes funciones lgicas a la primera forma cannica y simplifica mediante el mapa de karnaugh:
S = ab + ab + abc
S = a + b + ac
S = ab + bc
S = ab + bc + ac

6. Dada las funciones lgicas expresadas en las siguientes tablas de verdad:

a. Halla la primera y segunda forma cannica.
b. Realiza la minimizacin por Karnaugh y el diagrama correspondiente.
c. Realiza el diagrama lgico de la funcin minimizada slo con puertas NAND.

a
0
0
0
0
1
1
1
1

b
0
0
1
1
0
0
1
1

c
0
1
0
1
0
1
0
1

S1
1
1
1
0
0
1
1
0

Licda. Carmen N. Rojas D.

11