Algebra booleana y Mapas de Karnaugh

Lgica matemtica

Integrantes Guarniz Cueva Morales Castillo Rodrguez Portal Rojas Guevara Salazar Gamboa Zarate Alvarado

LGEBRA DE BOOLE
lgebra de Boole en informtica y matemtica, es una estructura algebraica que esquematiza las operaciones lgicas Y, O , NO y Si (AND,OR,NOT,IF), as como el conjunto de operaciones unin, interseccin y complemento.

Definicin Un lgebra de Boole es una tripleta binarias y tambin operaciones internas en cumplen los siguientes axiomas: 1. Propiedad conmutativa: . Donde , y son operaciones se

y adems para cualquier

2. Propiedad asociativa:

3. Propiedad distributiva:

4. Propiedad de los neutros. Existen

tales que:

5. Se cumple la propiedad:

tal que:

0 1 1 0 0 1 1 0

1 1 0 0

Algunos autores al definir un Algebra de Boole, prescinden del axioma o Ley Asociativa porque consideran que es una propiedad demostrable a partir de los restantes axiomas y propiedades ya demostradas. Por ejemplo, puede demostrarse la propiedad o Ley Asociativa a partir de los restantes axiomas y de la propiedad o Ley e Absorcin.3 Como retculo Como retculo presenta las siguientes propiedades, las leyes principales son estas: 1. Ley de Idempotencia:

2. Ley de Asociatividad:

3. Ley de Conmutatividad:

4. Ley de Cancelativo

5. Ley de Absorcin

Operaciones Hemos definido el conjunto A = {1,0} como el conjunto universal sobre el que se aplica el lgebra de Boole, sobre estos elementos se definen varias operaciones, veamos las ms fundamentales: Operacin suma La operacin suma (+) asigna a cada par de valores a, b de A un valor c de A: a b a+b 0 0 0 1 Su equivalencia en lgica de interruptores es un circuito de dos interruptores en 1 0 paralelo. 1 1 0 1 1 1

Si uno de los valores de a o b es 1, el resultado ser 1, es necesario que los dos sumandos sean 0, para que el resultado sea 0.

Operacin producto

La operacin producto ( ) asigna a cada par de valores a, b de A un valor c de A:

a b a b 0 0 0 0 1 0

Esta operacin en lgica de interruptores es un circuito en serie de dos interruptores

1 0 0 1 1 1

Solo si los dos valores a y b son 1, el resultado ser 1, si uno solo de ellos es 0 el resultado ser 0.

Operacin negacin La operacin negacin presenta el opuesto del valor de a: a 0 1 1 0 Un interruptor inverso equivale a esta operacin:

Operaciones combinadas

Partiendo de estas tres operaciones elementales se pueden realizar otras a b ms complejas, que podemos representar como ecuaciones booleanas, por 0 0 1 ejemplo: 0 1 1 1 0 0 Que representado en lgica de interruptores es un circuito de dos interruptores en paralelo, siendo el primero de ellos inverso. 1 1 0

1 1 0 1

La distinta secuencia de valores de a y b da los resultados vistos en la tabla de verdad.

Leyes fundamentales El resultado de aplicar cualquiera de las tres operaciones definidas a variables del sistema booleano resulta en otra variable del sistema, y este resultado es nico. 1. Ley de idempotencia:

2. Ley de complemento:

3. Ley conmutativa:

4. Ley asociativa:

5. Ley distributiva: Distributiva por la izquierda:

Distributiva por la derecha:

6. Ley de cancelacin:

7. Ley de identidad:

8 Ley de dominacin:

9. Leyes de De Morgan:

Principio de dualidad El concepto de dualidad permite formalizar este hecho: a toda relacin o ley lgica le corresponder su dual, formada mediante el intercambio de los operadores unin (suma lgica) con los de interseccin (producto lgico), y de los 1 con los 0. Adems hay que cambiar cada variable por su negada. Esto causa confusin al aplicarlo en los teoremas bsicos, pero es totalmente necesario para la correcta aplicacin del principio de dualidad. Vase que esto no modifica la tabla adjunta. Adicin 1 2 3 4 5 6 7 8 9 Producto

Otras formas de notacin del lgebra de Boole En matemtica se emplea la notacin empleada hasta ahora ({0,1}, +, ) siendo la forma ms usual y la ms cmoda de representar. Por ejemplo las leyes de De Morgan se representan as:

Cuando el lgebra de Boole se emplea en electrnica, suele emplearse la misma denominacin que para las puerta lgica AND (Y), OR (O) y NOT (NO), amplindose en ocasiones con X-OR (O exclusiva) y su negadas NAND (NO Y), NOR (NO O) y X-NOR (equivalencia). Las variables pueden representarse con letras maysculas o minsculas, y pueden tomar los valores {0, 1}

Empleando esta notacin las leyes de De Morgan se representan:

En su aplicacin a la lgica se emplea la notacin valores {F, V}, falso o verdadero, equivalentes a {0, 1} Con la notacin lgica las leyes de De Morgan seran as:

y las variables pueden tomar los

En el formato de Teora de conjuntos el lgebra de Boole toma el aspecto:

En esta notacin las leyes de De Morgan seran as:

Otra forma en la teora de conjuntos del lgebra de Boole, las leyes de De Morgan serian as:

Desde el punto de vista prctico existe una forma simplificada de representar expresiones booleanas. Se emplean apstrofos (') para indicar la negacin, la operacin suma (+) se representa de la forma normal en lgebra, y para el producto no se emplea ningn signo, las variables se representan, normalmente con una letra mayscula, la sucesin de dos variables indica el producto entre ellas, no una variable nombrada con dos letras. La representacin de las leyes de De Morgan con este sistema quedara as, con letra minscula para las variables:

Y as, empleando letras maysculas para representar las variables:

Todas estas formas de representacin son correctas, se utilizan de hecho, y pueden verse al consultar bibliografa. La utilizacin de una u otra notacin no modifica el lgebra de Boole, solo su aspecto, y depende de la rama de las matemticas o la tecnologa en la que se est utilizando para emplear una u otra notacin. APLICACIONES En informtica Se dice que una variable tiene valor booleano cuando, en general, la variable contiene un 0 lgico o un 1 lgico. Esto, en la mayora de los lenguajes de programacin, se traduce en false (falso) o true (verdadero), respectivamente. Una variable puede no ser de tipo booleano, y guardar valores que, en principio, no son booleanos; ya que, globalmente, los compiladores trabajan con esos otros valores, numricos normalmente aunque tambin algunos permiten cambios desde, incluso, caracteres, finalizando en valor booleano. El 0 lgico

El valor booleano de negacin suele ser representado como false, aunque tambin permite y equivale al valor natural, entero y decimal (exacto) 0, as como la cadena "false", e incluso la cadena "0". El 1 lgico

En cambio, el resto de valores apuntan al valor booleano de afirmacin, representado normalmente como true, ya que, por definicin, el valor 1 se tiene cuando no es 0. Cualquier nmero distinto de cero se comporta como un 1 lgico, y lo mismo sucede con casi cualquier cadena (menos la "false", en caso de ser sta la correspondiente al 0 lgico).

-La electrnica digital utiliza magnitudes digitales que toman valores discretos .-La electrnica analgica emplea magnitudes analgicas que toman valores continuos. -En las aplicaciones electrnicas, los datos digitales se pueden procesar de forma ms fiable que los datos analgicos. Cuando es necesario su almacenamiento, el ruido (fluctuaciones de tensin no deseadas) no afecta a las seales digitales tanto como a las seales analgicas. . Mapas de Karnaugh Un mapa de Karnaugh proporciona un mtodo sistemtico de simplificacin de expresiones booleanas. Aplicado adecuadamente genera las expresiones suma de productos y producto de sumas ms simples posibles. Un mapa de Karnaugh es similar a una tabla de verdad, ya que muestra todos los posibles valores de las variables de entrada y la salida resultante para cada valor. El mapa de Karnaugh es una secuencia de celdas en la que cada celda representa un valor binario de las variables de entrada. Las celdas se disponen de tal manera que la simplificacin de una determinada expresin consiste en agrupar adecuadamente las celdas. Los mapas de Karnaugh pueden utilizarse para expresiones de dos, tres, cuatro y cinco variables. El mtodo de Quine-McCluskypuede usarse para un nmero de variables mayor. Al igual que ocurra con el nmero de filas de una tabla de verdad, el nmero de celdas de un mapa de Karnaugh es igual al nmero total de combinaciones de las variables de entrada. Para tres variables, el nmero de celdas necesarias es 23=8. Para cuatro variables, el nmero de celdas es 24=16 celdas. Mapas de Karnaugh de Tres Variables (I) Es un conjunto de 8 celdas. Se utilizan A, B y C para denominar las variables, aunque se podran usar otras letras. Los valores binarios de A y B se encuentran en la parte izquierda y los valores de C en la parte superior. El valor de una determinada celda es:

el valor binario de A y B, en la parte izquierda de la misma fila combinado con el valor de C en la parte superior de la misma columna. Representacin de un mapa de Karnaugh de tres variables vaco (matriz de 8 celdas) y con los trminos producto estndar representados para cada celda:

Mapas de Karnaugh de Cuatro Variables Es un conjunto de 16 celdas. Se utilizan A, B, C y D para denominar las variables, aunque se podran usar otras letras. Los valores binarios de A y B se encuentran en la parte izquierda y los valores de C y D en la parte superior. El valor de una determinada celda es: el valor binario de A y B, en la parte izquierda de la misma fila combinado con el valor de C y D en la parte superior de la misma columna. Representacin de un mapa de Karnaugh de cuatro variables vaco (matriz de 16 celdas) y con los trminos producto estndar representados para cada celda:

Adyacencia de Celdas Las celdas de un mapa de Karnaugh se disponen de manera que slo cambia una nica variable entre celdas adyacentes. Las celdas que difieren en una nica variable son adyacentes. En el mapa de 3 variables, la celda 010 es adyacente a la celda 000, a la 011 y a la 110. Las celdas cuyos valores difieren en ms de una variable no son adyacentes. En el mapa de 3 variables, la celda 010 NO es adyacente a la celda 001, a la 111, a la 100 ni a la 101. Fsicamente, cada celda es adyacente a las celdas que estn situadas inmediatas a ella por cualesquiera de sus cuatro lados. Una celda NO es adyacente a aquellas que tocan diagonalmente alguna de sus esquinas. Adems, las celdas de la fila superior son adyacentes a las de la fila inferior y las celdas de la columna izquierda son adyacentes a las celdas situadas en la columna derecha. Adyacencia de celdas en un mapa de Karnaugh de cuatro variables.Las flechas apuntan a las celdas adyacentes.

Minimizacin de una Suma de Productos El mapa de Karnaugh se utiliza para reducir expresiones booleanas a su mnima expresin, as los diseos lgicos de los circuitos que se construyan sean ms econmicos. Una expresin suma de productos minimizada est formada por el mnimo nmero de trminos producto posibles con el mnimo nmero de variables por trmino. Generalmente, una expresin suma de productos minimizada se puede implementar mediante un nmero de puertas menor que su expresin estndar, lo cual constituye la finalidad del proceso de simplificacin. Por cada trmino de la expresin suma de productos se coloca un 1 en el mapa de Karnaugh en la celda correspondiente al valor del producto. Las celdas que no tienen 1 son aquellas para las que la expresin es 0. Mapa de Karnaugh de una Suma de Productos Estndar

Pasos para completar el mapa de Karnaugh: Paso 1. Determinar el valor binario de cada trmino producto de la suma de productos estndar. Paso 2. A medida que evaluamos cada trmino, colocamos un 1 en el mapa de Karnaugh, en la celda que tiene el mismo valor que dicho trmino. Ejemplo de transformacin a mapa de Karnaugh de una suma de productos estndar

Antes de poder utilizar un mapa de Karnaugh, las expresiones booleanas deben estar en su forma estndar. Si una expresin no lo est, se pasar al formato estndar. A un trmino en forma no estndar le faltan una o ms variables en su expresin. Este trmino se puede desarrollar numricamente para obtener una expresin estndar: Se aaden todas las combinaciones de valores numricos de las variables que faltan en la expresin. Ejemplo: Transformar la siguiente expresin suma de productos en un mapa de Karnaugh: A + AB + ABC Solucin. Esta suma de productos no est en formato estndar, ya que cada trmino no contiene las tres variables. El primer trmino no posee dos de las tres variables; el segundo carece de una, mientras que el tercero s que es estndar. 1. Desarrollamos los trminos numricamente de la forma:

2. Cada uno de los valores binarios resultantes se traslada al mapa, colocando un 1 en la celda apropiada del mapa de Karnaugh de 3 variables.

El proceso que genera una expresin que contiene el menor nmero posible de trminos con el mnimo nmero de variables se denomina minimizacin. Despus de haber obtenido el mapa de Karnaugh de una suma de productos, se deben seguir tres pasos para obtener la expresin suma de productos mnima: Agrupar los 1s. Determinar el trmino producto correspondiente a cada grupo. Sumar los trminos productos obtenidos. Agrupacin de 1s La finalidad es maximizar el tamao de los grupos y minimizar el nmero de estos grupos. Reglas: 1. Un grupo tiene que contener 1, 2, 4, 8 16 celdas. 2. Cada celda de un grupo tiene que ser adyacente a una o ms celdas del mismo grupo, pero no todas las celdas del grupo tienen que ser adyacentes entre s. 3. Incluir siempre en cada grupo el mayor nmero posible de 1s de acuerdo con la regla 1. 4. Cada 1 del mapa tiene que estar incluido en al menos un grupo. Los 1s que ya pertenezcan a un grupo pueden estar incluidos en otro, siempre que los grupos que se solapen contengan 1s no comunes.

Determinar el T Trmino Producto Correspondiente a Cada Grupo 1. Cada grupo de celdas que contiene 1s da lugar a un trmino producto compuesto por todas las variables que aparecen en el grupo en slo una forma (no complementada o complementada). Las variables que aparecen complementadas y sin complementar dentro del mismo grupo se eliminan. A stas se las denomina variables contradictorias. 2. Determinar la operacin producto mnima para cada grupo. a) Determinar la operacin producto mnima para un mapa de 3 variables. I.Un grupo formado por una nica celda da lugar a un trmino producto de tres variables. II.Un grupo formado por 2 celdas da lugar a un trmino producto de dos variables. III.Un grupo formado por 4 celdas da lugar a un trmino de una variable. IV.Un grupo formado por 8 celdas indica que la expresin vale 1. b) Determinar la operacin producto mnima para un mapa de 4 variables. I.Un grupo formado por una nica celda da lugar a un trmino producto de cuatro variables. II.Un grupo formado por 2 celdas da lugar a un trmino producto de tres variables. III.Un grupo formado por 4 celdas da lugar a un trmino producto de dos variables. IV.Un grupo formado por 8 celdas da lugar a un trmino de una variable. V. Un grupo formado por 16 celdas indica que la expresin vale 1.

Cuando se han obtenido todos los trminos mnimos, se suman para obtener la expresin suma de productos mnima.

Ejemplo: Determinar los productos para cada uno de los mapas de Karnaugh y escribir las correspondientes expresiones suma de productos mnima resultante.

Solucin. La expresin suma de productos mnima para cada uno de los mapas de Karnaugh es:(a) AB + BC + A B C (b) B + AC + AC(c) AB + A C + ABD (d) D + ABC + BC

Ejemplo: Mediante un mapa de Karnaugh minimizar la expresin suma de productos siguiente:

Se indica el trmino producto para cada grupo y la expresin suma de productos mnima resultante es: D + BCNota: esta expresin mnima es equivalente a la expresin estndar original.