PRCTICA DE LABORATORIO

CARRERA: INGENIERA ELCTRICA

NRO. PRCTICA:

02

ASIGNATURA: ELECTRNICA DIGITAL

TTULO PRCTICA: LGEBRA DE BOOLE Y TEOREMAS DE MORGAN

OBJETIVO GENERAL:
Comprobar el funcionamiento del lgebra de Boole y de los Teoremas de Morgan.
OBJETIVO ESPECFICO:
Disear y comprobar el funcionamiento de circuitos digitales bsicos aplicando el lgebra de Boole.
Reemplazar circuitos digitales convencionales por circuitos con compuertas NAND o NOR, utilizando los
Teoremas de Morgan.
INSTRUCCIONES:
1. Obtenga la expresin digital, para la salida x del circuito de la
Figura 1, luego reduzca la ecuacin aplicando el lgebra Booleana
y obtenga los valores de la salida, utilizando una tabla de verdad.

Figura 1
2. Arme el circuito simplificado en el punto 1 y compruebe su tabla de
verdad, registrando sus voltajes y corrientes de entrada y salida de
la expresin digital.
3. Aplique universalidad de compuertas (NAND y NOR) a travs de los
Teoremas de Morgan, obtenga sus respectivos diseos y tablas de
verdad y repita el punto 2.
4. Determine y explique una aplicacin real que se pudiera dar al
circuito simplificado en el punto 2, esto es A, B, C, D pueden ser
sensores, interruptores, pulsantes, etc. y su salida X una alarma o
un actuador especfico.
5. Represente el diagrama original de la Figura 1 con compuertas
lgicas alternas y compruebe la similitud de las tablas de verdad.
6. Represente el diagrama original de la Figura 1 con smbolos lgicos
del estndar IEEE/ANSI.
7. Simplifique las siguientes expresiones

X = A (B+C)
D y

Y = ABCD
utilizando los Teoremas de Morgan, luego disee y arme los 4
circuitos correspondientes (2 Sumas de Productos y 2 Productos de
Sumas) y compruebe sus tablas de verdad, registrando nicamente
los voltajes de entrada y salida de las expresiones digitales.
8. Obtenga la expresin digital, para la salida x del circuito de la
Figura 2, luego reduzca la ecuacin aplicando el lgebra Booleana

y obtenga los valores de la salida, utilizando una tabla de verdad.

9. Arme el circuito simplificado en el punto 8 utilizando compuertas de

mximo 2 entradas y compruebe su tabla de verdad, registrando su
diseo y sus voltajes de entrada, intermedios y de la salida
10. Aplique universalidad de compuertas (NAND y NOR) a travs de los
Teoremas de Morgan, obtenga sus 2 diseos y respectivas tablas
de verdad y arme uno de los 2 circuitos.
11. Represente el diagrama original de la Figura 2 con compuertas
lgicas alternas y compruebe la similitud de las tablas de verdad.
12. Represente el diagrama original de la Figura 2 con smbolos lgicos
del estndar IEEE/ANSI.
1. MARCO TERICO:
1.1. LGEBRA DE BOOLE
El lgebra de Boole es toda clase o con junto de elemento que pueden tomar valores perfectamente
diferenciados, que designaremos por 0 y 1 y que estn relacionados por dos operaciones binarias
denominadas suma (+) y producto (*).
Teoremas booleanos:

Figura 1. Teoremas con una sola variable.

Teorema (1): Establece que si se aplica un AND entre cualquier variable y 0, el resultado es 0. Esto es fcil de
recordar ya que la operacin AND es como la multiplicacin ordinaria, en donde sabemos que cualquier
cantidad multiplicada 0 es igual a 0. Tambin sabemos que la salida de una compuerta AND ser 0 siempre que
una entrada sea 0, sin importar el nivel de la otra.
Teorema (2): Comparndola con la multiplicacin ordinaria todo nmero multiplicado por 1 siempre ser el
mismo nmero.
Teorema (3): Puede de mostrarse si se prueba cada caso. Si x=0, entonces 0 0=0; si x=1 entonces 1 1=1.
Por lo tanto, x x=x.

Teorema (4): Puede demostrarse de la misma forma. No obstante, tambin podemos razonar que en cualquier
momento ya sea x o su inverso x, debe estar en el nivel 0 y, por lo tanto, su producto AND siempre ser 0.
Teorema (5): Es bastante directo, ya que cualquier cantidad que se sume con 0 no afecta su valor, ya sea en la
suma ordinaria o en la operacin OR.
Teorema (6): Establece que si se aplica un OR Entre cualquier variable y 1, el resultado siempre ser 1.
Teorema (7): Puede probarse si se comprueban ambos valores de x: 0 + 0 = 0 y 1 + 1 = 1.
Teorema (8): Se puede probar que en cualquier momento ya sea x o x estar en nivel 1.
Teoremas con mltiples variables.
Los problemas a continuacin presentan ms de una variable:

(9)

x+ y= y + x

(10)

x y= y x

(11)

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

(12)

x ( yz)=(xy ) z=xyz

(13a)

x ( y + z)=xy + xz

(13b)

(w+ x)( y + z)=wy + xy+ wz+ xz

(14)

x+ xy =x

(15a)

x+ x yx =x+ y

(15b)

xx + xy=xx + y

Teoremas (9) y (10): Se conocen como leyes conmutativas, ya que indican que el orden en el que se aplican
las operaciones OR y AND a dos variables no importa; el resultado es el mismo.
Teoremas (11) y (12): Son las leyes asociativas, las cuales establecen que podemos agrupar las variables en
una expresin AND o en una expresin OR de cualquier forma que necesitemos.
Teorema (13): Es la ley distributiva, la cual establece que para expandir una expresin se multiplica trmino por
trmino, de igual forma que en el lgebra ordinaria. Este teorema tambin indica que podemos factoriza una
expresin. Esto es, si tenemos una suma de dos (o ms) trminos, cada uno de los cuales contiene una
variable comn, esta variable comn puede factorizarse de igual forma que es el lgebra ordinaria.
Teorema (9) a (13): Son fciles de recordar y de utilizar, ya que son idnticos a los del algebra ordinaria.
Teorema (14) y (15): No tienen contrapartes en el lgebra ordinaria.
1.2. TEOREMAS DE MORGAN
De los teoremas ms importantes del algebra booleana fueron aportacin de un gran matemtico apellidado
DeMorgan. Los teoremas DeMorgan son extremadamente tiles para simplificar expresiones en las cuales se
invierte un producto o la suma de variables. Los dos teoremas son:
(16)

( x+ y )=x yx

(17)

( x y )=x x + y x

Teorema (16): Establece que cuando se invierte la suma OR de dos variables, el mismo que invertir cada
variable en forma individual y despus aplicar una operacin AND a estas dos variables invertidas.
Teorema (17): Establece que cuando se invierte el producto AND de dos variables, es lo mismo que invertir
cada variable en forma individual y despus aplicar una operacin OR a estas dos variables.
Cada uno de los teoremas DeMorgan puede demostrase con facilidad si se compraban todas las posibles

combinaciones para

x y

y .

1.3. REPRESENTACIONES ALTERNAS DE COMPUERTAS LGICAS

Las cinco compuertas lgicas bsicas (AND, OR, INVERSOR, NAND y NOR) y los smbolos estndar que se
utilizan para representarlas en los diagramas de circuitos lgicos. Aunque tal vez algunos diagramas de
circuitos aun utilicen estos smbolos estndar de manera exclusiva, cada vez es ms comn encontrar
diagramas de circuitos en los que se emplean los smbolos alternativos adems de los smbolos estndar.

Figura 2. Smbolos estndar y alternativos para varias compuertas lgicas para el inversor.

1.4. SMBOLOS LGICOS DEL ESTNDAR IEEE/ANSI

Los smbolos estndar tradicionales utilizados en la industria digital durante muchos aos. Estos smbolos
tradicionales utilizan una forma distinta para cada compuerta lgica. En 1984 se desarrollo un estndar mas
reciente para lso smbolos lgicos; a este se le conoce como Estndar IEEE/ANSI 91-1984 para smbolos
lgicos. El estndar IEEE/ANSI utiliza smbolos rectangulares para representar todas las compuertas y circuitos
lgicos. Una notacin de dependencia especial dentro del smbolo rectangular indica como dependen las
salidas del dispositivo de sus entradas.

Figura 3. Smbolos lgicos estndar: (a) tradicionales, (b) IEEE/ANSI.

2. DISEO Y ANLISIS DE RESULTADOS:

2.1. SIMPLIFICACIN DE EXPRESIONES DIGITALES, DIAGRAMAS ELCTRICOS, TABLAS DE VERDAD,
REGISTRO Y ANLISIS DE DATOS PARA LOS 3 PROBLEMAS PLANTEADOS.
1)

Figura 4.Diagrama del punto 1

X =A B C+ A B C+ A B D

X =B C ( A+ A ) + A B D
X =B C + A B D

X =B (C+ A D)

D
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1

C
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1

B
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1

A
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1

AD
0
0
0
0
0
0
0
0
1
0
1
0
1
0
1
0

C + AD
1
1
1
1
0
0
0
0
1
1
1
1
1
0
1
0

Tabla 1.Tabla de verdad del circuito 1.

B(C+AD)
1
1
0
0
0
0
0
0
1
1
0
0
1
0
0
0

3. CONCLUSIONES Y RECOMENDACIONES:

CONCLUSIONES:
Se utiliz el lgebra booleana para reducir las expresiones complejas en ms sencillas de manejar y armar.
Esta prctica me permiti comprender como se interpretan los Teoremas de Morgan y transformar sus
funciones en funciones suma y viceversa mediante el uso de compuertas, Circuitos lgicos y las
expresiones que se deducen de las tablas de verdad.
Su aplicacin fue prctica al utilizar circuitos de un solo tipo de puerta como es la NOT en ambos ejercicios,
dando como conveniente reducir el nmero de entradas de las compuertas, o sea, saber utilizar las
compuertas que tienen ms entradas que las necesarias.
Por lo que resulta cada vez ms interesante desde mi punto de vista, ya que hasta ahora queda concluido
cmo funcionan cada una de las compuertas que hemos utilizado durante las prcticas.
RECOMENDACIONES:
Verificar la correcta instalacin de las compuertas, caso contrario esto puede dar paso a que se recaliente
el integrado o pasar a quemarse la compuerta o todo el integrado.
Al comprobar las tablas de verdad del circuito original con el simplificado tienes que dar la misma seal de
salida.
El smbolo de la corriente de salida va a afectar dependiendo en el modo que se lo utilice, cuando la seal
esta en alto o cuando la seal esta en bajo.
4. BIBLIOGRAFIA:
- RONALD TOCCI; Sistemas digitales.
- http://buscador.hispavista.es/logicaalgebradeboole
- http://www.ncc.up.pt/~zp/aulas/9899/me/trabalhos/ alumnos/circuitos_logicos/algboole.html
Nombre de estudiante: KEVIN HONORES
Firma de estudiante: _______________________________

ANEXO 0.1 SIMULACIONES:

Figura 20.Diagrama con compuertas lgicas

( AD ( B+C )) .

Figura 21.Diagrama con compuertas lgicas

( A B C D)

Figura 22.Diagrama con compuertas lgicas

( A B C D)

Figura 23.Diagrama con compuertas lgicas (

B (C+ A D)

Figura 24.Diagrama con compuertas lgicas (

A B+ B C+ D+ E