lgebra de Boole

lgebra de Boole (tambin llamada Retculas booleanas) en informtica y matemtica, es una estructura algebraica que vigorizan las operaciones lgicas Y, O y NO, as como el conjunto de operaciones unin, interseccin y complemento. Se denomina as en honor a George Boole, (2 de noviembre de 1815 a 8 de diciembre de 1864), matemtico ingls que fue el primero en definirla como parte de un sistema lgico a mediados del siglo XIX.

Definicin
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. Para cualquier sistema algebraico existen una serie de postulados iniciales, de aqu se pueden deducir reglas adicionales, teoremas y otras propiedades del sistema, el lgebra booleana a menudo emplea los siguientes postulados:

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 " " 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 " " si A I = A.

Inverso. Un valor booleano I es un elemento inverso con respecto a un operador booleano " " si A I = B, y B es diferente de A, es decir, B es el valor opuesto de A. , + y son se cumplen

Un lgebra de Boole es una tripleta . Donde operaciones internas en y adems para cualquier los siguientes axiomas: 1. Propiedad conmutativa:

2. Propiedad asociativa:

3. Propiedad distributiva:

4. Propiedad de los neutros. Existen

tales que:

5. Propiedad de los opuestos. Existe

tal que:

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

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

Su equivalencia en lgica de interruptores es un circuito de dos interruptores en paralelo.

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

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

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

a b Partiendo de estas tres operaciones elementales se pueden 0 0 realizar otras ms complejas, que podemos representar como 0 1 ecuaciones booleanas, por ejemplo: 1 0 1 1

1 1 0 0

1 1 0 1

Que representado en lgica de interruptores es un circuito de dos interruptores en paralelo, siendo el primero de ellos inverso.

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 involucin:

3. Ley conmutativa:

4. Ley asociativa:

5. Ley distributiva:

6. Ley de cancelacin:

7. Ley de identidad:

8. Leyes de De Morgan:

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 TEOREMA 2 A+A = A AA = A A A A+A 0 0 0 1 1 1 A A AA 0 0 0 1 1 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 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

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 0A = 0 A B=0 X 0 0 1 0 0 0 1 1

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 y las variables pueden tomar los valores {F, V}, falso o verdadero, equivalentes a {0, 1} Con la notacin lgica las leyes de De Morgan seran as:

En el formato de Teora de conjuntos el lgebra de Boole toma el aspecto: En esta notacin las leyes de De Morgan seran 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.

lgebra de Boole aplicada a la 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).

Jerarqua de los operadores

Al evaluar una expresin booleana, deben realizarse las operaciones de acuerdo con su nivel jerrquico, realizando primero la de mayor jerarqua. Si existen parntesis, deben resolverse primero los ms internos y trabajar hacia fuera. En ausencia de parntesis, la jerarqua de las operaciones es, de mayor a menor, la siguiente: 1.- Operacin NOT 2.- Operacin AND 3.- Operacin OR Si se tienen varias operaciones con la misma jerarqua, stas pueden ser evaluadas de derecha a izquierda o de izquierda a derecha, el resultado ser el mismo Como ejemplo, considrese la evaluacin de las siguientes expresiones booleanas para A=1, B=0 y C=0. Expresin: (Sustitucin de valores) (Evaluacin de los NOT) (Evaluacin de los AND) (Evaluacin de los OR) Ejercicios se algebra de boole Problema1 De las siguientes sentencias o frases, cuales representan proposiciones? a) 3 es un nmero primo b) cuando se aade 5 a 7, la suma es 14 c) Existen seres vivos en Venus

d) Esta sentencia que Vd est leyendo es falsa e) Es primo el nmero ll? Si la sentencia p es "el buen tiempo es agradable" escribir p' de varias formas. Las frases a), b) y c) SI son proposiciones porque son sentencias declarativas libres de ambigedad. Estn expresadas en modo gramatical indicativo. Las frases d) y e) NO son proposiciones. La primera de ellas porque es una paradoja y est sujeta a ambigedad; la segunda porque no est expresada en modo gramatical indicativo. Para la sentencia p' de la segunda parte podemos escribir, por ejemplo: "el buen tiempo no es agradable" " No es cierto que el buen tiempo sea agradable" Problema2 a) Sea p cierta, q falsa y r una proposicin que puede ser cierta o falsa, qu se puede decir de las siguientes proposiciones? p.p' ; p+r ; (p.q + r)(p + r) b) Escribir en castellano razonable la negacin de la proposicin p + q, siendo: p: "el nmero 15 es par" q: "hay un nmero que, cuando se aade a 6, da una suma de 13" Para la primera proposicin tenemos que es siempre falsa, puesto que la conjuncin de dos proposiciones es cierta slo cuando sean ciertas ambas, y no puede ocurrir que p y p' sean ciertas al mismo tiempo. La segunda proposicin es cierta en todo caso, puesto que para ser cierta la disyuncin de dos proposiciones slo es necesario que sea cierta una de ellas y en esta ocasin p lo es. La tercera proposicin la resolvemos calculando su tabla de verdad: p q r 1 0 0 1 0 1 p.q 0 0 p+r 1 1 p.q + r 0 1 (p.q+r)(p+r) 0 1

Puesto que p y q son respectivamente una tautologa y una contradiccin, la proposicin estudiada es equivalente a la proposicin r. Para la segunda parte, teniendo en cuenta las leyes de Morgan podemos escribir:

y, por lo tanto: = "El nmero 15 NO es par y no hay un nmero que cuando se aade a 6 da una suma de 13"

COMPUERTAS LGICAS
Introduccin: Hay disponible una gran variedad de compuertas estndar, cada una con un comportamiento perfectamente definido, y es posible combinarlas entre si para obtener funciones nuevas. Desde el punto de vista prctico, podemos considerar a cada compuerta como una caja negra, en la que se introducen valores digitales en sus entradas, y el valor del resultado aparece en la salida. Cada compuerta tiene asociada una tabla de verdad, que expresa en forma de lista el estado de su salida para cada combinacin posible de estados en la(s) entrada(s). Si bien al pensar en la electrnica digital es muy comn que asumamos que se trata de una tecnologa relativamente nueva, vale la pena recordar que Claude E. Shann on experimento con rels e interr uptores conectados en serie, paralelo u otras configuraciones para crear las primeras compuertas lgicas funcionales. En la actualidad, una compuerta es un conjunto de transistores dentro de un circuito integrado, que puede contener cientos de ellas. De hecho, un microprocesador no es ms que un chip compuesto por mill ones de compuertas lgicas. Veremos a continuacin que smbolo se utili za para cada compuerta, y su tabla de verdad. Compuerta IF (SI) La puerta lgica IF, llamada SI en castellano, realiza la funcin booleana de la igualdad. En los esquemas de un circuito electrnico se simboliza mediante un tringulo, cuya base corresponde a la entrada, y el vrtice opuesto la salida. Su tabla de verdad es tambin sencilla: la salida toma siempre el valor de la entrada. Esto significa que si en su entrada hay un nivel de tensin alto, tambin lo habr en su salida; y si la entrada se encuentra en nivel bajo, su salida tambin estar en ese estado.

Compuerta NOT (NO) Esta compuerta presenta en su salida un valor que es el opuesto del que est presente en su nica entrada. En efecto, su funcin es la negacin, y comparte con la compuerta IF la caracterstica de tener solo una entrada. Se utiliza cuando es necesario tener disponible un valor lgico opuesto a un lado. La figura muestra el smbolo utilizado en los esquemas de circuitos para

representar esta compuerta, y su tabla de verdad. Se simboliza en un esquema elctrico en el mismo smbolo que la compuerta IF, con un pequeo crculo agregado en su salida, que representa la negacin.

Compuerta AND (Y) Con dos o ms entradas. Esta compuerta realiza la funcin booleana de la multiplicacin. Su salida ser un 1 cuando todas sus entradas tambin estn en nivel alto. En cualquier otro caso, la salida ser un 0. El operador AND se lo asocia a la multiplicacin, de la misma forma que al operador SI se lo asociaba a la igualdad. En efecto, el resultado de multiplicar entre si diferentes valores binarios solo dar como resultado 1 cuando todos ellos tambin sean 1, como se puede ver en su tabla de verdad. Matemticamente se lo simboliza con el signo x.

Podemos pensar en esta compuerta como una lmpara, que hace las veces de salida, en serie con la fuente de alimentacin y dos o ms interruptores, cada uno oficiando de entrada. La lmpara se encender nicamente cuando todos los interruptores estn cerrados. En este ejemplo, el estado de los interruptores es 1 cuando estn cerrados y 0 cuando estn abiertos. La

salida est en 1 cuando la lmpara est encendida, y en 0 cuando est apagada.

Circuito elctrico equivalente Compuerta OR (O)

a una compuerta

AND.

La funcin booleana que realiza la compuerta OR es la asociada a la suma, y matemticamente la expresamos como +. Esta compuerta presenta un estado alto en su salida cuando al menos una de sus entradas tambin esta es estado alta, En cualquier otro caso, la salida ser 0. Tal como ocurre con las computadoras AND, el nmero de entradas puede ser mayor a dos.

Un circuito elctrico equivalente a esta compuerta est compuesto por una lmpara conectada en serie con la alimentacin y con dos o ms interruptores

que a su vez estn conectados en paralelo entre s. Nuevamente. Los interruptores seran las entradas, y la lmpara la salida. Si seguimos las convenciones fijadas en el ejemplo visto al explicar la compuerta AND, tenemos que si ambos interruptores estn abiertos (o en 0), la lmpara permanece apagada. Pero basta que cerremos uno o ms de los interruptores para que la lmpara se encienda.

Circuito elctrico equivalente Compuerta NAND (NO Y)

a una compuerta

OR.

Cualquier compuerta lgica se puede negar, esto es, invertir el estado de su salida, simplemente agregando una compuerta NOT que realice esta tarea. Debido a que es una situacin muy comn, se fabrican compuertas que ya estn negadas internamente. Este es el caso de la compuerta NAND: es simplemente la negacin de la compuerta AND vista anteriormente.

Compuerta NOR (NO O) De forma similar a lo explicado con la compuerta NAND, una compuerta NOR es la negacin de una compuerta OR obtenida agregando una etapa NOT en su salida.

Como podemos ver en su tabla de verdad, la salida de una compuerta NOR es 1 solamente cuando todas sus entradas son 0. Igual que en casos anteriores, la negacin se expresa en los esquemas mediante un crculo en la salida. El nmero de entradas tambin puede ser mayor a dos.

Tabla de verdad de la compuerta NOR Compuerta XOR (O Exclusivo) La compuerta OR vista anteriormente realiza la operacin lgica correspondiente al O inclusivo es decir, una o ambas de las entradas deben estar en 1 para que la salida sea 1. Un ejemplo de esta compuerta en lenguaje coloquial seria Maana ir de compras o al cine. Basta con que vaya de compras o al cine para que la informacin sea verdadera. En caso de que realice ambas cosas, la afirmacin tambin es verdadera. Aqu es donde la funcin XOR difiere de la OR: en una compuerta XOR la salida ser 0 siempre que las entradas sean distintas entre s. En el ejemplo anterior, si se tratase de la operacin XOR, la salida seria 1 solamente si fuimos de compras o si fuimos al cine, pero 0 si no fuimos a ninguno de esos lugares, o si fuimos a ambos.

Esta caracterstica hace de la compuerta XOR un componente imprescindible en los circuitos sumadores de nmeros binarios, tal como los utilizados en las

calculadoras electrnicas. Compuerta NXOR (No O Exclusivo) No hay mucho para decir de esta compuerta. Como se puede deducir de los casos anteriores, una compuerta NXOR no es ms que una XOR con su salida negada, por lo que su salida estar en estado alto solamente cuando sus entradas son iguales, y en estado bajo para las dems combinaciones posibles.

Forma lgica Hemos tratado de la sintaxis y de la semntica del categricus. La forma lgica de una oracin, por otro lado, es su configuracin abstracta en trminos del tipo de oracin que es (sus funciones lgicas) y la identidad de sus trminos. As, la forma lgica de todo enunciado tipo A es la misma y lo mismo vale para cada oracin E, etc. Pero, adems de esta forma lgica general, los enunciados de un mismo tipo pueden presentar formas lgicas ms especficas: Todo oficinista es un animal Todo animal es un oficinista Todo oficinista es un oficinista Estas oraciones tienen la misma forma lgica. Son todas universales afirmativas de la forma Todo __ es un __. Pero la tercera oracin tiene adems una forma especfica que no comparte con las otras dos. En ella se repite el valor del nominal en las posiciones de sujeto y predicado. La tercera es lgicamente verdadera. No as las otras. Es decir, es imposible o lgicamente contradictorio que la tercera oracin sea falsa. La forma lgica de las oraciones se expresa con la ayuda de variables. Estas son letras que usamos para suplantar expresiones. De modo que podemos

resaltar la forma lgica de "todo oficinista es un animal" en la forma: "todo S es un P". Se apreciar que la variable que reemplaza a un nominal no lo abrevia. Las variables no tienen significado y las usamos para reemplazar expresiones significativas justamente para ignorar, abstraernos de factores de la oracin que no interesen a su forma lgica, como el significado lxico del nominal. Lo que obtenemos con el uso de variables son frmulas, no oraciones. A diferencia de una oracin, una frmula no es verdadera ni falsa. A menudo se usan letras maysculas para reemplazar nominales. El par anterior es reminiscente de 'sujeto' y 'predicado'. Pero cualquier otro par hubiera servido el mismo fin. Ya hemos hecho uso de 'x' e 'y' en representaciones anteriores. De una frmula que no contiene sino expresiones lgicas, se dir que expresa una forma lgica. Las siguientes frmulas despliegan formas lgicas: Ningn A es un A Algn C no es un D Todo A es un B Por otro lado, la siguiente frmula no despliega forma lgica: Algn O es un animal El uso de variables facilita el trabajo con formas lgicas y el acceso a niveles de validez ms general. Para acceder a niveles superiores de generalizacin, buscamos relacionar formas lgicas con rasgos semnticos generales, como implicacin, verdad analtica, incompatibilidad. Pinsese en la implicacin que se desprende de las oraciones: Ninguna tortuga es un animal veloz Ningn animal veloz es una tortuga El uso de variables nos lleva a deducir equivalencia entre las frmulas generales: Ningn x es un y y ningn y es un x Es decir, estas frmulas son convertibles sin alterar el valor de verdad de la proposicin que contienen. Comparemos ahora, no oraciones y frmulas aisladas, sino argumentos y esquemas argumentales. A' y B' abajo nos muestran encadenamientos argumentales:

(A) Manuel entra o se queda afuera, no entra Manuel luego, Manuel se queda afuera (B) todo mamfero es un vertebrado, todo cnido es un mamfero, todo cnido es un vertebrado Los esquemas anteriores presentan las siguientes formas lgicas: (A)' p o q, no p, q (B)' todo A es un B Todo C es un A Todo C es un B Advertimos que estas formas argumentales son vlidas: si las dos proposiciones antecedentes, o premisas que estas frmulas contienen son verdaderas, entonces necesariamente ser verdadera la proposicin contenida en su conclusin.

SIMPLIFICACIN DE CIRCUITOS.
Introduccin. Una vez que se obtiene la expresin booleana para un circuito lgico, podemos reducirla a una forma ms simple que contenga menos trminos, la nueva expresin puede utilizarse para implantar un circuito que sea equivalente al original pero que contenga menos compuertas y conexiones. El lgebra de circuitos es un lgebra booleana, por tanto todos los resultados obtenidos anteriormente sern vlidos. En particular los teoremas y reglas relativas a simplificacin de funciones booleanas se aplican en el lgebra de circuitos. Un mtodo general para simplificar un circuito consiste en encontrar primero la funcin booleana que representa el circuito, luego simplificar la funcin y finalmente dibujar el circuito de la funcin simplificada. Surgen algunos problemas o inconvenientes e la simplificacin de circuitos. A veces puede ser difcil o imposible decir, slo por la forma de la funcin booleana, cual de varios circuitos es le ms simple. El mejor circuito puede depender del costo relativo del alumbrado y de los conmutadores requeridos. Si se usan solamente las leyes del lgebra booleana puede suceder que una

posible simplificacin pudiera ser omitida. Tambin es posible que cierto paso sea ms fcil de reconocer si se expresa en trminos de una de las leyes duales en lugar de la otra; por lo anterior se sugiere otro mtodo de simplificacin que puede ser til y es el siguiente: para simplificar una funcin f se toma el dual de f y se simplifica la expresin resultante. Si se toma otra vez el dual, se obtiene de nuevo la funcin f pero en una forma diferente que, generalmente, ser ms simple que la original. Ejemplo1 Simplificar el siguiente circuito:

Solucin. El circuito est representado por la funcin: f = c b + a b' c d + c d' + a c' + a' b c' + b' c' d. Donde: g = cb + ab'cd + cd' y h = ac' + a'bc' +b'c'd' Separamos la funcin f en dos funciones g y h. A continuacin, se toma el dual de g (d(g)) y se efecta la simplificacin, una vez hecha esta, se toma nuevamente el dual para volver a la funcin inicial, pero ya en una forma simplificada. Anlogamente se procede con la funcin h. d(g) = (c + b)(a + b' + c + d)(c + d') = c + (b (a + b'+ d) d') = c + (a b d' + b b' d' + b d d') = c + a b d' = c (a + b + d') Igualmente, d(h) = (a + c')(a' + b + c')(b' + c' + d') = c' + (a (a' + b)(b' + d'))

= c' + a (a' b' + a' d' + b b' + b d') = c' + a a' b + a a' d + a b b' + a b d' = c' + a b d' h = c' (a + b + d') Luego, f = c (a + b + d') + c' (a + b + d') = (c + c')(a + b + d) = a + b + d' Mapas de Karnaugh. Las formas normales disyuntivas y conjuntivas son tiles para varios propsitos, tales como determinar si dos expresiones representan la misma funcin booleana. Para otros propsitos son a menudo engorrosas por tener mas operaciones de las necesarias. Un mtodo para lograr definir una expresin ms simple que otra es el mtodo de los mapas de karnaugh que simplemente son diagramas de Venn con las distintas regiones arregladas en cuadros dentro de un rectngulo. Para funciones de ms de cinco variables, este mtodo se vuelve muy complicado y pierde utilidad. A continuacin se vern las diferentes clases de mapas de Karnaugh. Mapa de una variable,

Mapa de dos variables

Mapa de tres variables

Mapa de cuatro variables

Introduccin de trminos en mapas de Karnaugh. Cada cuadro en un mapa de Karnaugh contiene un "1" s el trmino representado en ese cuadro se encuentra en la forma normal disyuntiva de la funcin. La siguiente frmula proporciona el nmero de "1"s que debe introducirse en los mapas de Karnaugh. 2N-Q donde N es el nmero de variables de la funcin, Q es el nmero de variables del trmino. Ejemplo 2. Dado f(x, y, z, w) = x' y z 'w + x y' z + y z' + x. El primer trmino de f da origen a un solo "1" porque 24-4 es igual a 1. El segundo trmino de f da origen a dos "1" porque 24-3 es igual a 2. El tercer trminos de f da origen a cuatro "1" porque 24-2 es igual a 4. El cuarto trmino de f da origen a ocho "1" porque 24-1 es igual a 8. Ejemplo 3. Lleve a mapas de Karnaugh la siguiente funcin. f(x, y, z) = x' y' z + x y z' + x y' z Solucin

Ejemplo 4. Lleve a mapas de Karnaugh la siguiente funcin. g(x, y, z, w) = x' y z' w + y z' + x' w. Solucin.

Ejemplo 5. Lleve a mapas de Karnaugh la siguiente funcin. h(x, y, z, v) = x y + z'.

Solucin.

Lectura en mapas de Karnaugh y simplificacin de funciones. Una vez introducida la funcin Booleana en un mapa de Karnaugh se procede a su lectura. Se simplificar la funcin agrupando los "1" contenidos en los cuadros adyacentes. Por cuadros adyacentes se entiende dos cuadros que solo difieren en una variable.

Las siguientes dos figuras son ejemplos de cuadros adyacentes. (a)

(b)

Los cuadros de la figura (a) difieren nicamente en la variable x y su funcin correspondiente es f(x, y, z) = x' y z' + xyz. Esta se puede simplificar as: f(x, y, z) = yz'. Los cuadros de la figura (b) difieren nicamente en la variable z y su funcin correspondiente es f(x, y, z) = x y' z' + x y' z. Esta se puede simplificar as: f(x, y, z) = x y'. En las figuras siguientes se observar:

Los cuadros a y b son adyacentes. Los cuadros c y d son adyacentes.

Los cuadros e, f, g y h son adyacentes. Los cuadros i, j, k, l son adyacentes.

En el momento de la lectura, se rodean los "1" de los cuadros adyacentes mediante un bucle o lazo, que indica que estos "1" se agrupan para obtener una expresin simplificada de la funcin. Los lazos deben cubrir el mayor nmero de "1" tomados en potencias de dos. En caso que un "1" no sea adyacente con ningn otro, se tomar solo.

Veamos las siguientes situaciones:

(a)

(b)

(c)

(d)

En la figura (a) f(x, y, z, v) = x' y' v + x z' v' + x' y z v'. En la figura (b) f(x, y, z, v) = y' v' + y v. En la figura (c) f(x, y, z, v) = z' v + y' z v'. En la figura (d) f(x, y, z, v) = y v'. En ocasiones ocurrir lo siguiente:

(a)

(b)

(c)

Algunos "1" estn en ms de un lazo. Conviene hacer esto para que los trminos resulten con el menor nmero de variables que es lo que se pretende. En la figura (a), f = x' z' + y z' v + x' y v'. En la figura (b), g = x' v + y' v + x y v'. En la figura (c), h = yv + x y + y' v'. Ejercicios 4.5 1) De la siguiente tabla deduzca la funcin f, llvela a un mapa de Karnaugh y simplifquela. 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 0 0 1 1 1 1 0 0

2) simplificar f = x' z + x' y + x y' z + yz, usando: - Propiedades del lgebra Booleana. - Mapas de Karnaugh. 3) Del siguiente mapa de Karnaugh, deduzca la funcin simplificada.

4) Igual que el punto 3 deduzca las funciones ms simples.

5) Simplifique las siguientes funciones Booleanos usando teoremas de lgebra de Booleana y mapas de Karnaugh.

x y + (x + y)z + y. x + y + [(x + y + z)]. y z + w x + z + [w z(x y + w z)]. x y z + x y z + x y z + x y z + x y z + x y z.

6) Lleve a mapas de karnaugh.

f = x y z w + y z + x w. g = x y z + x y z + x y z. h = x y + z.

7) De la siguiente tabla de verdad, deduzca f. Llvela a un mapa de Karnaugh y simplifquela. Dibuje el circuito de conmutacin simplificado. 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 0 0 0 1 0 1 1 1

Simplificacin Algebraica El lgebra booleana (Algebra de los circuitos lgicos tiene muchas leyes o teoremas muy tiles tales como: 1. Ley de Morgan: 1. A + B = AB 2. AB = A + B 2. Ley Distributiva: 3. A+(BC) = (A+B)(A+C) 4. A(B+C) = AB+AC Adems de las leyes formales para las funciones AND y OR: 5. A0 = 0; A+0 = A 6. A1 = A; A+1 = 1 7. AA = A; A+A = A 8. AA = 0; A+A = 1 3. Ley de la Involucin: 9. A(negada) = A Considerar la expresin booleana AB + AB + AB = Y, un diagrama lgico de sta expresin aparece en la Figura 1. Observar que deben utilizarse seis puertas para implementar este circuito lgico, que realiza la lgica detallada en la tabla de verdad (Tabla 1)

Figura 1: Circuito lgico no simplificado

ENTRADAS B 0 0 1 1 A 0 1 0 1

SALIDA Y 0 1 1 1

Tabla 1: Tabla de verdad de la funcin OR

Figura 2: Circuito lgico simplificado

Aplicando el lgebra booleana: AB + AB + AB = Y RAZONES = AB + (AB + AB), Propiedad asociativa = AB + B(A+A), 4. [A(B + C) = AB + AC] = AB + B1, 8. [A + A = 1] = AB + B, 6. [B1 = B] = B + AB, Propiedad conmutativa = (B + A)(B + B) , 3. [A + (BC) = (A + B)(A + C)] = (B + A)1 , 8. [A + A = 1] = B + A, 6. [A * 1 = A] Concluimos entonces que una sola puerta OR de dos entradas realiza la misma funcin (De hecho la tabla 1 corresponde a la funcin OR!)