Algebra de Boole

1. Resea Histrica. Se denomina as en honor a George Boole, matemtico ingls que fue el primero en definirla como parte de un sistema lgico a mediados del siglo XIX. Especficamente, el lgebra de Boole fue un intento de utilizar las tcnicas algebraicas para tratar expresiones de la lgica proposicional. En la actualidad el lgebra de Boole se aplica de forma generalizada en diseo electrnico. Se aplic por primera vez en circuitos de conmutacin elctrica biestables por Claude Shannon en 1938. Los operadores del lgebra de Boole pueden representarse de varias formas. A menudo se representan simplemente como AND (Y), OR (O) y NOT (NO). En electrnica digital (vase puerta lgica) tambin se emplean la X-OR (O exclusiva) y su negadas NAND (NO Y), NOR (NO O) y X-NOR (equivalencia) . En matemtica a menudo se utiliza + en lugar de OR y en lugar de AND, debido a que estas operaciones son de alguna manera anlogas a la suma y el producto en otras estructuras algebraicas, y NOT se representa como una lnea o una comilla sobre la expresin que se pretende negar (NO A sera o A').

. (Lincoln, Reino Unido, 1815 - Ballintemple, actual Irlanda, 1864) Matemtico britnico. Proceda de una familia venida a menos y tuvo que desestimar la idea de convertirse en monje al verse obligado a mantener a sus padres. A los diecisis aos enseaba matemticas en un colegio privado y ms tarde fund uno propio. A los veintecuatro aos, tras la publicacin de su primer escrito, pudo ingresar en Cambridge, pero desestim la oferta, de nuevo a causa de sus deberes respecto a su familia. En 1849 le nombraron profesor de matemticas del Queens College, en Cork, donde permaneci el resto de su vida.

El gran descubrimiento de Boole fue aplicar una serie de smbolos a operaciones lgicas y hacer que estos smbolos y operaciones por eleccin cuidadosa tuvieran la misma estructura lgica que el lgebra convencional. En el lgebra de Boole, los smbolos podan manipularse segn reglas fijas que produciran resultados lgicos. En 1854 public Investigacin sobre las leyes del pensamiento, libro que trataba por completo de la lgica simblica y su lgebra. La influencia de esta lgica matemtica sobre las matemticas modernas tendra una evolucin lenta: si en un primer momento no pareca ms que un intrincado juego de palabras, ms adelante se vio que era de lo ms til, y hasta completamente indispensable para conseguir la matemtica lgica. Boole se cas a la edad de cuarenta aos y tuvo cinco hijas, a las que no lleg a ver adolescentes. Todas las variables y constantes del lgebra booleana, admiten slo uno de dos valores en sus entradas y salidas: S/No, 0/1 o Verdadero/Falso. Estos valores bivalentes y opuestos pueden ser representados por nmeros binarios de un dgito (bits), por lo cual el lgebra booleana se puede entender cmo el lgebra del Sistema Binario. Al igual que en lgebra tradicional, tambin se trabaja con letras del alfabeto para denominar variables y formar ecuaciones para obtener el resultado de ciertas operaciones mediante una ecuacin o expresin booleana. Evidentemente los resultados de las correspondientes operaciones tambin sern binarios. 3. Importancia del Algebra de boole. Es muy importante debido a que en el nivel de lgica digital de una computadora, lo que comnmente se llama hardware, y que est formado por los componentes electrnicos de la mquina, se trabaja con diferencias de tensin, las cuales generan funciones que son calculadas por los circuitos que forman el nivel. stas funciones, en la etapa de disea del hardware, son interpretadas como funciones de boole.

Se realizan estas presentaciones con el fin de demostrar la afinidad existente entre el lgebra de boole y la lgica proposicional, y con el objeto de cimentar el procedimiento de simplificacin presentado en la lgica de proposiciones. Todas las operaciones (representadas por smbolos determinados) pueden ser materializadas mediante elementos fsicos de diferentes tipos (mecnicos, elctricos, neumticos o electrnicos) que admiten entradas binarias o lgicas y que devuelven una respuesta (salida) tambin binaria o lgica. Ejemplos de dichos estados son: Abierto/Cerrado etctera. 4. Definicin de Algebra 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. Sea B un conjunto con al menos dos elementos. Se denomina lgebra de Boole a una estructura algebraica que admite dos operaciones binarias (interruptor), Encendida/Apagada (bombilla), Cargado/Descargado (condensador) , Nivel Lgico 0/Nivel lgico 1 (salida lgica de un circuito semiconductor),

en B, y una operacin

unitaria: la complementacin, que verifica los siguientes axiomas:

ab = ba

a b = b a ley conmutativa

( a b) c = a (b c)
a ( b c) = ( a b) ( a c)

( a b ) c = a ( b c ) ley asociativa
a ( b c ) = ( a b ) ( a c ) ley distributiva

a B , a 1 = a

a 0 = a Existen neutros en B, respecto de

que se denotan con 1 y 0, respectivamente. Todo a B admite un complemento, tal que

a a = 0

a a =1

4.1. Elementos del lgebra de boole. Los smbolos elementales son: 0: este smbolo representa el FALSO 1: este smbolo representa el VERDADERO Las operaciones fundamentales son: Conjuncin u operacin AND (se representa con ) Disyuncin u operacin OR (se representa con + ) Complementacin, Negacin u operacin NOT ( se representa con una barra sobre la variable, ) Las variables son las proposiciones, que se representan o simbolizan por letras 4.2. El principio de dualidad.

Se denomina proposicin dual correspondiente a una proposicin del lgebra de Boole, a la que resulta de ella cambiando

por

y viceversa, as como 0 por 1 y viceversa. Los

postulados y teoremas estn representados en pares. La razn es que cada teorema posee lo que llamamos un dual. El dual de una expresin se obtiene intercambiando las ocurrencias de OR por AND, 0 por 1 y viceversa.. Si un teorema es valido, tambin lo ser su dual, En efecto siguiendo el dual de la demostracin del teorema, se obtiene la demostracin del dual del teorema. Por ejemplo dado el postulado 0+0 = 0 se obtiene el dual haciendo 1*1 = 1 Por ejemplo, son duales las siguientes proposiciones.
a ( b a) a ( b a) a ( b 0 ) a ( b 1)

( 0 1) a (1 0) a

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 con los de interseccin, y de los 1 con los 0. Adicin 1 2 3 4 5 6 7 8 9 A + A' = 1 A+0=A A+1=1 A+A=A A+B=B+A A + (B + C) = (A + B) + C A + B C = (A + B) (A + C) A+AB=A (A + B)' = A' B' Producto A A' = 0 A1=A A0=0 AA=A AB=BA A (B C) = (A B) C A (B + C) = A B + A C A (A + B) = A (A B)' = A' + B'

4.3.

Propiedades del algebra de boole.

Para cualquier lgebra booleana

( B, , )

, si a, b B , entonces

a a = a
a ( a b) = a
a b = a b
a =a

a a = a
a ( a b) = a
a b = a b 1 =0 0 =1

a 1 = 1

a 0 = 0

Ahora se definir una importante lgebra de Boole que ser la base en las siguientes secciones. Sea B={0,1}, y sean

= + y = las operaciones binarias suma y producto

lgico, respectivamente, definidas como sigue:

+ 0 1

0 0 1

1 1 1

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}

y las variables pueden tomar los

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 practico existe una forma simplificada de representar expresiones booleanas. Se emplean apstrofes () 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 minsculas 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.

5. Funciones Booleanas.

Sea B={0,1} y sea

f : Bn B

B n como se defini anteriormente. Una funcin definida como

es una funcin booleana o de conmutacin. Ests funciones pueden verse como

funciones de n variables, donde cada uno de ellas toma slo valores 0 y 1 estas variables se denominan variables booleanas. Representacin de funciones booleanas. Existen infinitas maneras de representar una funcin booleana. As por ejemplo la funcin G = X + Y Z puede tambin representarse como G = X + X + YZ. Otras veces se suele utilizar la forma negada o el complemento de la funcin. Para esto es se niegan los literales y se intercambian los AND y OR.

El complemento de una funcin no es la misma funcin, es la forma negada de la funcin. En el lgebra de Boole es fundamental la existencia de una forma algebraica que proporcione explcitamente el valor de una funcin para todas las combinaciones de los valores de las variables. Es esta la forma cannica de la funcin. Propiedades de las funciones booleanas. Sea f , g , h : B n B funciones booleanas arbitrarias y sean x, y, z las variables booleanas arbitrarias. Las propiedades que satisfacen estas funciones y las variables booleanas son: 1. Leyes De Idempotencia
f +f =f

f f = f

x x = x

x+ x = x

2. Propiedad Conmutativas
f +g = g + f

x+ y = y+x

f g = g f

x y = y x

3. Propiedad Asociativas
f + ( g + h) = ( f + g ) + h f ( g h) = ( f g ) h x + ( y + z) = ( x + y) + z x ( y z) = ( x y) z

4. Propiedades Distributivas.
f + ( g h) = ( f + g ) ( f + h) f ( g + h) = ( f g ) + ( f h) x + ( y z) = ( x + y) ( x + z) x ( y + z) = ( x y) + ( x z)

5. Ley De Absorcin.
f + f g = f

x+ x y = x
x ( x + y) = x

f ( f + g) = f
f +1 =1

x +1 = 1

f 0 = 0

x0 = 0

6. De complemento
f =f x =x

f + f =1
f f =0

x +x =1
x x =0

7. Ley De De Morgan
f +g = f g
f g = f +g

x +y =x y
x y =x +y

8. De Identidad.

f +0 = f
f 1 = f

x +0 = x
x 1 = x

Forma normal disyuntiva. Una representacin de f como una suma de productos es una forma normal disyuntiva (f.n.d.) de f . Por ejemplo,
f ( x, y , z ) = x y z +x y z +xy z

La funcin, f est en la f.n.d porque cada una de las variables x, y, z, aparece (a veces complementada, a veces no) en cada uno de los productos (o trminos). Cada producto se denomina minitrmino. Minitrmino Para una funcin booleana de n variables x1,...xn, un producto booleano en el que cada una de las n variables aparece una sola vez (negada o sin negar) es llamado minitrmino. Es decir, un minitrmino es una expresin lgica de n variables consistente nicamente en el operador conjuncin lgica (AND) y el operador complemento o negacin (NOT). Por ejemplo, abc, ab'c y abc' son ejemplos de minitrminos para una funcin booleana con las tres variables a, b y c.

Forma normal conjuntiva. Una representacin de f como una suma de productos es una forma normal disyuntiva (f.n.c.) de f . Por ejemplo,
f ( x, y , z ) = x + y + z x + y + z x + y + z

)(

)(

La funcin, f est en la f.n.c porque cada una de las variables x, y, z, aparece (a veces complementada, a veces no) en cada uno de los productos (o trminos). Cada producto se denomina maxitrmino. Maxitermino Un maxitrmino es una expresin lgica de n simbolos que consiste nicamente en la disyuncin lgica y el operador complemento o negacin. Los cuales estn unidos por los operadores del algebra de boole (+ . ) Por ejemplo, los siguientes trminos cannicos son maxitrminos: 1. a + b' + c 2. a' + b + c

En resumen, cada mintermino se asocia con la combinacin de entrada para la que la funcin producira un 1, y cada maxtrmino con la combinacin para la que producira un 0. En la tabla de la derecha se muestran los minterminos y los maxterminos asociados con cada combinacin en una tabla de verdad de 3 variables. De acuerdo con esta tabla para determinar el termino producto o suma se hace lo siguiente: para los minterminos cada variable no complementada se asocia con un 1 y cada variable complementada se asocia con 0. Para los maxtrminos la regla es la inversa.

6. Compuertas lgicas.

Los dispositivos con los cuales se implementan las funciones lgicas son llamados puertas (o compuertas) y, habitualmente, son dispositivos electrnicos basados en transistores. Estos dispositivos, y otros que veremos a lo largo de esta unidad, son los que permiten el diseo, y la ulterior implementacin, de los circuitos de cualquier ordenador moderno, as como de muchos de los elementos fsicos que permiten la existencia de las telecomunicaciones modernas, el control de mquinas, etctera. De hecho, pensando en los ordenadores como una jerarqua de niveles, la base o nivel inferior sera ocupada por la lgica digital (en el nivel ms alto del ordenador encontraramos los actuales lenguajes de programacin de alto nivel).

Las computadoras digitales utilizan el sistema de nmeros binarios, que tiene dos dgitos 0 y 1. Un dgito binario se denomina un bit. La informacin est representada en las computadoras digitales en grupos de bits. Utilizando diversas tcnicas de codificacin los grupos de bits pueden hacerse que representen no solamente nmeros binarios sino tambin otros smbolos discretos cualesquiera, tales como dgitos decimales o letras de alfabeto. Utilizando arreglos binarios y diversas tcnicas de codificacin, los dgitos binarios o grupos de bits pueden utilizarse para desarrollar conjuntos completos de instrucciones para realizar diversos tipos de clculos. La informacin binaria se representa en un sistema digital por cantidades fsicas denominadas seales, Las seales elctricas tales como voltajes existen a travs del sistema digital en cualquiera de dos valores reconocibles y representan una variable binaria igual a 1 o 0. Por ejemplo, un sistema digital particular puede emplear una seal de 3 volts para representar el binario "1" y 0.5 volts para el binario "0".

Las compuertas son bloques del hardware que producen seales en binario 1 0 cuando se satisfacen los requisitos de entrada lgica. Las diversas compuertas lgicas se encuentran comnmente en sistemas de computadoras digitales. Cada compuerta tiene un smbolo grfico diferente y su operacin puede describirse por medio de una funcin algebraica. Las relaciones entrada - salida de las variables binarias para cada compuerta pueden representarse en forma tabular en una tabla de verdad. Una manera generalizada de representar las funciones lgicas es el uso de smbolos o bloques lgicos denominados puertas o compuertas lgicas. La importancia de las funciones booleanas, o de conmutacin, radica en su implementacin por medio de puertas lgicas (dispositivos electrnicos).

Estas puertas en general representan bloques funcionales que reciben un conjunto de entradas (variables independientes) y producen una salida (variable dependiente) como se muestra en la figura siguiente.

6.1. Importancia de las compuertas lgicas. Una de las ventaja de usar stos smbolos es que por ser una representacin entrada / salida permiten la interconexin de puertas (la salida de una con la entrada de otra) para representar funciones ms complejas a partir de funciones sencillas. Otra ventaja es el hecho de que los bloques sencillos (puertas con pocas entradas) se encuentran disponibles en circuitos integrados comerciales, de aqu que un diagrama de puertas lgicas corresponde directamente a un diagrama de alambrado de circuito lgico. A continuacin se presentan los smbolos para las funciones lgicas ms sencillas, especialmente para las presentadas en la seccin anterior.

1. COMPUERTA AND Cada compuerta tiene dos variables de entrada designadas por A y B y una salida binaria designada por x. La compuerta AND produce la multiplicacin lgica AND: esto es: la salida es 1 si la entrada A y la entrada B estn ambas en el binario 1: de otra manera, la salida es 0. Estas condiciones tambin son especificadas en la tabla de verdad para la compuerta AND. La tabla muestra que la salida x es 1 solamente cuando ambas entradas A y B estn en 1. El smbolo de operacin algebraico de la funcin AND es el mismo que el smbolo de la multiplicacin de la aritmtica ordinaria (*). Las compuertas AND pueden tener ms de dos entradas y por definicin, la salida es 1 si todas las entradas son 1. La salida de una compuerta AND es 1 solamente si todas sus entradas son simultneamente 1, de lo contrario es 0. COMPUERTA AND Funcin AND

2. COMPUERTA OR La compuerta OR produce la funcin sumadora, esto es, la salida es 1 si la entrada A o la entrada B o ambas entradas son 1; de otra manera, la salida es 0. El smbolo algebraico de la funcin OR (+), es igual a la operacin de aritmtica de suma. Las compuertas OR pueden tener ms de dos entradas y por definicin la salida es 1 si cualquier entrada es 1. La salida de una compuerta OR es 1 solamente si todas sus entradas son simultneamente 0, de lo contrario es 1. COMPUERTA OR Funcin OR

3. INVERSOR O COMPUERTA NOT El circuito NOT es un inversor que invierte el nivel lgico de una seal binaria. Produce el NOT, o funcin complementaria. El smbolo algebraico utilizado para el complemento es una barra sobra el smbolo de la variable binaria. Si la variable binaria posee un valor 0, la compuerta NOT cambia su estado al valor 1 y viceversa. Un inversor es una puerta de solamente una entrada y su salida es el complemento lgico de la entrada. Es decir, cuando a la entrada de una puerta NOT hay un 1 su salida ser 0, y de lo contrario cuando su entrada es 0, su salida ser 1.

COMPUERTA NOT

Funcin NOT

4. COMPUERTA NAND Es el complemento de la funcin AND, como se indica por el smbolo grfico, que consiste en una compuerta AND seguida por un pequeo crculo (quiere decir que invierte la seal). La designacin NAND se deriva de la abreviacin NOT - AND. Una designacin ms

adecuada habra sido AND invertido puesto que es la funcin AND la que se ha invertido. Las compuertas NAND pueden tener ms de dos entradas, y la salida es siempre el complemento de la funcin AND. Esta es una funcin lgica compuesta. Se puede visualizar como una compuerta AND seguida por una compuerta NOT y su salida es 0 slo cuando todas sus entradas son simultneamente 1. COMPUERTA NAND Funcin NAND

5. COMPUERTA NOR La compuerta NOR es el complemento de la compuerta OR y utiliza el smbolo de la compuerta OR seguido de un crculo pequeo (quiere decir que invierte la seal). Las compuertas NOR pueden tener ms de dos entradas, y la salida es siempre el complemento de la funcin OR. Esta Compuerta es una combinacin de las funciones de un operador OR seguido por un INVERSOR. La salida de una puerta NOR slo ser 1 cuando ambas entradas valgan 0. COMPUERTA NOR Funcin NOR

6. COMPUERTA EXOR (OR EXCLUSIVO) La operacin EXOR se denota por el smbolo , es decir, A EXOR B = A B. Adems, como se vio antes, A B = AB+AB. La salida de una puerta EXOR ser 1 si sus entradas son diferentes y ser 0 si son iguales.

COMPUERTA EXOR

Funcin EXOR

7. PUERTA NO-EXOR O EQUIVALENCIA (EQU) La operacin EQU se denota por el smbolo , es decir, A EQU B = A B. Adems, como se vi antes, A B = A /B = AB + AB. La salida de una puerta EQU ser 1 si sus entradas son iguales y ser 0 si son diferentes.

COMPUERTA NO-EXOR

Funcin NO-EXOR

EQUIVALENCIA ENTRE PUERTAS LOGICAS. Usando lgebra de Boole es posible obtener una gran variedad de equivalencias entre smbolos de puertas lgicas y diagramas de alambrado de circuitos lgicos. acontinuacin se muestran slo algunas equivalencias sencillas:

En forma similar, dado un circuito lgico, empleando lgebra de Boole es posible obtener la expresin lgica de la funcin que realiza, simplemente escribiendo a la salida de c ada puerta lgica la expresin correspondiente en trminos de las entradas. 6.3. RESUMEN DE TODAS LAS COMPUERTAS LOGICAS.

7. Mapas de Karnaugh 7.1. Concepto Un mapa de Karnaugh (tambin conocido como tabla de Karnaugh o diagrama de Veitch, abreviado como K-Mapa o KV-Mapa) es un diagrama utilizado para la

simplificacin de funciones algebraicas booleanas. El mapa de Karnaugh fue inventado en 1950 por Maurice Karnaugh, un fsico y matemtico de los laboratorios Bell. Los mapas de Karnaugh aprovechan la capacidad del cerebro humano de trabajar mejor con patrones que con ecuaciones y otras formas de expresin analtica. Externamente, un mapa de Karnaugh consiste de una serie de cuadrados, cada uno de los cuales representa una lnea de la tabla de verdad. Puesto que la tabla de verdad de una funcin de N variables posee 2N filas, el mapa K correspondiente debe poseer tambin 2N cuadrados. Cada cuadrado alberga un 0 un 1, dependiendo del valor que toma la funcin en cada fila. Las tablas de Karnaugh se pueden utilizar para funciones de hasta 6 variables. 7.2. Grfico de Karnaugh. Este mtodo consiste en formar diagramas de 2n cuadros, siendo n el nmero de variables. Cada cuadro representa una de las diferentes combinaciones posibles y se disponen de tal forma que se puede pasar de un cuadro a otro en las direcciones horizontal o vertical, cambiando nicamente una variable, ya sea en forma negada o directa. Este mtodo se emplea fundamentalmente para simplificar funciones de hasta cuatro variables. Para un nmero superior utilizan otros mtodos como el numrico. A continuacin pueden observarse los diagramas, tambin llamados mapas de Karnaugh, para dos, tres y cuatro variables.

Es una prctica comn numerar cada celda con el nmero decimal correspondiente al trmino cannico que albergue, para facilitar el trabajo a la hora de plasmar una funcin cannica. Para simplificar una funcin lgica por el mtodo de Karnaugh se seguirn los siguientes pasos:

 Se dibuja el diagrama correspondiente al nmero de variables de la funcin a simplificar. Se coloca un 1 en los cuadros correspondientes a los trminos cannicos que forman parte de la funcin. Se agrupan mediante lazos los unos de casillas adyacentes siguiendo estrictamente las siguientes reglas: Dos casillas son adyacentes cuando se diferencian nicamente en el estado de una sola variable. Cada lazo debe contener el mayor nmero de unos posible, siempre que dicho nmero sea potencia de dos (1, 2, 4, etc.) Los lazos pueden quedar superpuestos y no importa que haya cuadrculas que pertenezcan a dos o ms lazos diferentes. Se debe tratar de conseguir el menor nmero de lazos con el mayor nmero de unos posible. La funcin simplificada tendr tantos trminos como lazos posea el diagrama. Cada trmino se obtiene eliminando la o las variables que cambien de estado en el mismo lazo. 7.3. SIMPLIFICACIN DE FUNCIONES LGICAS POR EL MTODO GRFICO DE KARNAUGH. Suponiendo que conozcamos la tabla de la verdad de un circuito combinacional, a partir de la cual deseamos disear dicho circuito, lo ms corriente es tener que buscar una expresin simplificada de la funcin o funciones a implementar. En este artculo tratar de explicar cmo ello es posible de una forma sencilla gracias al empleo de un mtodo de simplificacin grfico muy extendido (extendido precisamente por esto, por su facilidad de uso). Para ello me ayudar de una tabla ejemplo mediante la cual ir explicando todo lo referente a este tipo de simplificacin de funciones lgicas. Pero antes, un poco de teora necesaria:

MAPAS DE KARNAUGH PARA DOS, TRES, CUATRO Y CINCO VARIABLES: El aspecto de los mapas de Karnaugh es el de la siguiente figura:

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)

(c)

(b)

(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'. Bibliografa: 1. Algebra Moderna. Autor: Sebastin Lazo 2. Apuntes de la materia. (Ingeniera Maria Teresa Torrez) 3. Sitio web http://www.boole.org/contenidos/es/comparativa_de mapas de karnaugh/ EJERCICIO:

1. Sea f : B 4 B tal que

f ( x, y , z , u ) = ( x + y + z ) x + y +u y + z

)(

APLICANDO LAS LEYES DEL ALGEBRA DE BOOLE.

[ ]( ( )( y + z ) = ( x +0 + y z + xu + yu + zu )( y + z ) = ( x + xu + y z + yu + zu )( y + z ) = ( x + yz + yu + zu )( y + z )
= x + x y + y y + y z + xu + yu + zu = x y + yz + y yu + yzu + xz + y z + yzu + zu = x y + yz + y zu + y zu + xz + yzu + zu = x y + xz + yz (1 +u ) + zu ( y +1) = x y + xz + yz + zu

= ( x + y + z ) x +( x + y + z ) y +( x + y + z )u y + z

= x y + xz + y z + zu

CONDUCIENDO A LA F.N.D. = MIN TERMINOS CON LAS TABLAS DE VERDAD. Equiv. Dec 0 1 2 3 4 5 x 0 0 0 0 0 0 y 0 0 0 0 1 1 z 0 0 1 1 0 0 u 0 1 0 1 0 1
( x + y + z)
( x + y +u ) ( y +z )

F 0 0 1 1 0 0

0 0 1 1 1 1

1 1 1 1 0 1

1 1 1 1 0 0

x yzu x yz u

6 7 8 9 10 11 12 13 14 15

0 0 1 1 1 1 1 1 1 1

1 1 0 0 0 0 1 1 1 1

1 1 0 0 1 1 0 0 1 1

0 1 0 1 0 1 0 1 0 1

1 1 1 1 1 1 1 1 1 1

0 1 1 1 1 1 1 1 1 1

1 1 1 1 1 1 0 0 1 1

0 1 1 1 1 1 0 0 1 1

x yu z x y zu x y zu x yzu x yz u

xyzu

xz u y

f = m ( 2,3,7,8,9,10 ,11,14 ,15 )

u + x y z u + x y zu + x y z u + x y z + xyzu xz u + y Simplificando se llega al siguiente resultado que es similar al del primer mtodo.

f ( x, y.z , u ) = x y z u + x y z + x y u u z

= x y + xz + y z + zu

VERIFICANDO LOS RESULTADOS CON LOS MAPAS DE KARNAUGH. zu xy 8,9,10,11 x y 3,7,11,15 zu 2,3,10,11 y z 10,11,14,15 xz 4 12 1 8
f ( x, y , z , u ) = x y +zu + y z +x z

1 5 13 1 9

1 3 1

1 2 6

7 1 15 1 11

1 1 4 1 10

 DISEANDO UNA RED DE PUERTAS. x y z PARA EL EJERCICIO PLANTEADO.

f u

x y

PARA LA FORMA SIMPLICADA.

f ( x, y , z , u ) = x y +zu + yz +x z

z u f