Algebra de Boole

LGEBRA DE BOOLE
George Boole (1854) desarroll una herramienta matemtica que se utiliza para el estudio de computadores. La aplicacin en computadores es del tipo binario 0/1 El estado de un elemento del circuito lgico viene representado por una variable que puede valer 1 o 0. FUNCIN: Expresin que indica la relacin entre las variables y el n de variables F= f(a,b,c,..)

F (a, b, c) = abc + b(c + d )

TABLA DE LA VERDAD: Tabla que recoge todas las combinaciones de las variables de entrada y los valores que toman las salidas. a b c F 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 F (a, b, c) = abc + abc + abc) 1 0 0 0 1 0 1 0 1 1 0 1 1 1 1 1

OPERACIONES EN EL ALGEBRA DE BOOLE

F = a+b F =ab F =a

Unin o adicin: Interseccin o producto: Complementacin

Tablas de la verdad
F = a+b 0 1 1 1 F =ab 0 0 0 1

a 0 0 1 1

b 0 1 0 1

F =a 1 1 0 0

Pgina 1

Algebra de Boole

LEYES FUNDAMENTALES DEL ALGEBRA DE BOOLE

a + a =1 aa = 0 0+a = a 1 a = a 1+ a = 1 0a = 0 a+a=a aa = a a=a Conmutativa a + b = b + a a b = b a Asociativa a + b + c = (a + b) + c = a + (b + c) a b c = (a b) c = a (b c) Distributiva a + bc = (a + b)(a + c) a (b + c) = ab + ac Absorcin a + ab = a (1 + b) = a a (a + b) = aa + ab = a Morgan a + b = a b a b = a + b Teorema de Shannon F = f (a, b, c) = a f (1, b, c) + a f (0, b, c) F = bc F = abc + abc

Leyes de Morgan

Leyes de Morgan a + b = a b ab = a +b
a 0 0 1 1 b F =a+b 0 1 1 0 0 0 1 0
a 1 1 0 0 b 1 0 1 0 F =ab 1 0 0 0 F =ab 1 1 1 0 F =a+b 1 1 1 0

Pgina 2

Algebra de Boole
FUNCIONES LOGICAS ELEMENTALES
a 0 0 1 1 a 0 b 0 1 0 1 b 0 1 0 1

F =ab
0 0 0 1

AND (Y)

F =ab

F =a+b
0 1 1 1

OR (O)

F =a+b

0 1 1 a

F =a
1 0 b 0 1 0 1 b 0 1 0 1 b 0 1 0 1 b 0 1 0 1

INVER

F =a

0 1 a 0

F = ab
1 1 1 0

NAND

F =ab

0 1 1 a 0

F =a+b
1 0 0 0

NOR

F =a+b

0 1 1 a

F =ab
0 1 1 0

O F =ab exclusive

0 0 1 1 a

F =ab
1 0 0 1

NOR exclusive F = a b

0 0 1 1 a

Seguidor Buffer

F =a
0 1

F =a

0 1

Pgina 3

Algebra de Boole
OBTENCIN DE LA FUNCIN CANNICA A PARTIR DELA TABLA DE LA VERDAD Se define como trmino cannico de una funcin lgica a todo producto o suma en el que aparecen todas las variables en su forma directa a o complementada a .

1 forma cannica minterm suma de productos cannicos.

2 forma cannica maxterm producto de sumas cannicas.

OBTENCIN A PARTIR DE LA TABLA DE LA VERDAD: Trmino maxterm 7 6 5 4 3 2 1 0 Trmino minterm 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

F 0 1 1 0 0 1 1 1

Minterms: Se toman las salidas que son 1 y se expresa como suma de trminos producto en los que las variables que son 1 se expresan como literales y las que son 0 como invertidas.

F (a, b, c) = abc + abc + abc + abc + abc F (a, b, c) = m1 + m2 + m5 + m6 + m7 = m(1, 2,5, 6, 7)

Maxterms: Se toman las salidas que son 0 y se expresa como producto de trminos suma en los que las variables que son 0 se expresan como literales y las que son 1 como invertidas.

F (a, b, c) = (a + b + c)(a + b + c)(a + b + c) F (a, b, c) = M 7 M 4 M 3 = M (3, 4, 7)

Paso de la 1 forma cannica a la 2 forma cannica: 1. Se representa la funcin invertida, tomando los trminos minterm que no aparecen. 2. Se hace la inversa de la funcin aplicando Morgan a los trminos cannicos. n 3. Se obtiene el complemento a 2 -1 de cada uno de los trminos.
F (a, b, c) = m1 + m2 + m5 + m6 + m7 = m(1, 2,5, 6, 7)

1.

F (a, b, c) = m0 + m3 + m4 = m(0,3, 4)

2. F (a, b, c) = m0 + m3 + m4 = m(0,3, 4) F (a, b, c) = m0 m3 m4

3. F (a, b, c) = M 7 M 4 M 3

Pgina 4

Algebra de Boole
Paso de la 2 forma cannica a la 1 forma cannica: 1. Se representa la funcin invertida, tomando los trminos maxterm que no aparecen. 2. Se hace la inversa de la funcin aplicando Morgan a los trminos cannicos. n 3. Se obtiene el complemento a 2 -1 de cada uno de los trminos.
F (a, b, c) = M 7 M 4 M 3 = M (3, 4, 7)

1.

F (a, b, c) = M 0 M 1 M 2 M 5 M 6 = M (0,1, 2,5, 6)

2. F (a, b, c) = M 0 M 1 M 2 M 5 M 6 = M (0,1, 2,5, 6) F (a, b, c) = M 0 + M 1 + M 2 + M 5 + M 6 3. F (a, b, c) = m7 + m6 + m5 + m2 + m1 EJERCICIOS

Febrero del 2003.Gestin.D.14 (Nuevo)

Expresar

F (a, b, c) = a + bc en forma de suma de minitrminos.

Septiembre del 2003.Sistemas.A.14 (Viejo)

Hallar la 2 forma cannica de

F (a, b) = a + ab

Febrero del 2003.Sistemas.A.11 (Nuevo)

Hallar la 2 forma cannica de

F = m1 + m4 + m6 + m7

Septiembre del 2003.Gestin.A.11 (Nuevo)

La funcin cannica equivalente a la funcin lgica

f (a, b, c) = (a + b)(a + b + c) + (b c)

2 Semana del 2004.Gestin.A.16

1

Indicar la funcin lgica del circuito

2 3

Septiembre Reserva del 2004.Sistemas.D.16

x 0 0 0 0 1 1 1 1 y 0 0 1 1 0 0 1 1 z 0 1 0 1 0 1 0 1 S0 S1 S2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1
Cul de las funciones S0, S1, S2 de la tabla de la verdad es equivalente a la funcin

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

Pgina 5

Algebra de Boole
SIMPLIFICACIN DE FUNCIONES Mtodos

Aplicacin de las leyes del lgebra de Boole Mapas de Karnaugh

Mapas de Karnaugh El mapa de Karnaugh es un cuadro que recoge todas las combinaciones de las variables de n entrada 2 cuadros (n=n variables). Cada uno de los cuadros aloja a cada uno de los trminos de la funcin cannica, en dichos cuadros se representar un 1 o un 0 segn cada caso y mediante la agrupacin de stos se podr obtener de manera grfica una simplificacin de la funcin.
a

a m1 m3

2 variables (b,a) F(b,a)

m0 m2

c a m1 m3 a m5 m7
a

3 variables (c,b,a) F(c,b,a)

a b

m0 m2

m4 m6

c a

c a m1 m3 a m5 m7
a

4 variables (d,c,b,a) F(d,c,b,a)

d

m0 m2

m4 m6

b b d
b

m10 m11 m15 m14 m8 m9 m13 m12 Pgina 6

Algebra de Boole
Simplificacin: Una vez obtenida la funcin cannica y el mapa de Karnaugh, posicionar los trminos con salidas 1 y con salidas 0 en los cuadros que les corresponda para poder simplificar: 1. Agrupar las reas que contengan 1 y que sean adyacentes, procurando hacer agrupaciones de la mayor cantidad posible de 1. 2. Las reas han de ser de forma cuadrada o rectangular y siempre simtricas con respecto de los ejes de doblado del mapa o quedando totalmente a un lado de stos. n Las reas han de ser de 2,4,8,.. 2 nmero de 1 adyacentes. 3. El mapa se puede considerar una esfera, esto es, las columnas de los extremos y las lneas extremas son adyacentes entre ellas. 4. Una vez agrupados, minimizar usando adyacencia y absorcin (variables que cambian de valor desaparecen) y sumar los resultados. 5. Tener en cuenta que cuando el n de 0 es menor que el de 1 es mejor minimizar con respecto a los 0 e invertir la funcin obtenida.

Ejemplo:
Simplificar la funcin F (a, b, c, d ) = acd + abd + abc + abc + abcd 1. Desarrollar para obtener la funcin cannica

F (a, b, c, d ) = acd + abd + abc + abc + abcd

F ( a, b, c, d ) = abcd + abcd + abcd + abcd + abcd + abcd + abcd + abcd + abcd
m0 m4 m1 m3 m8 m9 m12 m13 m6

F (a, b, c, d ) = m0 + m1 + m3 + m4 + m6 + m8 + m9 + m12 + m13 = m(0,1,3,4,6,8,9,12,13)

2. Mapa de Karnaugh
b d c
a

b
d m1 m3 d m5 m7
d d c
a

b
d d
d

m0 m2

m4 m6
a

1 0 0 1

1 1 0 1

0 0 0 1
1

1 1 0 1

c c
c

c c
c

m10 m11 m15 m14 m8 m9 m13 m12

2 2
cd

3. Agrupaciones: 1 ac 4. Funcin final:

3 abd

4 abd

F (a, b, c, d ) = ac + cd + abd + abd

Pgina 7

Algebra de Boole

Logigrama
a

c_

d_ F

Redundancias y trminos indiferentes: Son aquellos trminos que son prohibidos (no esposible su combinacin de entrada) por alguna razn y que por lo tanto las salidas correspondientes se pueden tomar como 0 o como 1 (X) segn nos intereses para una mayor agrupacin, esto es mayor simplificacin.

Ejemplo:
1.6. En un registro de cuatro bits cuyas salidas estn disponibles al exterior se almacena informacin en cdigo BCD. a) Determinar la tabla de verdad de un circuito que detecte que el nmero contenido en el registro es par. b) Minimizar las expresiones cannicas algebraicas de este circuito por el mtodo de Karnaugh c) Realizar la expresin mnima con puertas NAND y NOR. a) Tabla de verdad El cdigo BCD se explica en el apartado 4.3.2.5 del texto base. Su tabla es la siguiente:

Nmero decimal 0 1 2 3 4 5 6 7 8 9 -

R3 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1

R2 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1

R1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1

Ro 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

fpar 1 0 1 0 1 0 1 0 1 0 X X X X X X

A la derecha se ha incluido una columna que contiene un 1 si la cifra decimal representada en su fila es par, y 0 si es impar. Por tanto, dicha columna contiene los valores de la funcin del enunciado, y la tabla anterior constituye su tabla de verdad. Las seis ltimas entradas representan redundancias, pues corresponden a combinaciones no vlidas en el cdigo que, por tanto, nunca pueden darse. Por ello, el valor de fpar en estos casos es indiferente.

Pgina 8

Algebra de Boole
b) Minimizacin por el mtodo de Karnaugh La tabla de Karnaugh se construye a partir de la tabla de verdad de la funcin:

En la simplificacin se han tomado tres minterms correspondientes a redundancias para as obtener una expresin ms reducida de la funcin. La expresin resultante es

f par = R0

c) Circuito mnimo con puertas NAND y NOR La representacin de esta expresin en forma de circuito requiere emplear nicamente un inversor NOT. Sin embargo, en el enunciado se indica explcitamente que slo pueden utilizarse puertas NAND y NOR. Es necesario pues adecuar la expresin de la funcin para que pueda representarse por tales tipos de puerta. Las funciones lgicas de estos dos modelos de puerta son:

f NAND = A B = A + B
A A = A

f NOR = A + B = A B
A+ A = A

Tanto una puerta NAND como una NOR son capaces de actuar como inversores, pues

Por tanto, el circuito resultante es uno cualquiera de los presentados en la figura.

5-4-2-1, cuyas tablas de verdad y de Karnaugh son:

Un ejemplo de mayor dificultad lo constituye la resolucin del ejercicio utilizando el cdigo BCD biquinario

Nmero decimal 0 1 2 3 4 5 6 7 8 9 -

R3 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1

R2 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1

R1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1

Ro 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

fpar 1 0 1 0 1 X X X 0 1 0 1 0 X X X

Pgina 9

Algebra de Boole

Teniendo en cuenta los tres minterms redundantes elegidos en la simplificacin, la expresin resultante es

f par = R3 R0 + R3 R0
La suma presente en la funcin fpar, puede expresarse con una puerta NAND

f NAND = A + B
tal que

A = R3 R0 = R3 + R0 A = R3 + R0
B = R3 R0 B = R3 R0

que equivale a una NOR ms un inversor. que corresponde con una NAND.

Con todo esto, la expresin de la funcin queda

f par = R3 + R0 R3 R0

El circuito correspondiente contiene en total cuatro puertas, de las cuales 2 son NAND y las otras dos son NOR, una de ellas actuando como inversor.

EJERCICIOS

Febrero del 2003.Sistemas.A.16 (Nuevo)+ Septiembre 2003.Reserva

Simplificar la siguiente expresin:

f = (a + c + d ) (b + c + d ) (ab + c + d )

Septiembre del 2003.Gestin.R.19

F = m(0,1,2,3,8,9,10,11)

Septiembre Reserva del 2004.Sistemas.D.12

Simplificar la siguiente expresin:

f = ((a + b)c + a + b + c + d )i(cib)

Pgina 10