Algebra de Boole y compuertas lgicas

INTRODUCCIN

En 1847, George Boole introdujo un tratamiento sistemtico a la lgica que se le conoce como
lgebra Booleana, est fue retomada en 1939 por Shannon y demostr que poda ser
perfectamente adaptable a la teora de circuitos de conmutacin. Pero fue E.V. Huntington en
1904 quien postul formalmente los teoremas del lgebra de Boole, por cada uno de estos
teoremas, demostr que poda afirmarse un teorema alterno que recibi el nombre de Dual el
cul intercambia las operaciones de conjuncin (^ y *) por la de disyuncin (v +).

Los teoremas bsicos se pueden resumir en:

Teorema 1 (Idempotencia):
Primario Dual
x+x=x x*x=x
Postulado
x + 0 = x (Neutro Aditivo) x * 1 = x (Neutro Multiplicativo)
x + x = 1 (Complemento a 1) x * x = 0 (Complemento a 0)
Teorema 2
x+1=1 x*0=0
Teorema 3 (Involucin)
(x) = x
Postulado (Conmutatividad)
x+y=y+x x*y=y*x
Teorema 4 ( Asociatividad)
x + ( y + z) = (x + y ) + z x * ( y * z) = ( x * y ) * z
Postulado (Distributividad)
x(y +z) = xy + xz x + yz = (x + y)(x + z)
Teorema 5 DeMorgan
( x + y ) = x * y (x *y) = x + y
Teorema 6 Absorcin
x + xy = x x * ( x + y) = x

Cualquier funcin que sea candidata a ser reducida (eliminando trminos y variables) a una
funcin equivalente puede obtenerse por medio de los teoremas y postulados enunciados
anteriormente.

Formas Cannicas:

Una variable booleana puede aparecer en su forma normal o negada y en funciones que pueden
reducirse a operaciones and u or. El lgebra de boole asocia a la suma de trminos cuyas
variables exclusivamente estn multiplicndose como MINITERMINOS y a la multiplicacin de
trminos cuyas variables estn sumndose como MAXITERMINOS. Cada minitrmino es el
complemento de su maxitrmino correspondiente y viceversa.
La tabla siguiente muestra los MINITERMINOS y MAXITERMINOS para tres variables.

Minitrminos Maxitrminos
x y z Trminos Designacin Trminos Designacin
0 0 0 xyz m0 x+y+z M0
0 0 1 xyz m1 x+y+z M1
0 1 0 xyz m2 x+y+z M2
0 1 1 xyz m3 x+y+z M3
1 0 0 xyz m4 x+y+z M4
1 0 1 xyz m5 x+y+z M5
1 1 0 xyz m6 x+y+z M6
1 1 1 Xyz m7 x+y+z M7

Se puede formar una funcin booleana a partir de maxitrminos o minitrminos. Por ejemplo s F
se define en base a la siguiente tabla de verdad:

X y z F F
0 0 0 0 1
0 0 1 1 0
0 1 0 0 1
0 1 1 0 1
1 0 0 1 0
1 0 1 0 1
1 1 0 0 1
1 1 1 1 0

Entonces F = xyz + xyz + xyz = m1 + m4 + m7 (1)

Si complemento a F, entonces resulta:

F= m0 + m2 + m3+ m5 + m6

Ahora volviendo a complementar

(F)= F =(m0 + m2 + m3+ m5 + m6)= m0 m2 m3 m5 m6=M0 M2 M3 M5 M6 (2)

Como se observa en (1) y en (2) podemos expresar a la funcin, como una suma de productos
(minitrminos) o como productos de suma (maxitrminos). Para el caso anterior, decimos que la
funcin est expresada en su forma cannica.

OBJETIVO

Utilizar adecuadamente las operaciones que tiene el lgebra booleana.

Practicar los teoremas principales del lgebra de Boole.
Utilizar los teoremas del lgebra de Boole para reducir funciones.
PROCEDIMIENTO (DESCRIPCION)

1. Simplifique las siguientes funciones de manera que ocupen el nmero mnimo de literales:

a) xy + xy' b) ( x + y )( x + y )

c) xyz + xy + xyz d) ( a + b )( a + b )

2. Realice la tabla de verdad de las funciones sin simplificar y simplificadas para el ejercicio 1.

3. Realice los diagramas correspondientes a las funciones del ejercicio 2 (simplificada y sin
simplificar) con compuertas: AND, OR y NOT.

4. Ilustrar los siguientes teoremas utilizando circuitos conmutadores (interruptores):

a) X+ XY=X

b) X+YZ=(X+Y)(X+Z)'

5. Aplicar los teoremas DeMorgan a cada una de las siguiente expresiones:

a) (A+B)

b) (AB)

c) (A+B+C)

d) (ABC)

e) (A(B+C))

f) (AB+CD)

g) ((A+B)+(C+D))

6. Dada la funcin booleana:

i. F = xyz + xyz + wxy + wxy + wxy

a. Realiza la tabla de verdad de la funcin y dibuja el diagrama lgico empleando la funcin

original.
b. Simplifica al nmero mnimo de literales empleando lgebra booleana.
c. Describe por tabla de verdad la funcin reducida para demostrar que es igual a la original.
d. Dibuja el diagrama lgico de la funcin reducida y compara el nmero de compuertas con
la del inciso a.
e. Dibuja el diagrama lgico de la funcin reducida utilizando solo compuertas NAND.

7. Convierte las siguientes funciones a su otra forma cannica (explcita):

a) F(x,y,z) = (m1,m3,m7) b) F(a,b,c,d) = (M0, M1, M2, M3, M4, M6, M12)
REFERENCIAS BIBLIOGRAFICAS UTILIZADAS
Tocci, Widmer. Sistemas digitales: Principios y aplicaciones, 8a ed.,Pearson Prentice Hall.
Thomas L. Floyd. Fundamentos de sistemas digitales, 9 ed., Pearson Prentice Hall.
M. Morris Mano. Diseo Digital,3 ed., Pearson Prentice Hall.
Charles H. Roth, Jr. Fundamentos de diseo lgico, 5 ed., Thomson.