TRABAJO FINAL

MATEMATICAS DISCRETAS RESUMEN DIAPOSITIVAS

Docente: David Alberto Garca Arango.

Estudiantes: Jorge Luis Pinedo Alejandro Valderrama

COORPORACION UNIVERSITARIA AMERICANA FACULTAD DE INGENIERIA INGENIERIA DE SISTEMAS SEDE MEDELLIN 2013

TEORIA DE BOOLE EL LGEBRA BOOLEANA Es un sistema matemtico deductivo centrado en los valores cero y uno (falso y verdadero). Un operador binario " " definido en ste juego de valores acepta un par de entradas y produce un solo valor booleano, por ejemplo, el operador booleano AND acepta dos entradas booleanas y produce una sola salida booleana. SUS LEYES SON:

Cerrado. El sistema booleano se considera cerrado con respecto a un operador binario si para cada par de valores booleanos se produce un solo resultado booleano. Conmutativo. Se dice que un operador binario es conmutativo si A * B = B * A para todos los posibles valores de A y B. Asociativo. Se dice que un operador binario es asociativo si (A * B) * C = A * (B * C) para todos los valores booleanos A, B, y C. Distributivo. Dos operadores binarios " x " y " + " son distributivos si A * (B + C) = (A * B) + (A * C) para todos los valores booleanos A, B, y C. Identidad. Un valor booleano I se dice que es un elemento de identidad con respecto a un operador binario " x " si A * I = A. Inverso. Un valor booleano I es un elemento inverso con respecto a un operador booleano " x " si A * I = B, y B es diferente de A, es decir, B es el valor opuesto de A. Los dos posibles valores en el sistema booleano son cero y uno, a menudo se les llama falso y verdadero. - El smbolo * representa la operacin lgica AND. Cuando se utilicen nombres de variables de una sola letra se eliminar el smbolo, por lo tanto AB representa la operacin lgica AND entre las variables A y B, a esto tambin le llamamos el producto entre A y B. - El smbolo "+" representa la operacin lgica OR, decimos que A+B es la operacin lgica OR entre A y B, tambin llamada la suma de A y B. - El complemento lgico, negacin NOT es un operador unitario, para denotar la negacin lgica, por ejemplo, A denota la operacin lgica NOT de A. Si varios operadores diferentes aparecen en una sola expresin booleana, el resultado de la expresin depende de la procedencia de los operadores, la cual es de mayor a menor, parntesis, operador lgico NOT, operador lgico AND y operador lgico OR. Tanto el operador lgico AND como el OR son asociativos por la izquierda. Si dos operadores con la misma procedencia estn adyacentes, entonces se evalan de izquierda a derecha . El operador lgico NOT es asociativo por la derecha.

Propiedades

P1 El lgebra booleana es cerrada bajo las operaciones AND, OR y NOT P2 El elemento de identidad con respecto a * es uno y con respecto a + es cero. No existe elemento de identidad para el operador NOT P3 Los operadores * y + son conmutativos. P4 * y + son distributivos uno con respecto al otro, esto es, A* (B+C) = (A*B)+(A*C) y A+ (B*C) = (A+B)*(A+C). P5 Para cada valor A existe un valor A' tal que A*A' = 0 y A+A' = 1. ste valor es el complemento lgico de A. P6 * y + son ambos asociativos, sto es, (AB) C = A (BC) y (A+B)+C = A+ (B+C). ALGUNOS DE LOS TEOREMAS MS Teorema 1: A + A = A Teorema 2: A * A = A Teorema 3: A + 0 = A Teorema 4: A * 1 = A Teorema 5: A * 0 = 0 Teorema 6: A + 1 = 1 Teorema 7: (A + B)' = A' B'..TEOREMA DE MORGAN Teorema 8: (A * B)' = A' + B'..TEOREMA DE MORGAN Teorema 9: A + A B = A Teorema 10: A * (A + B) = A Teorema 11: A + A'B = A + B Teorema 12: A' * (A + B') = A'B' Teorema 13: AB + AB' = A Teorema 14: (A' + B') * (A' + B) = A' Teorema 15: A + A' = 1 Teorema 16: A * A' = 0 Propiedades Del lgebra De Boole 1. Idempotente respecto a la primera funcin: x + x = x Idempotente respecto a la segunda funcin: xx = x Maximalidad del 1: x + 1 = 1 Minimalidad del 0: x * 0 = 0 Involucin: x'' = x Inmersin respecto a la primera funcin: x + (xy) = x Inmersin respecto a la segunda funcin: x(x + y) = x Ley de Morgan respecto a la primera funcin: (x + y)' = x'y' Ley de Morgan respecto a la segunda funcin: (xy)' = x' + y' Funcin Booleana Una funcin booleana es una de A x A x A x....A en A, siendo A un conjunto cuyos elementos son 0 y 1 y tiene estructura de lgebra de Boole. Supongamos que cuatro amigos deciden ir al cine si lo quiere la mayora. Cada uno puede votar si o no. Representemos el voto de cada uno por xi. La funcin devolver s (1) cuando el numero de votos afirmativos sea 3 y en caso contrario devolver 0. Si x1 vota 1, x2 vota 0, x3 vota 0 y x4 vota 1 la funcin booleana devolver 0. Producto mnimo (es el nmero posible de casos) es un producto en el que aparecen todas las variables o sus negaciones.

El nmero posible de casos es 2n. Siguiendo con el ejemplo anterior. Asignamos las letras A, B, C y D a los amigos. Los posibles casos son: Votos Resultado ABCD 1111 1 1110 1 1101 1 1100 0 1011 1 1010 0 1001 0 1000 0 0111 1 0110 0 0101 0 0100 0 0011 0 0010 0 0001 0 0000 0 Las funciones booleanas se pueden representar como la suma de productos mnimos (minterms) iguales a 1. En nuestro ejemplo la funcin booleana ser: f(A,B,C,D) = ABCD + ABCD' + ABC'D + AB'CD + A'BCD Diagramas De Karnaugh Los diagramas de Karnaugh se utilizan para simplificar las funciones booleanas. Se construye una tabla con las variables y sus valores posibles y se agrupan los 1 adyacentes, siempre que el nmero de 1 sea potencia de 2.

lgebra Booleana y circuitos electrnicos Para cada funcin booleana es posible disear un circuito electrnico y viceversa, como las funciones booleanas solo requieren de los operadores AND, OR y NOT podemos construir nuestros circuitos utilizando exclusivamente stos operadores utilizando las compuertas lgicas homnimas Un hecho interesante es que es posible implementar cualquier circuito electrnico utilizando una sola compuerta, sta es la compuerta NAND Para probar que podemos construir cualquier funcin booleana utilizando slo compuertas NAND, necesitamos demostrar cmo construir un inversor (NOT), una compuerta AND y una compuerta OR a partir de una compuerta NAND, ya que como se dijo, es posible implementar cualquier funcin booleana utilizando slo los operadores booleanos AND, OR y NOT. Para construir un inversor simplemente conectamos juntas las dos entradas de una compuerta NAND. Una vez que tenemos un inversor, construir una compuerta AND es fcil, slo invertimos la salida de una compuerta NAND, despus de todo, NOT ( NOT (A AND B)) es equivalente a A AND B. Por supuesto, se requieren dos compuertas NAND para construir una sola compuerta AND, nadie ha dicho que los circuitos implementados slo utilizando compuertas NAND sean lo ptimo, solo se ha dicho que es posible hacerlo. La otra compuerta que necesitamos sintetizar es la compuerta lgica OR, sto es sencillo si utilizamos los teoremas de Demoran, que en sntesis se logra en tres pasos, primero se reemplazan todos los "" por "+" despus se invierte cada literal y por ltimo se niega la totalidad de la expresin:

A OR B A AND B.......................Primer paso para aplicar el teorema de Morgan A' AND B'.....................Segundo paso para aplicar el teorema de Morgan (A' AND B')'..................Tercer paso para aplicar el teorema de de Morgan (A' AND B')' = A' NAND B'.....Definicin de OR utilizando NAND Circuitos Combinacionales Un circuito combinacional es un sistema que contiene operaciones booleanas bsicas (AND, OR, NOT), algunas entradas y un juego de salidas, como cada salida corresponde a una funcin lgica individual, un circuito combinacional a menudo implementa varias funciones booleanas diferentes, es muy importante recordar ste hecho, cada salida representa una funcin booleana diferente. Un ejemplo comn de un circuito combinacional es el decodificador de siete segmentos, se trata de un circuito que acepta cuatro entradas y determina cul de los siete segmentos se deben iluminar para representar la respectiva entrada, de acuerdo con lo dicho en el prrafo anterior, se deben implementar siete funciones de salida diferentes, una para cada segmento. Las cuatro entradas para cada una de stas funciones booleanas son los cuatro bits de un nmero binario en el rango de 0 a 9. Sea D el bit de alto orden de ste nmero y A el bit de bajo orden, cada funcin lgica debe producir un uno (para el segmento encendido) para una entrada dada si tal segmento en particular debe ser iluminado, por ejemplo, el segmento e debe iluminarse para los valores 0000, 0010, 0110 y 1000. En la siguiente tabla se puede ver qu segmentos deben iluminarse de acuerdo al valor de entrada, tenga en cuenta que slo se estn representando valores en el rango de 0 a 9, los decodificadores para las pantallas de siete segmentos comerciales tienen capacidad para desplegar valores adicionales que corresponden a las letras A a la F para representaciones hexadecimales, sin embargo la mecnica para iluminar los respectivos segmentos es similar a la aqu representada para los valores numricos. 0abcdef 1 bc de g g fg fg 2ab 4 5a 6 bc cd

3abcd

cdefg

7abc 8abcdefg 9abc fg

Los Teoremas Bsicos Del Algebra Booleana Los Teoremas Bsicos del lgebra Booleana son: TEOREMA 1 Ley Distributiva A (B+C) = AB+AC A B C B+C AB AC AB+AC A (B+C) 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 A+A = A AA = A A A A+A 0 0 0 1 1 1 A A AA 0 0 0 1 1 1 TEOREMA 3 Redundancia A+AB = A A B AB X 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 1 A (A+B) = A A B A+B X 0 0 0 0 1 1 1 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 TEOREMA 2

TEOREMA 4 0+A = A Equivalente a una compuerta OR con una de sus terminales conectada a tierra A B=0 X 0 0 1 0 0 1

1A = A Equivalente a una compuerta AND con una de sus terminales conectada a 1 A B=1 X 0 1 1 1 0 1 1+A = 1 A B=1 X 0 1 1 1 1 1 0A = 0 A B=0 X 0 0 1 0 0 0

EL METODO DE Quine-McCluskey Se tienen dos formas de desarrollar el mtodo de Quine-McCluskey: con una combinacin binaria y una combinacin decimal. Ambas formas se desarrollarn mediante dos ejemplos, respectivamente:

Las tablas 3 y 4 se obtienen de la siguiente manera.

Bibliografa

Matemtica discreta Kolmant http://es.software.yahoo.com/fot/ftxt/karmap.html http://www.terra.es/personal/jftjft/ algebra/boole/algboole.htm