UNIVERSIDAD TECNOLOGICA DE PUEBLA

ELECTRICIDAD Y ELECTRONICA INDUSTRIAL

MATERIA :SISTEMAS DIGITALES

PRACTICA 2: ALGEBRA BOOLEANA Y CIRCUITOS

LGICOS

ELABORO : ING. TEC. AGUAYO CANO JOSE ABRAHAM

Objetivo :
Saber utilizar los postulados del lgebra booleana para simplificar funciones que describan
cualquier circuito lgico combinacional. Demostrar la relacin entre una funcin booleana
y el diagrama lgico correspondiente.

Introduccin:
Es probable que en muchas ocasiones aparezcan diferentes caminos para realizar una
misma tarea, y que adems estos caminos no sean idnticos, sino que unos resulten ms
sencillos o inmediatos que otros, aunque el fin conseguido sea el mismo. De igual forma la
resolucin de una funcin lgica, es decir, la respuesta de la salida respecto de las
variaciones de las entradas, puede ser obtenida de varias maneras basndose en el
tratamiento que se le d a dichas entradas y la manera en que sean utilizadas las puertas
lgicas al ser implementada. Para conseguir minimizar el nmero de puertas necesarias
existen unos mtodos de simplificacin de funciones lgicas, siendo los ms utilizados el
mtodo algebraico y el de Karnaugh

En 1854 George Boole introdujo un tratamiento sistemtico de la lgica y desarrollo para

este propsito un sistema algebraico como lgebra booleana.
Para la definicin formal del lgebra booleana se emplean varios postulados formulados por
E. V. Huntington en 1904, estos axiomas no son nicos para definir el lgebra booleana, se
han utilizado otros conjuntos y postulados. El lgebra booleana es una estructura algebraica
definida en un conjunto de elementos B junto con dos operadores binarios (+ y x) siempre
que se satisfagan los siguientes postulados.

Forma cannica de una funcin booleana

Una funcin booleana es la que muestra la relacin en trminos de sumas y productos

lgicos existente entre las variables de entrada de dicha funcin, y se dice que una funcin
est en forma cannica cuando en cada uno de sus trminos aparecen todas las variables de
entrada, bien sean negadas o sin negar.
Los trminos representan las condiciones de las variables de entrada para que se cumpla
la funcin ("1" en lgica positiva).

Se puede ver un ejemplo para una funcin cuya salida (s), es funcin de tres entradas (a,
b, c):

s = a b c + a b c + a b c
Existen dos maneras de representar las funciones booleanas en su forma cannica, en forma
de Minterminos y en forma de Maxterminos.
Mintermino: es la forma de representar una funcin cannica mediante trminos en
forma de sumas de productos de todas sus variables:

s = a b c + a b c + a b c
Maxtermino: es la forma de representar una funcin cannica mediante trminos en
forma de productos de sumas de todas sus variables:

s = (a + b + c) (a + b + c) (a + b + c)
Toda funcin no cannica puede ser representada en forma de Minterm o Maxterm
siguiendo unas reglas:
Pasar a Minterm: se debe multiplicar cada trmino al que le falte una variable por "uno",
entendiendo por "uno" la suma de la variable que falta ms ella misma negada.
Pasar a Maxterm: se debe sumar a cada trmino que le falte una variable "cero",
entendiendo por "cero" el producto de la variable que falta por si misma negada.

Paso de Minterm a Maxterm:

1. Obtener los trminos de la funcin negada.
2. Aplicar teorema de DMorgan.

Paso de Maxterm a Minterm: se debe partir de la funcin en forma de maxterm y el

proceso es idntico al anterior.

La suma de todos los minterm de una funcin lgica vale uno

El producto de todos los maxterm de una funcin lgica vale cero.

Mintrminos y Maxtrminos para variables de 3 bits.

Implementacin de funciones
Al paso de una funcin lgica a su circuito mediante puertas lgicas se le llama
implementar la funcin. Para la funcin

s = a b c + a b c + a b c
Pero existe una manera especial de implementar funciones aplicando las leyes de Morgan,
con este sistema se consigue el circuito de una funcin mediante compuertas NAND o
NOR nicamente. Esto se puede ver con algo tan sencillo como es realizar la funcin lgica
AND implementada tanto por puertas NAND como NOR, figura:

Implementacin de una funcin con compuertas lgicas.

Implementacin de la compuerta AND con compuertas NAND y NOR.

Material yo equipo:
Fuente de alimentacin de 5v
Manual TTL para circuitos integrados
Compuertas ( segn la necesidad de la prctica)
Multimetro digital o analgico
4 interruptores (S1, S2, S3, S4)
4 LEDs ( 2 color rojo, 2 color verde)
Tableta de prototipos o Protoboard y alambre delgado
 ELABORACIN DE LA PRCTICA :
ALGEBRA BOOLEANA Y CIRCUITOS LGICOS
A continuacin se presenta el siguiente problema de anlisis:

1.- En un crucero existen dos caminos, uno ser la autopista principal y el otro ser un carril
secundario que viene de norte a sur y viceversa.
C D
Carril secundario

A
Autopista
B

En el centro del crucero existe un semforo doble el cual controla la circulacin correcta de
los autos respetando las condiciones siguientes:
a) La autopista tiene preferencia, si no hay autos en los carriles se enciende la luz
verde de la autopista y la luz roja del carril sec.
b) En cuanto halla un auto en cualquier carril de la autopista se enciende el verde del
semforo y pone en rojo el semforo del carril sec.
c) El color verde del semforo del carril sec se enciende siempre y cuando halla un
auto en cualquiera de sus carriles y ninguno en la autopista.

La tabla de verdad se muestra a continuacin:

A B C D Aut Carril sec.
0 0 0 0 1 0
0 0 0 1 0 1 Nota: Las entradas A,B,C,D que son los
0 0 1 0 0 1 automviles presentes en cada carril sern
0 0 1 1 0 1 simulados por los interruptores (ONOFF).
0 1 0 0 1 0 Las salidas Aut. Y Carril sec. Sern
0 1 0 1 1 0 representados por los dos leds verdes que
0 1 1 0 1 0 simularan el semforo junto con su
0 1 1 1 1 0 respectivo led rojo.
1 0 0 0 1 0
1 0 0 1 1 0
1 0 1 0 1 0
1 0 1 1 1 0
1 1 0 0 1 0
1 1 0 1 1 0
1 1 1 0 1 0
1 1 1 1 1 0
2.- De la tabla de verdad obtenga la funcin ya sea en suma de minterminos o en producto
de maxterminos utilizando reduciendo la funcin utilizando los postulados del lgebra
booleana. Exprese ambas funciones en su forma reducida.

3.- Implemente un circuito lgico combinacional que resuelva el problema de los semforos
y compruebe el encendido del los LEDs conforme exista o no exista presencia con los
interruptores (S1,S2,S3,S4).

Preguntas:
1.- Realice el circuito de este problema utilizando solamente compuertas NAND o NOR.

2.- Que ventajas tendra realizar un circuito con componentes lgicos en el cual la funcin
resultante nos reduzca el nmero de elementos de dicho circuito? Explique:

3.- Reduzca las siguientes funciones utilizando el lgebra booleana:

a) (x + y)(x + y) b) xyz + xy + xyz c) y (wz + wz) + xy

4.- Que relacin existe entre la funcin obtenida de la salida Aut. Y la funcin obtenida de
la salida Carril sec.?

Bibliografas:
1.- Diseo Digital
Autor : M. Morris Mano
Edit. Prentice Hall

2.- Tocci Sistemas Digitales

Editorial Prentice Hall

3.- Charles Roth

Fundamentals of Logic Design