Introduccion

Objetivo de la sesion

Algebra Booleana Simplicacion Expresion de Funciones Introduccion Objetivo de la sesion Simplicacion Expresion de Funciones

Algebra Booleana

Introduccion

Fundamentos de microprocesadores
Vivimos en un mundo de naturaleza analogica.

Algebra Booleana

Eric Rodrguez Peralta

Ingeniera en computacion Universidad Autonoma de GUerrero

Cuando trabajamos en cualquier area de la ingeniera, se utilizan modelos matematicos que describen lo que estamos disenando o analizando. a= f m

21 de septiembre de 2011

Introduccion

Objetivo de la sesion

Algebra Booleana Simplicacion Expresion de Funciones Introduccion

Objetivo de la sesion

Algebra Booleana

Simplicacion

Expresion de Funciones

Ejemplo 1

Ejemplo 2
Algo sobre Fsica Molecular

Hablemos de Futbol

Mexico vs Colombia

La posicion de una partcula Un fsico nos dice que la posicion de cierta partcula viene determinada por la ecuacion: x = A Sin(wt + ) y nos da los siguientes datos: A = 5, t = 0 y = 0 Cual es el valor de x?

Minuto 89 y el partido partido esta empatado, el Chicharito patea la pelota contra la portera contraria a una velocidad inicial de 13 m/s a un angulo de 45 grados respecto al campo; la portera se encuentra a 13 metros de distancia.

Que modelo matematico nos permite modelar esta situacion?

Fue Gol? Por que?

x =

2 vo sin 2 g

Por la propiedad de los R, sabemos que Algo por cero es cero y que Algo mas cero es cero. pero Como hemos podido saber eso?

 Introduccion

Objetivo de la sesion

Algebra Booleana Simplicacion Expresion de Funciones Introduccion Objetivo de la sesion Simplicacion Expresion de Funciones

Algebra Booleana

Conclusion

Objetivo de la sesion

La funcionalidad de un circuito digital puede describirse tambien mediante ecuaciones matematicas.

Sin embargo, estas ecuaciones tienen variables y numeros que no forman parte de los R por lo que no podemos aplicar las mismas propiedades y operaciones que conocemos.

Familiarizar al estudiante con los conceptos relacionados con el algebra Booleana, simplicacion de expresiones logicas y las formas de representacion de funciones que se utilizaran a lo largo del curso.

Debemos aprender a utilizar nuevas propiedades y nuevas operaciones denidas en el Algebra Booleana.

Introduccion

Objetivo de la sesion

Algebra Booleana Simplicacion Expresion de Funciones Introduccion

Objetivo de la sesion

Algebra Booleana

Simplicacion

Expresion de Funciones

Antecedentes

Antecedentes
Edward V. Huntington

George Boole

En 1904, cincuenta anos despues de la publicacion de George Boole, E. V. Huntington (matematico U. Harvard) formula algunos postulados para la denicion formal del Algebra de Boole. Estos postulados nos son unicos pues ya se ha utilizado otro conjunto para denirla.

Es la herramienta matematica fundamental para el analisis y diseno de circuitos digitales. Fue desarrollada por el matematico ingles George Boole (1854) y presentada en su artculo An Investigation of the Laws of Thought. En esta publicacion G. Boole presenta los conceptos de variable binaria y las tres operaciones fundamentales de la logica: AND, OR y NOT. LA publicacion permanecio en la oscuridad durante mas de ochenta anos.

 Introduccion

Objetivo de la sesion

Algebra Booleana Simplicacion Expresion de Funciones Introduccion Objetivo de la sesion Simplicacion Expresion de Funciones

Algebra Booleana

Antecedentes
Al igual que cualquier otro sistema algebraico, el Algebra Booleana se caracteriza por: El dominio esto es, el conjunto de elementos sobre los cuales se dene el algebra. Un conjunto de Operaciones que se van efectuar sobre esos elementos. Un conjunto de postulados o axiomas aceptados como premisa sin demostracion. Un conjunto de consecuencias denominadas teoremas, leyes o reglas, las cuales se deducen de los postulados.

Caractersticas del algebra Booleana

Claude E. Shannon

Hasta 1938, ochenta y cuatro anos despues de la publicacion de George Boole, Claude E. Shannon (Phd. en Matematicas MIT) emplea el algebra Booleana en su tesis doctoral A Symbolic Analysis of Relay and Switching Circuits. En esta investigacion, Shannon demuestra que las propiedades de los circuitos de conmutacion electricas biestables pueden ser representadas por esta algebra.

Introduccion

Objetivo de la sesion

Algebra Booleana Simplicacion Expresion de Funciones Introduccion

Objetivo de la sesion

Algebra Booleana

Simplicacion

Expresion de Funciones

Dominio y operaciones basicas

Postulados de Huntington

El algebra Booleana es un sistema algebraico formado por dos elementos 0 y 1 (conjunto K) entre los cuales se denen dos operaciones binarias:
Conjunto Cerrado A B K A+B K AK Ley conmutativa A+B =B+A A B = B A Ley asociativa (A + B) + C = A + (B + C) (A B) C = A (B C)

Si A, B, C K

(+) OR

() AND

Ley distributiva (A + B) C = A C + B C A + (B C) = (A + B) (A + C) Identidad A+0=A A 1 = A Complemento A+A=1 A A = 0

y una operacion monoaria:

NOT

Tales que a, b, c K se cumplen los postulados de Huntington.

 Introduccion

Objetivo de la sesion

Algebra Booleana Simplicacion Expresion de Funciones Introduccion Objetivo de la sesion Simplicacion Expresion de Funciones

Algebra Booleana

Deniciones Booleanas

Deniciones Booleanas, cont.

Variable: Cualquier caracter (comunmente letras) que pueden tomar el valor de 0 o 1.

Constante: Un elemento del conjunto K.

Expresion: Conjunto de variables y constantes relacionadas con operadores logicos. Dependiendo del valor que asuman las variables, el resultado nal podra ser un elemento del conjunto K.
Cambiar +por y viceversa. Cambiar 1por 0y viceversa. Complementar cada literal.

Literal: Es la ocurrencia de una variable o su complemento en una expresion Booleana. Ej.

Equivalencia: Dos expresiones son equivalentes, si para los mismos valores de sus variables, ambas arrojan el mismo resultado. Complemento: Una expresion es complemento de otra, si para los mismos valores de sus variables, una resulta con valor de 1 y la otra con 0. Para obtener el complemento de una expresion Booleana se deben realizar los siguientes pasos:

A + A + B C + B (D + E) Numero de variables: 5 Numero de literales: 7

[a + ( c)] = a (b + c) b

Introduccion

Objetivo de la sesion

Algebra Booleana Simplicacion Expresion de Funciones Introduccion

Objetivo de la sesion

Algebra Booleana

Simplicacion

Expresion de Funciones

Deniciones Booleanas, cont.

Teoremas
Operaciones con 0s y 1s

Dualidad: La dualidad de una expresion Booleana se obtiene realizando los siguientes pasos:

0+0=0 0+1=1 1+0=1 1+1=1

(1) (2) (3) (4)

0 0 = 0 0 1 = 0 1 0 = 0 1 1 = 1

(5) (6) (7) (8)

Cambiar +por y viceversa. Cambiar 1por 0y viceversa.

a a = 0 a + a = 1

Observacion importante: Si una expresion es valida, su dual tambien lo es.

 Introduccion

Objetivo de la sesion

Algebra Booleana Simplicacion Expresion de Funciones Introduccion Objetivo de la sesion Simplicacion Expresion de Funciones

Algebra Booleana

Teoremas Cont.
a a = a Demostracion de (17) a a = 0 (12) (10) Absorcion a + (a b) = a (16) a (a + b) = a

Teoremas Cont.
(17)

Idempotencia

a+a=a

(9)

Complementariedad

a+a=1

(11)

Involucion

a=a

(13)

Complemento de los neutros 0=1 (14) =0 1 (15)

Introduccion

Objetivo de la sesion

Algebra Booleana Simplicacion Expresion de Funciones Introduccion

Objetivo de la sesion

Algebra Booleana

Simplicacion

Expresion de Funciones

Teoremas Cont.
Consenso a ( + b) = a b a (19)

Teoremas Cont.
(a b) + ( c) + (b c) = (a b) + ( c) a a (a + b) ( + c) (b + c) = (a + b) ( + c) a a Demostracion de (21) (20) (21)

Cancelacion a + ( b) = a + b a

(18)

Demostracion de (19)

 Introduccion

Objetivo de la sesion

Algebra Booleana Simplicacion Expresion de Funciones Introduccion Objetivo de la sesion Simplicacion Expresion de Funciones

Algebra Booleana

Teoremas Cont.
(22) (23) Los postulados junto con los teoremas, conforman las herramientas matematicas basicas para la construccion de circuitos digitales mediante la simplicacion de expresiones Booleanas. Algunos ejemplos de simplicacion: a (b c + a c) + b c a b c + a b (a + b + b c d) a b

Simplicacion de expresiones Booleanas

Teoremas DMorgan

(a b) = ( + a b)

Demostracion de (22) y (23) por Tablas de Verdad.

(a + b) = ( a b)

Introduccion

Objetivo de la sesion

Algebra Booleana Simplicacion Expresion de Funciones Introduccion

Objetivo de la sesion

Algebra Booleana

Simplicacion

Expresion de Funciones

Expresion de Funciones Booleanas

Expresion de Funciones Booleanas

Una funcion Booleana se puede expresar de tres formas distintas: En forma algebraica, Por tablas de verdad y En forma canonica
Minitermino Maxitermino

De manera similar al algebra convencional, es posible denir una relacion de dependencia de una variable Booleana con otras variables independientes. A esta se les conoce como funcion logica o funcion Booleana. Sean: a1 , a2 , a3 , , an K donde: K = {0, 1} entonces: y = f (a1 , a2 , a3 , , an ) y depende de los valores que tomen a1 , a2 , a3 , , an Ejemplo: y = f (a, b, c) = a b + a c + a c

 Introduccion

Objetivo de la sesion

Algebra Booleana Simplicacion Expresion de Funciones Introduccion Objetivo de la sesion Simplicacion Expresion de Funciones

Algebra Booleana

Forma algebraica

Tablas de verdad

Forma mas comun de representar una funcion Booleana, similar a la representacion de funciones en el algebra convencional. Ejemplos:

La forma mas intuitiva de representar una funcion booleana es por medio de una tabla de verdad. La tabla de verdad expresa el valor de salida de una funcion para cada combinacion de entrada. La tabla de verdad permite modelar un tipo especial de sistema digital llamado Sistema Combinacional.

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

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

Introduccion

Objetivo de la sesion

Algebra Booleana Simplicacion Expresion de Funciones Introduccion

Objetivo de la sesion

Algebra Booleana

Simplicacion

Expresion de Funciones

Tablas de verdad, cont.

Tablas de verdad, cont.

Dada una tabla de verdad obtener la funcion booleana

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 0 1 1 0 1 1

b f = a c + a b c + a c + a b c + a b c b

f = a c + a b c + a c b b

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 1 0 1 0 0 1 0 0

 Introduccion

Objetivo de la sesion

Algebra Booleana Simplicacion Expresion de Funciones Introduccion Objetivo de la sesion Simplicacion Expresion de Funciones

Algebra Booleana

Formas canonicas
Miniterminos

Formas canonicas

Termino producto: expresion Booleana que solo incluye operaciones AND entre sus variables (armadas o negadas). Ejemplo: a a b c, b, a b c d b, Forma SP (Suma de Productos): Se dice que una expresion Booleana esta en la forma Suma de Productos si esta formada exclusivamente por la suma logica (OR) de terminos producto. Ejemplo: f (a, b, c, d) = a c + d + a c d b b

Las funciones booleanas puden ser representadas en dos estructuras o formas tpicas denominadas formas canonicas que consisten en escribir la funcion de una manera clara y precisa siguiendo dos posibles reglas:

Miniterminos Maxiterminos

Introduccion

Objetivo de la sesion

Algebra Booleana Simplicacion Expresion de Funciones Introduccion

Objetivo de la sesion

Algebra Booleana

Simplicacion

Expresion de Funciones

Formas canonicas

Formas canonicas
Maxiterminos

Miniterminos

Minitermino: Es un termino producto que contiene todas las variables de la funcion. Ejemplo: Cual de estos terminos no es un Minitermino?

Termino suma: Expresion Booleana que solo incluye operaciones OR entre sus variables (armadas o negadas). Ejemplo: a + a + b + c, a + b + c + d b, Productos de suma: Se dice que una expresion Booleana esta en la forma productos de suma (PS) si esta formada exclusivamente por el producto (AND) de terminos suma. Ejemplo: f (a, b, c) = (a + c) ( + d) ( + c + d) b a

f (a, b, c, d) a b c d, a b c d, a c d, c b b

Forma canonica Suma de productos: Cuando los terminos producto de una funcion Booleana son todos miniterminos. Ejemplo:

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

f (a, b, c) = (1, 5, 6)

 Introduccion

Objetivo de la sesion

Algebra Booleana Simplicacion Expresion de Funciones Introduccion Objetivo de la sesion Simplicacion Expresion de Funciones

Algebra Booleana

Formas canonicas Obtencion de formas canonicas

Maxiterminos

Maxitermino: Terminos suma que contienen todas las variables de la funcion. Ejemplo: Cual de estos terminos no es un Maxitermino?
1 2

Dada una funcion en su forma algebraica, obtener la forma canonica Suma de Productos: Escribir la funcion en forma SP A cada termino producto multiplicalo por 1 en terminos de la variable faltante Aplicar Ley Distributiva del producto sobre la suma Aplicar idempotencia a terminos semejantes

f (a, b, c) a + b + c, a + b + c, a + b
3 4

Forma canonica Productos de Suma: Cuando los terminos suma de una funcion Booleana son todos maxiterminos. Ejemplo:

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

f (a, b, c) = (0, 3, 6)

Introduccion

Objetivo de la sesion

Algebra Booleana Simplicacion Expresion de Funciones Introduccion

Objetivo de la sesion

Algebra Booleana

Simplicacion

Expresion de Funciones

Obtencion de formas canonicas

Conversion entre SP y PS
Usando el teorema DMorgan podemos obtener una equivalencia entre Miniterminos y Maxiterminos. Mi = mi Para convertir de una forma canonica a otra, se intercambian los smbolos y , y se listan los numeros perdidos de la funcion original: Ejemplo f (a, b, c) = (1, 3, 6, 7) f (a, b, c) = (0, 2, 4, 5)

Dada una funcion en su forma algebraica, obtener la forma canonica Productos de Suma:

Escribir la funcion en forma PS A cada termino suma sumarle 0 escrito en terminos de la variable faltante

Aplicar Ley Distributiva de la suma sobre el producto Aplicar idempotencia a terminos semejantes