8. Aplicando la ley conmutativa XYY X YX F += ___ 9.

y por el teorema del complemento para la multiplicacin XYY XYY XYY Y F =+=+= 00 10.y por el teorema de Idempotencia aplicado a la variable Y XY F = Por lo cual obtenemos la misma expresin resultante para la suma cannica dela tabla en la figura No. 8Ya tenemos unas herramientas bsicas para generar expresiones lgicas deuna tabla de verdad, pero de dnde se genera la tabla de verdad? Por reglageneral, la tabla de verdad se deduce de una descripcin verbal de unproblema descrito por alguien o por nosotros mismos. Esta descripcin puedeser un listado de combinaciones de varias entradas para las cuales debe estaractivo o desactivo un bit en especial (salida del sistema). 3.2.2 minimizacin de Circuitos Combinacionales Cuando obtenemos una expresin lgica que describe una situacin especial oun comportamiento requerido en un circuito, el paso siguiente sera elimplementarlo en un circuito electrnico, pero en la mayora de los casos, laimplementacin directa de una suma o multiplicacin cannica no es la msfiable econmicamente hablando pues el nmero de mintrminos ymaxtrminos crece exponencialmente con el nmero de variables.Esta es una de las causas por las cules la minimizacin es una de las mejoresherramientas para optimizar el circuito lgico diseado, de tal manera, que laexpresin final sea la de menor nmero y tamao de compuertas electrnicasnecesarias para construirla. Los medios que tenemos para optimizar unaexpresin booleana son: Utilizando Propiedades y Teoremas del lgebra de Boole. Utilizando el mtodo de los mapas de Karnaugh 3.2.3 Teorema de Morgan Normalmente las formas cannicas no son las expresiones ms simplificadas,pero el procedimiento para hacer la simplificacin no tiene un mtodo analtico,hay que basarse en la experiencia y el conocimiento de las propiedades dellgebra de Boole. Un ejemplo de simplificacin de expresiones lgicas fuerealizado en la seccin 3.2.1. A continuacin veremos otro ejemplo: Ejercicio resuelto:Minimizar la siguiente expresin: Z Y X XY Z X F ______ ++= Procedimiento:1). Podemos aplicar la ley asociativa de la suma lgica para los dos ltimostrminos as )( ______ Z Y X XY Z X F ++= 2) Aplicando el procedimiento inverso para la ley distributiva de la multiplicacinlgica con respecto a la suma tendremos )( ______ ZYY X Z XF ++=

3). Para el trmino )( ___ ZYY + aplicamos la ley distributiva segn la EcuacinNo. 4, de tal forma que obtenemos )()( ___ ZYYY ++ , y como para la suma decomplementos se cumple que es igual a 1 tendramos )()()1( ZY ZY +=+ ,as que reemplazando en la expresin: )( ___ ZY X Z XF ++= 4). Aplicando la ley distributiva y conmutativa tendremos: XY XZ Z X XZ XY Z X Z Y X Z X F ++=++=++= _________ )( 5). Agrupando los dos primeros trminos tendremos XY Z X X XY XZ Z X F ++=++= )( ______ 6). De donde por la propiedad de la suma de complementos XY Z XY Z XY Z X X F +=+=++= )1()( ___ XY Z F += De donde podemos observar que de requerir inicialmente una compuerta ORde tres entradas, dos compuertas AND de dos entradas, una compuerta ANDde tres entradas y dos compuertas inversoras; al realizar la minimizacinllegamos a necesitar solamente una OR de dos entradas y una AND de dosentradas. Por lo tanto en la mayora de casos el proceso de minimizacinreduce notablemente la cantidad de componentes electrnicos requeridos en elmontaje de un Circuito Digital (Ver figura No. 10). Queda como tarea para elestudiante el construir las tablas de verdad de las dos expresiones y comprobarque se comportan igual. Figura No. 10 Accin de Minimizacin:Circuito de una expresin lgica original y Minimizada 3.2.4 Mapas de Karnaugh Un mapa de Karnaugh es una representacin grfica de la tabla de verdad deuna expresin lgica. Bsicamente es una tabla de cuadros de i 2 filas por

j 2 columnas, en donde n ji =+ , siendo n el nmero de variables, adems secumple que jin 2*22 = , es decir, la tabla tendr tantos cuadros como posiblescombinaciones de las variables de entrada (Ver figura No. 11). Como el mapade Karnaugh es otra forma de representar la tabla de verdad, debemos asignarun nmero i de variables para designar las filas y un nmero de j variables paradesignar las columnas, se acostumbra colocar las primeras i variables de latabla de verdad a las filas y las j variables restantes a las columnas (ver figuraNo. 12).Figura No. 11 Ejemplo de un mapa de Karnaughpara una expresin de 4 variablesLas expresiones i 2 y j 2 indican el nmero de posibles combinaciones que sepueden realizar con las i y las j variables respectivamente, es por eso que lasfilas y las columnas son el mismo nmero de combinaciones posibles de cadagrupo de variables asignadas a cada lado del mapa de Karnaugh; pero el trucoes no colocar las posibles combinaciones en el mismo orden en que se

Leyes del Morgan Las Leyes de Morgan permiten:1.El cambio del operador de conjuncin en operador dedisyuncin y viceversa.2.Las proposiciones conjuntivas o disyuntivas a las que se aplicanlas leyes de Morgan pueden estar

afirmadas o negadas (en todo oen sus partes).La estrategia general a seguir en la aplicacin de las leyes de Morgan esel siguiente:3.Si nos encontramos con una proposicin conjuntiva

totalmentenegada, la ley de Morgan nos permite transformarla en una proposicin disyuntiva con cada uno de sus miembros negados.SU ESQUEMA ES EL SIGUIENTE: (PQ)(PQ) 4.Si nos encontramos con una proposicin disyuntiva

totalmentenegada, la ley de Morgan nos permite transformarla en una proposicin disyuntiva con cada uno de sus miembros negados.SU ESQUEMA ES EL SIGUIENTE:(PQ)(P Q) 5.Si nos encontramos con una proposicin conjuntiva afirmada, laley de Morgan nos permite transformarla en una proposicin disyuntiva negada en su totalidad y en sus miembros. SU ESQUEMA ES EL SIGUIENTE: (PQ) (PQ)

6.Si nos encontramos con una proposicin disyuntiva afirmada, laley de Morgan nos permite transformarla en una proposicin conjuntiva negada en su totalidad y en sus miembros.

SU ESQUEMA ES EL SIGUIENTE: (PQ) (PQ)