Está en la página 1de 6

Elaborado por: Diego Fernando Cano, Ingeniero Electrnico

CORPORACIN UNIVERSITARIA MINUTO DE DIOS



DEPARTAMENTO DE INFORMTICA Y TELECOMUNICAIONES

RESUMEN COMPUERTAS BSICAS, ALGEBRA DE BOOLE Y TEOREMAS
DE MORGAN

El presente documento tiene como finalidad resumir los conceptos bsicos de
compuertas lgicas bsicas, algebra de Boole y los teoremas de Morgan.


COMPUERTAS BSICAS

NOT (NEGACIN) REF:7404
Niega el valor lgico de la entrada respectiva, es decir, si la entrada es 0
entonces la salida es 1, y del mismo modo si la entrada es 1 la salida es 0.



NOTACIN:
Entrada: A
Salida: A


AND (Funcin lgica Y) REF: 7408
Se puede tomar como la multiplicacin de las entradas; la funcin lgica Y es
verdadera (igual a 1) siempre que todas sus entradas sean verdaderas (igual
a 1).



NOTACIN:
Entradas: etc C B A .....
Salida: etc C B A ......






Elaborado por: Diego Fernando Cano, Ingeniero Electrnico

OR (Funcin lgica O) REF:7432
La funcin lgica O es verdadera (igual a 1) siempre que ALGUNA de sus
entradas sea verdadera (igual a 1).



NOTACIN:
Entradas: etc C B A .....
Salida: etc C B A + + + + ......

NAND (Funcin lgica Y NEGADA) REF:7400
La funcin NAND, corresponde a la funcin AND con un negador en la salida,
en este caso la funcin es verdadera (igual a 1) siempre que en sus entradas
se encuentre un cero.



NOTACIN:
Entradas: etc C B A .....
Salida: etc C B A .. ..........

NOR (Funcin lgica O NEGADA) REF:7432
La funcin NOR, corresponde a la funcin OR con un negador en la salida, en
este caso la funcin es verdadera (igual a 1) cuando TODAS sus entradas
son iguales a cero.



NOTACIN:
Entradas: etc C B A .....
Salida: etc C B A + + + + ......



Elaborado por: Diego Fernando Cano, Ingeniero Electrnico

XOR (Funcin lgica O EXCLUSIVA) REF:7486
La funcin lgica O EXCLUSIVA es verdadera (igual a 1) slo cuando que
ALGUNA de sus entradas sea verdadera (igual a 1), pero no todas al tiempo lo
que significa, que en el caso de tener las 2 entradas en 1 lgico, la salida
correspondiente ser igual a CERO.



NOTACIN:
Entradas: B A
Salida: B A , la funcin XOR tambin puede representarse como B A B A +
XnOR (Funcin lgica O EXCLUSIVA NEGADA) REF:NO DISPONIBLE
La funcin lgica O EXCLUSIVA NEGADA corresponde a la funcin XOR con
un negador en la salida, en este caso la funcin es verdadera (igual a 1)
cuando sus 2 entradas son iguales a CERO o iguales a UNO AL TIEMPO.



NOTACIN:
Entradas: B A
Salida: B A , la funcin XOR tambin puede representarse como AB B A +


ALGEBRA DE BOOLE
El algebra de Boole, corresponde a la serie de operaciones lgicas que se
puede hacer entre las diferentes compuertas con el fin de reducir funciones
lgicas.
La idea de reducir se basa en el hecho que una funcin lgica corta puede
representar el comportamiento una funcin mucho ms extensa.
A continuacin se presentan las diferentes reglas del Algebra de Boole:

- Propiedades bsicas:
o A B B A + = +
o BA AB =
o ( ) ( ) C B A C B A + + = + +
o ( ) ( ) BC A C AB =
o ( ) AC AB C B A + = +


Elaborado por: Diego Fernando Cano, Ingeniero Electrnico

- Reglas
1. A A = + 0
2. 1 1= + A
3. 0 0 = A
4. A A = 1
5. A A A = +
6. 1 = + A A
7. A A A =
8. 0 = A A
9. A A =
10. A B A A = +
11. B A B A A + = +
12. ( ) ( ) BC A C A B A + = + +
- NOTA: las reglas anteriormente expuestas corresponden nicamente a
la forma de la expresin lgica correspondiente, esto quiere decir que
podemos tener diferentes nombres para las variables; de igual forma
podemos tomar variables negadas para representar las reglas, por
ejemplo:

X B X X = +

Corresponde a la regla 10, reemplazando A con X .

Otro ejemplo tiene que ver con la regla 11, ya que esta puede diferentes
formas como se muestra a continuacin:

- B A B A A + = +
- B A B A A + = +
- B A B A A + = +
- B A B A A + = +

Todas las formas anteriores corresponden a la regla 11, sin embargo, se
debe tener en cuenta la notacin de las diversas variables. Esta regla,
puede verse de la siguiente forma:

| | | | | | | | | | 2 1 2 1 1 + = +

Donde:
| | 1 es la variable 1, | | 1 es la negacin de la variable 1 y | | 2 es la variable
2 (sin importar si es negada o no),.

Ejemplos:

1. ( )( ) C AB AB A A + +
a. ( ) 1 = + A A Con esta reduccin se obtiene C AB AB +

Elaborado por: Diego Fernando Cano, Ingeniero Electrnico

b. Dado que podemos agrupar la multiplicacin como queramos, se
tiene ( ) ( )C AB AB + .
c. Por la regla 10, el resultado de la reduccin es: ( ) AB

2. ( ) AB C B A AB + + +
a. Dado que el orden de la suma no importa (primera propiedad
bsica), entonces se obtiene: ( )C B A AB AB + + +
b. Nuevamente, por agrupacin y utilizando la regla 5 tenemos
AB AB AB = + , esta reduccin nos da ( )C B A AB + +
c. Utilizando la regla distributiva (Quinta propiedad bsica) se
obtiene C B AC AB + +
d. Luego factorizando se obtiene ( ) C B C B A + +

TEOREMAS DE MORGAN

Estos permiten representar un producto como una suma y una suma como un
producto.

1. Producto como suma: Y X XY + =
2. Suma como producto Y X Y X = +

Ejemplos:

1. Represente la funcin Y X + como un producto
a. Tomando el teorema de producto como suma tendremos que el
complemento de X es X y de igual manera el complemento de
Y es Y .
b. La solucin es Y X Y X = +

2. Represente la funcin XY como una suma
a. Tomando el teorema de producto como suma tendremos que el
complemento de X es X y de igual manera el complemento de
Y es Y .
b. La solucin es Y X Y X + =

3. Utilice los teoremas de Morgan en la siguiente expresin
( ) BC CD C B A + + +
a. Aplicamos la doble negacin sobre BC ( ) BC CD C B A + + +
b. Desarrollamos la negacin del interior del parntesis:
( ) ( ) BC CD C B A + + + +
c. Eliminando los parntesis obtenemos ( ) BC CD C B A + + + +
d. Utilizando la regla 10 del algebre de Boole sobre C+CD
obtenemos ( ) BC C B A + + +

Elaborado por: Diego Fernando Cano, Ingeniero Electrnico

e. Aplicamos el teorema de Boole 1, sobre el parntesis y
obtenemos BC C AB + .
f. Factorizando B obtenemos ( ) C C A B +
g. Aplicando la regla 11 sobre el parntesis se tiene ( ) C A B + , lo que
corresponde a la solucin.


EJERCICIOS PARA PRCTICAR

Todos los ejercicios que se encuentran a continuacin pueden resolverse
mediante la aplicacin del algebra de Boole y de los teoremas de Morgan,
recuerden que es posible combinar estas dos tcnicas para obtener la funcin
reducida.

1. ( ) ( ) W Y YW X W Y YW X + + +

2. C B A C B A C B A + +

3. ( )( ) ( )( ) ( ) Z W Y X Z W Z W Y X Z W Z W Y X + + + +

4. ( ) | | AC BC C AB ABC + +

5. ( ) ( ) ( ) ( ) D C B A D C B A D C B A D C B A + + +