DEPARTAMENTO DE ELECTRONICA

Diagramas de Veitch y Karnaugh

Estos diagramas permiten simplificar en forma sistemtica las funciones Booleanas sin aplicar las propiedades propias del lgebra de Boole. Para entender como aplicar estos diagramas supondremos que se dispondr de un conjunto universal de botones con distintas caractersticas. Si llamamos A al grupo de botones Antiguos B al grupo de botones Bordados C al grupo de botones Cuadrados D al grupo de botones Dorados Supngase que el conjunto universal de botones con que se trabajar, estar representado por un cuadrado y hay que tener en cuenta que una lnea sobre una variable indica la negacin de la misma o sea el complemento de ella. Inicialmente trabajaremos con los botones Antiguos y los Bordados: El diagrama de Veitch quedara de la siguiente manera:

En este caso

Grupo de botones Antiguos Grupo de botones no Antiguos Grupo de botones Bordados Grupo de botones no Bordados

Este elemento corresponde a botones no antiguos y no bordados A B Este elemento corresponde a botones no antiguos y bordados Este elemento corresponde a botones antiguos y no bordados Este elemento corresponde a botones antiguos y bordados A B A B A B

Si se agrupa por ejemplo el conjunto de botones conjunto de los botones

con el conjunto

se formar el

Esta agrupacin de elementos se podr simbolizar analticamente como:

_______________________________________________________________________________________________________________________ Veitch - Karnaught CON IMAG GIF Electrnica Digital I hoja 1 de 8

DEPARTAMENTO DE ELECTRONICA O sea que en vez de aplicar las leyes del lgebra de Boole se puede resolver una simplificacin de funciones utilizando la agrupacin de conjuntos. Para simplificar una expresin por este mtodo se deber tener en cuenta algunas consideraciones. Para entender un poco mejor este proceso, se agregar al conjunto universal anterior un tipo de botn ms o sea en ste caso se agrega el grupo de botones Cuadrados. Ahora no se sombrearn los grupos para no crear confusin La ubicacin de las variables obedece a que las mismas forman un grupo compacto tanto sea para esa variable como para lo que no corresponde a ella o sea para la variable y para su complemento.

Para entender mejor esto, se supondr que el conjunto universal ser un rectangulo que puede considerarse como un cilindro desplegado que estara dividido en los siguientes sectores: El sector inferior para el conjunto A y el superior para su complemento, el sector de atrs para el conjunto B y el de adelante para su complemento y el sector de la derecha para el conjunto C y el de la izquierda para su complemento. Como ejemplo se analizar la siguiente expresin: S=ABC+ABC+ABC+ABC+ABC Esta correspondera a un conjunto con los siguientes elementos: a b c d e Botones no antiguos, no bordados y cuadrados. Botones no antiguos, bordados y cuadrados. Botones no antiguos, bordados y no cuadrados. Botones antiguos, no bordados y cuadrados. Botones antiguos, bordados y cuadrados.

Se colocar un 1 indicando que este elemento pertenece al conjunto y un 0 si el mismo no pertenece. Si ahora se agrupan los elementos que pertenecen a un mismo conjunto se encontrar que en este caso el conjunto estar formado por los elementos a, b, d y e formando el conjunto de botones Cuadrados ( C ), pero quedara sin considerar el elemento c, y para tenerlo en cuenta se podra considerarlo junto con el elemento b como pertenecientes al subconjunto formado por los botones No Antiguos y Bordados; ambos grupos formados estn indicados por lneas de trazos en el diagrama.
_______________________________________________________________________________________________________________________ Veitch - Karnaught CON IMAG GIF Electrnica Digital I hoja 2 de 8

DEPARTAMENTO DE ELECTRONICA Si ahora se escribe la expresin anterior por los grupos obtenidos mediante el mtodo citado se obtendr:

Para obtener el mismo resultado aplicando el mtodo tradicional de simplificacin de funciones mediante el lgebra de Boole, se podran realizar las siguientes operaciones: Partiendo de la expresin original.

Sacando factor comn la variable C, la expresin queda:

Si ahora dentro del parntesis se saca por ejemplo factor comn por grupos la variable A y su complemento y teniendo presente que la suma de una variable con su complemento da como resultado 1, la expresin queda ahora:

Teniendo en cuenta ahora que el producto de una variable con 1 da, como resultado la misma variable, la expresin queda:

Aplicando la propiedad distributiva de la suma con respecto al producto, podra escribirse la expresin de la siguiente manera:

Finalmente la expresin queda igual que la que se obtuvo mediante el diagrama de Veitch explicado mas arriba.

Como puede observarse, el proceso de simplificacin por el mtodo del lgebra de Boole es largo y a veces engorroso, por lo que el mtodo propuesto resulta mas operativo.

_______________________________________________________________________________________________________________________ Veitch - Karnaught CON IMAG GIF Electrnica Digital I hoja 3 de 8

DEPARTAMENTO DE ELECTRONICA Las primeras consideraciones que se debe tener en cuenta para la formacin de los grupos de elementos del diagrama de Veitch son las siguientes: C1 Los grupos deben estar formados por elementos que deben ser vecinos entre s o sea que entre un elemento y el otro slo cambie una variable, por lo que no se pueden elegir elementos vecinos que estn en diagonal. C2 Se puede observar que los elementos de los extremos del diagrama de Veitch, difieren en una sola variable, por lo que son considerados vecinos y pueden ser agrupados entre s. n C3 Estos grupos deben poseer 2 elementos, ( grupos de 1, 2, 4, 8, 16, .... elementos). C4 El valor n indica la cantidad de variables que se simplifican en dicha agrupacin. C5 La(s) variable(s) que se simplifican son las que para el grupo elegido no poseen las mismas caractersticas o sea son las que cambian de valor dentro del grupo. C6 Un elemento puede formar parte de ms de un grupo. Si al diagrama de Veitch anterior se le agrega el valor numrico que adopta cada variable es lo que se da en llamar el diagrama de Karnaugh. El diagrama quedara: Se puede observar que en el caso de tener 2 variables su numeracin sigue una secuencia de tipo Gray donde se evidencia que un elemento y su vecino solo difieren en el valor de una variable, incluido los extremos. Si lo que se quiere hallar es la expresin simplificada de una funcin de la que conoce su tabla de verdad, la aplicacin de este mtodo es muy conveniente. Sea por ejemplo la funcin dada segn la siguiente tabla:

La expresin original ser:

La expresin simplificada quedar:

Es importante destacar que si en la expresin original existe algn trmino en el que falte alguna variable, al volcar la misma al diagrama, este trmino tendr ms de un elemento debido a que la variable faltante debe considerarse con sus dos estados posibles. Por ejemplo si el trmino fuese A C Se debera escribir en el diagrama los elementos adopta sus 2 estados posibles. ABC y ABC en donde B

_______________________________________________________________________________________________________________________ Veitch - Karnaught CON IMAG GIF Electrnica Digital I hoja 4 de 8

DEPARTAMENTO DE ELECTRONICA Para resolver una funcin con cuatro variables como la expresada en la tabla siguiente, se reordenarn las mismas en el diagrama para tener 2 variables por lado y el diagrama quedar:

La expresin original ser:

Se puede observar en el diagrama que con los 3 grupos indicados con lnea de trazos se cubren todos los estados de la expresin, los mismos se pueden expresar de la siguiente manera:

El primer grupo [ D ] , est formado por 8 elementos, y como se indicara antes (condicin C3 ) 3 8 = 2 de donde se puede inferir que se eliminaran 3 variables y estas son A , B y C pues estas adoptan sus 2 valores, en cambio D para todo el grupo adopta el valor 0.
2 El segundo grupo [ A C ] , est formado por 4 elementos, y como 4 = 2 lo que indica que se eliminaran 2 variables y estas son B y D pues estas adoptan sus 2 valores, en cambio para todo el grupo, A adopta el valor 1 y C el valor 0

El tercer grupo [ A B C ] , est formado por 2 elementos, y como 2 = 2 solo se eliminar 1 variable, D pues adopta sus 2 valores, en cambio para todo el grupo, A adopta el valor 0 en cambio B y C adoptan el valor 1 Por lo que la expresin final ser:
_______________________________________________________________________________________________________________________ Veitch - Karnaught CON IMAG GIF Electrnica Digital I hoja 5 de 8

DEPARTAMENTO DE ELECTRONICA

Una particularidad que suelen presentar estos diagramas Obsrvense ahora distintas expresiones ya volcadas en los siguientes diagramas con sus soluciones:

Obsrvese que en los cuatro diagramas inferiores se han omitido las letras de las variables (Veitch) y slo se dejaron sus referencias y los valores numricos correspondientes (Karnaugh) porque por lo general, por comodidad, se suele adoptar un solo tipo de notacin al plantear estos diagramas, quedando a criterio del usuario que notacin utilizar. En adelante se adoptar esta notacin. De los diagramas anteriores se puede inferir lo siguiente: Todos los diagramas representan a una expresin cuya solucin tiene una estructura diagonal o lo que comnmente se denomina tablero de damas o tablero de ajedrez. Cuando se cumple la condicin anteriormente mencionada, la solucin de la expresin es del tipo de una OR exclusiva. Las variables que componen la OR exclusiva se pueden determinar observando cualquiera de los grupos que componen la solucin pues todos estos estn formados por las mismas variables no importando si estas estn negadas dentro del grupo. Si el elemento A B C ( ABC = 000 ) pertenece a la expresin, o sea su valor en el diagrama es 1; el resultado ser una NOR exclusiva con las mismas variables anteriores.

_______________________________________________________________________________________________________________________ Veitch - Karnaught CON IMAG GIF Electrnica Digital I hoja 6 de 8

DEPARTAMENTO DE ELECTRONICA Este mismo anlisis puede extenderse a diagramas con ms de 3 variables y en ellos las condiciones anteriormente mencionadas se siguen teniendo validez. Como ejemplo se muestran algunos diagramas con 4 variables y sus soluciones

En algunos casos suele ser ms conveniente simplificar un expresin por medio de los ceros de la misma, el procedimiento a seguir es similar al anterior pero se debera tener presente algunas consideraciones: El resultado de la simplificacin ser el complemento de la funcin de salida de la misma. Para obtener la funcin de salida de la expresin se deber aplicar el postulado de De Morgan.

El desarrollo de este mtodo se muestra en el siguiente ejemplo: Supngase que una expresin determinada est representada por el siguiente diagrama de Karnaugh y teniendo en cuenta las consideraciones anteriores para su simplificacin se obtendr la expresin mostrada al pi del diagrama. Se muestra adems la simplificacin de la expresin por el mtodo tradicional anteriormente visto.
_______________________________________________________________________________________________________________________ Veitch - Karnaught CON IMAG GIF Electrnica Digital I hoja 7 de 8

DEPARTAMENTO DE ELECTRONICA

Al aplicar los postulados de De Morgan se obtiene la siguiente expresin.

Si se aplica ahora la propiedad distributiva del lgebra de Boole se obtiene:

Al sacar factor comn y teniendo en cuenta que X X = X, la expresin queda:

Por ltimo sabiendo que 1 + X =1 se obtiene la misma expresin que se obtuvo al simplificar aplicando el mtodo con los unos.

_______________________________________________________________________________________________________________________ Veitch - Karnaught CON IMAG GIF Electrnica Digital I hoja 8 de 8