ALGEBRA BOOLEANA Un sistema axiomtico es una coleccin de conocimientos ordenados jerrquica-mente mediante reglas o leyes lgicas aplicadas a un nmero

limitado de conceptos o principios bsicos. Un sistema axiomtico se compone de:

TRMINOS PRIMITIVOS: No se definen DEFINICIONES: Conceptos que se crean mediante conectivos lgicos de los trminos primitivos AXIOMAS: Proposiciones no demostrables que se establecen como ciertas, son las nociones fundamentales de la teora. TEOREMAS: Leyes que se demuestran aplicando los axiomas, se derivan de los axiomas.

Un sistema axiomtico BIEN FORMULADO satisface:

CONSISTENCIA LOGICA. Carece de proposiciones contradictorias INDEPENDENCIA DE SUS AXIOMAS: ninguno de sus axiomas puede deducirse de los otros axiomas. COMPLETITUD: posee el nmero suficiente y necesario de enunciados lgicos que garanticen que toda proposicin que se infiera de la teora es consecuencia lgica de los axiomas.

ALGEBRA BOOLEANA (ALGEBRA LOGICA) Es un sistema axiomtico que debe su nombre a George Boole quien a mediados del siglo XIX desarroll una teora lgica que utilizaba smbolos en lugar de palabras. Claude E. Shannon, casi un siglo despus (1938) la aplic a la teora de circuitos lgicos. Un LGEBRA DE BOOLE es un sistema de elementos B={0,1} y los operadores binarios: , +, y, Operador Operador

se le llama

Operador OR

se le llama

Operador AND Operador NOT

OPERADOR

se le llama

VARIABLES Y CONSTANTES BOOLEANAS Una variable booleana representa cada uno de los dos estados posibles que puede adoptar las variable. Las variables booleanas son smbolos utilizados para representar magnitudes lgicas y pueden tener slo dos valores posibles:

1 0 ! ! ! !

valor alto valor bajo

activado desactivado no

si

cerrado

abierto

Se corresponden con seales de entrada, de salida o intermedias. Se representan mediante caracteres alfabticos .A., .B., .X.... Pueden tomar dos valores (0 1). Se denomina literal a una variable o a su complemento x, x'

OPERACIONES DEL ALGEBRA BOOLEANA Y COMPUERTAS BSICAS SUMA LOGICA (OR) + 0 1 0 0 1 1 1 1 Smbolo lgico para la compuerta OR

PRODUCTO LOGICO (AND) x 0 1 0 0 0 1 0 1 Smbolo lgico para la compuerta AND

INVERSION LOGICA (NOT) x 0 1

x' o x

1 0 Smbolo lgico para la compuerta NOT

POSTULADOS DEL ALGEBRA BOOLEANA Un algebra booleana es un sistema algebraico definido sobre un conjunto B con al menos dos elementos, y dos operaciones definidas : suma (operacin OR) y producto (operacin AND) y que satisface las siguientes propiedades: P1.ELEMENTOS NEUTROS: Existen en B, el elemento neutro de la suma (0) y el elemento neutro de la multiplicacin (1) tales que para todo x en B a) x+0 = x b) x.1 =x P2.CONMUTATIVAS: Para todo elemento x en B

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

b) xy=yx

P3.ASOCIATIVAS: para todo x, y, z en B

b) x(yz)=(xy)z

P4.DISTRIBUTIVAS: para todo x, y, z en B a) x+(yz)=(x+y)(x+z)

b) x(y+z)=xy+xz

P5.COMPLEMENTOS ( o inversin lgica): para cada x en B existe un nico elemento x o x' llamado el complemento de x tal que a) x + x' = 1 PRINCIPIO DE DUALIDAD Dos expresiones booleanas se dicen duales una de la otra, si una se puede obtener de la otra cambiando las operaciones + por * y viceversa y cambiando cero por uno b) xx'=0

Cualquier teorema o identidad algebraica deducible de los postulados anteriores puede transformarse en un segundo teorema o identidad vlida sin mas que intercambiar (+) por () y 1 por 0. Ejemplos Expresin x+y = 1 X*0=0 PROPIEDADES DEL ALGEBRA BOOLEANA Teorema 1. Leyes de idempotencia. Para todo x en B, x*x=x ,y, x+x=x Expresin Dual x*y = 0 x+1=1

xB , xx=x
x*1=x x*(x+x')=x x*x+x*x'=x x*x+0=x x*x=x Postulado 1b) Postulado 5a) Postulado 4a) Postulado 5b) Postulado 1a) x+0=x

Dual: x+(x*x')=x (x+x)*(x+x') =x (x+x)*1=x x+x=x

xB , xx=x
Postulado 1a) Postulado 5b) Postulado 4a) Postulado 5a) Postulado 1b)

Teorema 2. Leyes de acotacin. Para todo x en B, x*0=0 ,y, x+1=1

xB , x0=0
x*0=x*0+0 x*0=x*0+x*x' x*0=x(0+x') x*0=x*x' X*0=0 Postulado 1a) Postulado 5b) Postulado 4b) Postulado 1a) Postulado 5b)

Dual: x+1=(x+1)*1 x+1=1*(x+1)

xB , x1=1
Postulado 1b) Postulado 2b) Postulado 5a) Postulado 5a) Postulado 1b) Postulado 1a)

x+1=(x+x')(x+1) x+1=x+(x'*1) x+1= x+x' x+1=1

LEYES DEL ALGEBRA BOOLEANA Y SUS LEYES DUALES NOMBRE LEY x+0=x Modulativa LEY DUAL x*1=x

x+x'=1 Complemento

x*x'=0

x+x=x Idempotencia

x*x=x

X+1=1 Acotacin

X*0=0

x+x*y=x

x*(x+y)=x

Absorcin

x + x y = x+y

x*(x +y) =x*y

(x')'=x Involucin

(0')'=0

(1')'=1

D'Morgan

(x+y)' = x' * y'

(x*y)' = x'+y'

NOMBRE

LEY

LEY DUAL

O EXCLUSIVA (XOR) x y xy 0 0 0 1 1 0 1 1 0 1 1 0

xy=x'yxy '

Smbolo lgico para la compuerta XOR

Con base en las equivalencias lgicas pueden definirse las compuertas bsicas en trminos de sumas o productos a) (x*y)' = x'+y' Compuerta AND b) (x'+y')' = x*y Compuerta OR c) (x*y)' = x' + y' Compuerta NAND d) (x + y)' = x'*y' Compuerta NOR

e) (xy)' = (x'+y)*(x+y') = x*y + x *y Compuerta XNOR

OTRAS PROPIEDADES a) (x*y)+(x' * z)+(y*z)=(x * y) + (x' * z) b) (x + y)* (x' + z) * (y+z) = (x+y) * (x' +z) c) (x * y) +(x*y'*z ) = x*y + x*z d) (x + y) *(x+y'+z) = (x+y) *( x +z) Funciones de Conmutacin Hallar la funcin y simplificar el circuito

F(x,y,z) = (x'+z') (x'y +x'z) +yz' ( z'+z'x) F(x,y,z) = (x'+z') (x'y +x'z) +yz' ( z'(1+x)) F(x,y,z) = (x'+z') (x'y +x'z) +yz'z'1 F(x,y,z) = (x'+z') (x'y +x'z) +yz' F(x,y,z) = x' (x'y +x'z)+z'(x'y +x'z) +yz' F(x,y,z)=x'x'y++x'x'z+x'yz'+x'zz' + yz' F(x,y,z)= x'y++x'z+x'yz'+x'zz' + yz' F(x,yz)= x'y++x'z+x'yz'+x'0 + yz' F(x,y,z)=x'y+x'z+x'yz'+yz' F(x,y,z)=x'y+x'z+(x'+1)yz' F(x,y,z)=x'y+x'z+yz' F(x,y,z)= yz'+x'z

EJERCICIOS 1. Obtener la expresin Booleana correspondiente a los siguientes circuitos lgicos: a)

b)

c)

2. Simplificar las siguientes expresiones a) xy'yz'' c) [x'(y'+z')]' b) [xy 'x'y''] d) (x+y)(x'+y')

3. Obtener el diagrama lgico equivalente de la expresin a) (x+y)(x'+y') c) x'y' + xy b) (x'+y)(x+y') d) xy'+x'y

SIMPLIFICACIN DE FUNCIONES BOOLEANAS Si x, y, z ... son variables lgicas, cualquier combinacin de ellas mediante las operaciones lgicas de suma, producto o complementacin se denomina expresin booleana. A cada expresin booleana se le asocia una funcin booleana. FUNCIONES DE CONMUTACIN: Una variable binaria es una variable discreta que puede asumir slo dos valores. Una funcin de conmutacin de una o ms variables, es una variable binaria cuyo valor depende de los valores de las variables de conmutacin. El smbolo f se emplea para denotar una funcin de conmutacin: f = f(x, y, z,...); las variables x, y, z,.., son variables independientes, mientras f es una funcin dependiente. Ejemplos 1. f(x)=x+x' En este caso el dominio de la funcin es el conjunto {0,1} y el rango de la funcin es tambin el conjunto {0,1} . Podemos calcular el valor de La tabla de verdad de la Podemos la funcin en casa uno de los funcin es: utilizando puntos del conjunto de sagital salida f(0)= 0+0' = 0+1 =1 x f f(1)= 1+1' = 1+0 =1 0 1 1 La funcin puede simplificarse como f(x)=1 2. f(x,y)= xy'+x'y' En este caso el dominio de la funcin es el conjunto de parejas ordenadas {(0,0),(0,1), (1,0) , (1,1) } y el rango de la funcin es el conjunto {0,1} . Podemos calcular el valor de la funcin en cada uno de los puntos del conjunto de salida f(0,0) f(0,1) f(1,0) f(1,1) = = = = 0.1+1.1 0.0+1.0 1.1+0.1 1.0+0.0 = = = = 1 0 1 0 La tabla de verdad de la funcin es: x y 0 0 0 1 1 0 1 1 f 1 0 1 0 Podemos representarla utilizando un diagrama sagital 1 representarla un diagrama

Supongamos que tenemos la tabla de verdad de la funcin dada en el segundo ejemplo y queremos encontrar la funcin correspondiente y reducirla a una expresin ms sencilla (si es posible). Tenemos dos opciones: OPCIN 1: Consideramos unicamente las columnas de la tabla donde el valor de la funcin es 1. x y f 0 0 1 1 0 1 En la primera fila x=0 y y=0. Para expresar 1 como producto de las variables escribimos x' y' En la segunda fila x=1 y y=0. Para expresar 1 como producto de las variables escribimos x y' Sumando las dos expresiones se obtiene f(x,y)= x' y' + x y' Utilizamos las leyes y propiedades del algebra booleana para simplificar la expresin f(x,y)= x' y' + x y' f(x,y)= (x' + x) y' (Distributiva del producto respecto a la suma) f(x,y) = 1y' f(x,y)= y' Se puede verificar que el valor de la funcin f(x,y)= y' en los dems puntos del dominio es 0 OPCIN 2: Consideramos unicamente las columnas de la tabla donde el valor de la funcin es 0. x y f 0 1 1 1 1 1 Aprovechamos que 0+0=0 y 0.0=0 Expresamos cada 0 de las filas como suma de ceros, empleando las variables originales o su complemento En la primera fila x=0 y y=1. Para expresar 0 como suma de las variables escribimos x + y' En la segunda fila x=1 y y=1. Para expresar 0 como suma de las variables escribimos x'+ y' Multiplicando las dos expresiones se obtiene f(x,y)= (x+y')(x'+y') Aprovechamos que 1.1=1 y 1+1=1 Expresamos cada 1 de las filas como producto de unos, empleando las variables originales o su complemento

Utilizamos las leyes y propiedades del algebra booleana para simplificar la expresin f(x,y)= (x+y')(x'+y') f(x,y)= x(x' + y')+ y'(x' +y') (Distributiva del producto respecto a la suma) f(x,y) = xx' + xy' + x'y' +y'y' f(x,y) = 0 +(x + x')y' + y' f(x,y)= y' +y' f(x,y) = y' Se puede verificar que el valor de la funcin f(x,y)= y' en los dems puntos del dominio

10

es 1 Dadas n variables lgicas la tabla de la funcin tiene existen

funciones distintas. En el caso de n=2 existen

2 8 2 =2 =256 funciones distintas.
3

2 casillas y se pueden definir 2 2 funciones distintas, para n=3

2

Para n=2 si miramos las distintas opciones de la tabla podemos asociar a cada funcin una cadena de 4 bits y de acuerdo con su representacin en la base decimal se le asocia el subndice. En la tabla 1 se observan todas las funciones de dos variables.

FUNCIONES LGICAS DE DOS VARIABLES Expresiones equivalentes y compuertas x y F0 F1 F2 F3 F4 F5 F6 F7 F8 F9 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 1 0 0 0 1 0 0 1 Funcin Lgica xx' xy xy' x x'y y x'y+xy' x+y (x+y)' x'y'+xy y' x+y' x' x'+y (xy)' y+y' Expresin Equivalente 0 (x'+y')' (x'+y)' x (x+y')' y xy (x'y')' x'y' (xy)' y' (x'y)' x' (xy')' x' +y' 1 x y NAND y x NOT xy (xy)' XOR OR NOR XNOR (y x)' (x y)' AND Otra expresin Compuertas Nombre Smbolo

F10 1 0 1 0 F11 1 0 1 1 F12 1 1 0 0 F13 1 1 0 1 F14 1 1 1 0 F15 1 1 1 1

11

En la tabla se observa que dos funciones de dos variables son complementarias si i+j=15

F 'i=F j
Propiedades de la operacin XOR 1. Conmutativa 2. Asociativa 3. Distributiva de la operacin AND con respecto a la operacin XOR

si y solo si i+j=15

xy = yx x(yz) = (xy)z x.(yz) = (x.y)(x.z)

Ejemplo 1: Escribir y simplificar la funcin booleana cuya tabla de verdad es: 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 f(x,y,z) 1 0 1 0 0 1 0 1 xyz xy'z x'yz' x'y'z'

Consideramos las filas cuyo resultado es uno, y lo expresamos como producto de las variables o de su complemento Escribimos la funcin definida como la suma de los productos f(x,y,z) = x'y'z'+ x'yz' + xy'z + xyz Haciendo uso de las propiedades de las operaciones booleanas se simplifica la expresin obtenida f(x,y,z) = ( x'z'y'+ x'zy') + (xzy' + xzy) f(x,y,z) = x'z' (y'+y) + xz (y+y') f(x,y,z) = x'z' +xz f(x,y) = x z Es sencillo verificar que el valor de la funcin es cero en las otras casillas de la tabla Asociativa de la + y conmutativa de la . Distributiva Complemento

12

2. Si consideramos las filas de ceros y expresamos cada cero como suma de las variables o sus complementos se obtiene: 0 0 1 0 1 1 1 0 0 1 1 0 x + y + z' x + y' + z' x' + y + z x'+ y' + z

Escribimos la funcin f como el producto de las sumas de ceros f(x,y,z) = (x + y + z')( x + y' + z')(x' + y + z)(x'+ y' + z) = (x + z' + y ')( x + z' + y') (x' + z + y )(x' + z + y') = (x + z' + yy') (x' + z + yy') = (x+ z')(x' +z) = xx' + xz + x'z' +zz' = xz + x'z' = x z Esta funcin es la misma que se haba obtenido antes. FORMAS NORMALES DE LAS FUNCIONES BOOLEANAS MINTRMINO (mi): trmino producto en el que aparecen todas las variables, ya sean complementadas o sin complementar. Un mintrmino es un trmino producto que es 1 exactamente en una lnea de la tabla de Verdad. MAXTRMINO (Mi): trmino suma en el que aparecen todas las variables, ya sean complementadas o sin complementar. Un maxtrmino es un trmino suma que es 0 exactamente en una lnea de la tabla de verdad. FORMA NORMAL DISYUNTIVA O FORMA CANNICA DISYUNTIVA ( Suma de Mintrminos o Suma de Productos) Una funcin booleana tiene la forma normal disyuntiva si est escrita como la suma de trminos (de valor 1) donde cada trmino es un producto que involucra todas las variables complementadas o no Un mintrmino es un trmino producto que es 1 exactamente en una lnea de la tabla de Verdad. La frmula compuesta por todos los mintrminos ser idnticamente 1. Cada frmula de conmutacin puede expresarse como suma de mintrminos. Y esa frmula es nica. A cada trmino de la forma normal disyuntiva se le llama trmino minimal o mintrmino y se denota como mi La forma normal disyuntiva de n variables tiene 2n trminos y se denomina forma normal disyuntiva completa de n variables Forma NORMAL DISYUNTIVA COMPLETA (para dos variables)

13

Dec 0 1 2 3

x y 0 0 0 1 1 0 1 1

mi
x'y' x'y xy' xy

Mintrmino 1 1 1 1 f(x,y) = x'y'+x'y+ xy' +xy =1

Ejemplo 2: Hallar y simplificar la funcin booleana Dec x 0 1 2 3 4 5 6 7 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 f(x,y,z) Mintrmino En este caso hay menos unos que ceros, utilizamos la forma normal disyuntiva. 1 x'y'z' 0 1 1 0 0 0 0 f(x,y,z) = x'y'z' +x'y(z + z') f(x,y,z) = x'y'z' +x'y x'yz' x'yz Simplificando: f(x,y,z) = x'y'z' + x'yz' +x'yz

FORMA NORMAL CONJUNTIVA O FORMA CANNICA CONJUNTIVA ( Producto de Maxtrminos o Producto de sumas) Una funcin booleana tiene la forma normal conjuntiva si est escrita como producto de trminos (de valor cero) donde cada trmino es la suma de todas las variables complementadas o no. A cada trmino de la forma normal conjuntiva se le llama trmino maximal o maxtrmino y se denota como Mi La frmula compuesta por todos los maxtrminos ser idnticamente 0. Cada frmula puede expresarse como producto de maxtrminos. Y es nica La forma normal disyuntiva de n variables tiene 2n trminos y se denomina forma normal disyuntiva completa de n variables Forma NORMAL CONJUNTIVA COMPLETA (para dos variables) Dec x y
0 1 2 3

Mi

Maxtrmino 0 0 0 0 f(x,y) = (x+y)(x+y')(x'+y)(x'+y') = 0

0 0 x+y 0 1 x+y' 1 0 x'+y 1 1 x'+y'

14

Mintrminos y Maxtrminos para 3 variables Dec 0 1 2 3 4 5 6 7 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 m0 m1 m2 m3 m4 m5 m6 m7 Mintrmino x y z x y z x y z x y z x y z x y z x y z xyz M0 M1 M2 M3 M4 M5 M6 M7 Maxtrmino x+y+z x+y+z x+y+z x+y+z x+y+z x + y +z x+y+z x+y+z

Ejemplo 3: Hallar y simplificar la funcin booleana x y z f(x,y,z) Maxtrmino En este caso hay menos ceros que unos, utilizamos la forma normal conjuntiva. 0 0 0 1 f(x,y,z) = (x'+y+z)(x'+y+z')(x'+y'+z') 0 0 1 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 0 0 1 0 x'+y'+z' x'+y+z x'+y+z' f(x,y,z) = (x'+y+z)(x'+z'+y)(x'+z'+y') f(x,y,z) = (x'+y+z)(x'+z'+yy') f(x,y,z) = (x'+y+z)(x'+z') f(x,y,z) = x'+(x+z)z' f(x,y,z) = x'+yz'+zz' f(x,y,z) = x'+yz'

Las formas normales completas permiten de manera sencilla la conversin de una forma normal a la otra mediante el empleo de la doble negacin Ejemplo 4. Hallar la forma normal conjuntiva de la funcin f(x,y,z) = xyz + xyz' + xy'z + xy'z' + x'yz Escribimos f como el complemento del complemento f''=f:

fx, y , z= xyzxyz'xy' zxy'z 'x'yz

'

'

La primera negacin (la de adentro) la calculamos con las leyes D'Morgan

fx, y , z=[ x'y 'z ' x'y 'zx'yz'x'yz' xy 'z']

'

Para el segundo complemento, escribimos los maxtrminos de 3 variables que hacen falta (hay 5 trminos faltan 3 trminos)

15

f(x,y,z) = (x+y'+z)(x+y+z')(x+y+z) Ejemplo 5. Hallar la forma normal disyuntiva de la funcin f(x,y,z) = (x + y'+z)(x'+y+z')(x+y+z')

fx, y , z= xy 'zx'yz' xyz'

'

'

Como en el caso anterior para la negacin interna utilizamos las leyes D'Morgan

fx, y , z=[ xy 'z 'x'yz''xyz' '] fx, y , z=[ x' yz' xy' z x' y 'z ]
'

'

Para la segunda negacin buscamos, en la forma normal disyuntiva completa, los mintrminos que hacen falta (5 mintrminos) f(x,y,z)= xyz + x'yz +xyz' + xy'z' + x'y'z' MAPAS DE KARNAUGH (MAPAS K) Fueron inventados en1950 por Maurice Karnaugh un fsico y matemtico de los laboratorios Bell. Los mapas de Karnaugh es uno de los mtodos ms prcticos. Se puede decir que es el ms poderoso, cuando el nmero de variables de entrada es menor o igual a cinco; ms all, ya no es tan prctico. En general, el mapa de Karnaugh se considera como la forma grfica de una tabla de verdad,o como una extensin del diagrama de Venn. Dada una funcin de n variables se construyen cajas de 2n celdas, es otra forma de representar la tabla de verdad de la funcin. Cada mintrmino tiene un lugar asignado dentro del diagrama de karnaugh. Para armar cualquier Diagrama de Karnaugh los casilleros contiguos verticales u horizontales deben contener mintrminos adyacentes, es decir, donde slo cambie una variable entre uno y otro.

16

Mapa K para 2 variables x' y'

La variable y est en toda la fila sin negar 0 1 0

La variable x est en toda la columna sin negar

a0 a1
x'
0

a2 a3
x
1

y' y Mapa K para 3 variables

z xy
00

0 1

x'
01 11

x
10

z' z

0 1

a0 a1
x'
00

a2 a3

a6 a7
x

a4 a5

xy

01

11

10

z' z Mapa K para 4 variables

0 1

x'
00 01 11

x
10

z' z

00 01 11 10

a0 a1 a3 a2 y'

a4 a5 a7 a6 y

a12 a13 a15 a14

a8 a9 a11 a10 y'

w'

w
w'

En estas direccin se puede bajar el software para simplificar mapas de Karnuagh:

GKMap Karnaugh Map Minimizer WinLogiLab Boolean Calculator: VK, Truth Tables,... 17