Vous êtes sur la page 1sur 76

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Algebra de Boole
Prof. Rodrigo Araya E. raraya@inf.utfsm.cl
Universidad T ecnica Federico Santa Mar a Departamento de Inform atica

Valpara so, 1er Semestre 2006

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Introducci on

En 1815 George Boole propuso una herramienta matem atica llamada Algebra de Boole. Luego en 1938 Claude Shannon propuso que con esta algebra es posible modelar los llamados Sistemas Digitales.

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Algebra de Boole

El Algebra atico que utiliza de Boole es un sistema matem variables y operadores l ogicos. Las variables pueden valer 0 o 1. Y las operaciones b asicas son OR(+) y AND(). Luego se denen las expresiones de conmutaci on como un n umero nito de variables y constantes, relacionadas mediante los operadores (AND y OR). En la ausencia de par entesis, se utilizan las mismas reglas de precedencia, que tienen los operadores suma (OR) y multiplicaci on (AND) en el algebra normal.

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Algebra de Boole

Leyes En el algebra de Boole se cumplen las siguientes Leyes: 1) Conmutatividad: X +Y =Y +X X Y =Y X

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Algebra de Boole
Leyes 2) Asociatividad: X + (Y + Z ) = (X + Y ) + Z X (Y Z ) = (X Y ) Z 3) Distributividad: X + (Y Z ) = (X + Y ) (X + Z ) X (Y + Z ) = (X Y ) + (X Z )

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Algebra de Boole
Identidades 4) Elementos Neutros (Identidad): X +0=X X 1=X 5) Complemento: X +X =1 X X =0

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Algebra de Boole
Leyes 6) Dominaci on: X +1=1 Demostraci on: X + 1 = (X + 1) 1 = (X + 1) (X + X ) (X + 1) (X + X ) = X + (1 X ) = 1 7) Idempotencia: X +X =X X X =X
RAE Algebra de Boole

X 0=0

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Algebra de Boole
Leyes 8) Doble complemento: X =X . 9) Absorci on: X +X Y =X X (Y + X ) = X Demostraci on: X + X Y = (X 1) + (X Y ) = X (1 + Y ) = X
RAE Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Algebra de Boole

Leyes 10) DeMorgan: AB =A+B A+B =AB

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Algebra de Boole
Teoremas Luego se establecen los siguientes Teoremas: Teorema de la Simplicaci on A+AB =A+B A (A + B ) = A B Demostraci on: AA=0 AA+B =B (A + B ) (A + B ) = B A (A + B ) (A + B ) = A B A (A + B ) = A B
RAE Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Algebra de Boole
Teoremas Teorema del complemento u nico Suponemos 2 complementos para A (A1 y A2 ) A + A1 = 1 A + A2 = 1 A A1 = 0 A A2 = 0 Luego, A1 = A1 1 = A1 (A + A2 ) = A1 A + A1 A2 A1 = 0 + A2 A1 A1 = A A2 + A1 A2 = (A + A1 ) A2 A1 = 1 A2 = A2
RAE Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Expresiones de Conmutaci on
Algunas deniciones: Literal: Es toda ocurrencia de una variable, ya sea complementada o sin complementar, en una expresi on de conmutaci on. Por ejemplo, en la expresi on de conmutaci on: AB +C A+D +B 1 A, B , C y D son Variables. A, B , C , A, D y B son Literales. 1 es una Constante.

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Expresiones de Conmutaci on
Algunas deniciones: Expresi on Dual: Esta expresi on se obtiene, intercambiando las operaciones AND por OR (y vice versa), e intercambiando las constantes 0 por 1 y 1 por 0 en la expresi on de conmutaci on. Por ejemplo, para la expresi on de conmutaci on: (A B ) + (C D ) + 0 La Expresi on Dual es: (A + B ) (C + D ) 1

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Funciones de conmutaci on

Las funciones de conmutaci on se pueden expresar: de Forma Algebraica, mediante una Tabla de Verdad o en Forma Can onica. La manera m as did actica de representar una funci on de conmutaci on es mediante una Tabla de Verdad, ya que en ella se muestran los valores de salida para cada combinaci on de valor de entrada. Las Tablas de Verdad permiten modelar los Sistemas Combinacionales.

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Tablas de Verdad
Ejemplo de una tabla de Verdad Dada la funci on de conmutaci on: f (X1 , X2 , X3 ) = X1 + (X2 X3 ) La Tabla de Verdad es: X1 0 0 0 0 1 1 1 1 X2 0 0 1 1 0 0 1 1 X3 0 1 0 1 0 1 0 1
RAE

f (X1 , X2 , X3 ) 0 0 1 0 1 1 1 1
Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Formas Normales
Dada una tabla de verdad tambi en es posible obtener la forma algebraica. Existen 2 m etodos para identicar la forma algebraica: la forma normal disyuntiva y la forma normal conjuntiva. En el caso de la forma normal disyuntiva, es necesario identicar los 1s que resultan de la tabla de verdad y formar los t erminos (conjunciones fundamentales ) que los representan. Para formar las conjunciones fundamentales, se usa la variable complementada si para esa combinaci on tiene un cero, o se deja sin complementar, si en la combinaci on hay un 1.
Algebra de Boole

RAE

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Formas Normales
Forma normal disyuntiva Dada la Tabla de Verdad : X1 0 0 0 0 1 1 1 1 X2 0 0 1 1 0 0 1 1 X3 0 1 0 1 0 1 0 1 f (X1 , X2 , X3 ) 0 0 1 0 1 1 1 1
RAE

X1 X2 X3 X1 X2 X3 X1 X2 X3 X1 X2 X3 X1 X2 X3

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Formas Normales
Del ejemplo anterior, se suman las conjunciones fundamentales, resultando la forma normal disyuntiva: f (X1 , X2 , X3 ) = X1 X2 X3 +X1 X2 X3 +X1 X2 X3 +X1 X2 X3 +X1 X2 X3

Estos t erminos formados por todas las variables conectadas erminos mediante operadores AND se denominan mint (conjunciones fundamentales). Como la funci on de conmutaci on corresponde a un OR de todos los mint erminos, se puede expresar tambi en de la forma can onica (OR can onico de AND). F (X1 , X2 , X3 ) =
RAE

(m0 , m1 , . . . , mn )

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Formas Can onicas

Para la representaci on de la forma can onica, se utilizan las posiciones de los mint erminos en la Tabla de Verdad. Para el ejemplo anterior resulta: f (X1 , X2 , X3 ) = m (2, 4, 5, 6, 7)

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Formas Can onicas


Mint erminos en una Tabla de Verdad Dada una Tabla de Verdad: X1 0 0 0 0 1 1 1 1 X2 0 0 1 1 0 0 1 1 X3 0 1 0 1 0 1 0 1 Mint ermino X1 X2 X3 X1 X2 X3 X1 X2 X3 X1 X2 X3 X1 X2 X3 X1 X2 X3 X1 X2 X3 X1 X2 X3
RAE

Etiqueta 0 1 2 3 4 5 6 7

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Formas Normales

En el caso de la forma normal conjuntiva, se opera de manera contraria a la vista anteriormente. En este caso es necesario identicar los 0s que resultan de la tabla de verdad y formar los t erminos (disyunciones fundamentales o maxt erminos) que los representan. Para ello se utiliza la variable complementada si para esa combinaci on tiene un 1, o se deja sin complementar si en la combinaci on hay un 0.

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Formas Normales
Forma normal conjuntiva Dada la Tabla de Verdad : X1 0 0 0 0 1 1 1 1 X2 0 0 1 1 0 0 1 1 X3 0 1 0 1 0 1 0 1 f (X1 , X2 , X3 ) 0 0 1 0 1 1 1 1 X1 + X2 + X3 X1 + X2 + X3 X1 + X2 + X3

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Formas Normales
Del ejemplo anterior, se opera con un AND sobre las disyunciones fundamentales, resultando la forma normal conjuntiva: f (X1 , X2 , X3 ) = (X1 + X2 + X3 ) (X1 + X2 + X3 ) (X1 + X2 + X3 )

De igual manera es posible expresar esta funci on de conmutaci on, compuesta por maxt erminos, de la forma can onica (AND can onico de OR). F (X1 , X2 , X3 ) =
M

(M0 , M1 , . . . , Mn )

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Formas Can onicas

Para la representaci on de la forma can onica, se utilizan las posiciones de los mint erminos en la Tabla de Verdad. Para el ejemplo anterior resulta: f (X1 , X2 , X3 ) = M (0, 1, 3)

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Formas Can onicas

Como pasar de una forma algebraica, directamente a una forma can onica? F (X1 , X2 , X3 ) = = = = X1 + (X2 X3 ) X1 (X2 + X2 ) (X3 + X3 ) +(X1 + X1 )(X2 X3 ) X1 X2 (X3 + X3 ) + X1 X2 (X3 + X3 ) +X1 X2 X3 + X1 X2 X3 X1 X2 X3 + X1 X2 X3 + X1 X2 X3 +X1 X2 X3 + X1 X2 X3 + X1 X2 X3

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Formas Can onicas

Como convertir de una forma OR can onico de AND a una forma AND can onico de OR? F (X1 , X2 , X3 ) F (X1 , X2 , X3 ) F (X1 , X2 , X3 ) F (X1 , X2 , X3 ) = = = = =
m (2, 4, 5, 6, 7) m (0, 1, 3)

(X1 X2 X3 ) + (X1 X2 X3 ) + (X1 X2 X3 ) (X1 + X2 + X3 ) (X1 + X2 + X3 ) (X1 + X2 +X3 ) M (0, 1, 3)

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Funciones equivalentes

Se dice que dos funciones de conmutaci on son equivalentes si tienen expansiones en forma can onica id enticas. Es decir, que tienen valores de salida id enticos para las mismas combinaciones de entrada. Dicho de otra manera, dos funciones de conmutaci on son equivalentes si tienen la misma tabla de verdad.

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Funciones equivalentes

Cu antas funciones distintas (No equivalentes) existen para un n umero n de variables? 22


n

Esto se puede demostrar f acilmente, construyendo tablas de verdad y bas andose en que las funciones no equivalentes tienen tablas de verdad distintas.

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Algunos Operadores
Algunos operadores... NOT AND OR NAND NOR XAND XOR F (X1 ) = X1 F (X1 , X2 ) = X1 X2 F (X1 , X2 ) = X1 + X2 F (X1 , X2 ) = X1 X2 = X1 + X2 F (X1 , X2 ) = X1 + X2 = X1 X2 F (X1 , X2 ) = X1 X2 + X1 X2 F (X1 , X2 ) = X1 X2 + X1 X2

Tarea: Analizar las tablas de verdad de cada uno de estos operadores.

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Operadores funcionalmente completos

Se dice que un conjunto de operadores es funcionalmente completo si se puede expresar cualquier funci on de conmutaci on, utilizando s olo los operadores del conjunto. Por ejemplo el conjunto {AND, OR, NOT} es funcionalmente completo por denici on del algebra. Sin embargo el conjunto {AND, NOT} tambi en lo es. Otros conjuntos funcionalmente completos son: {NOR} y {NAND}.

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Compuertas L ogicas
Existen dispositivos electr onicos que son capaces de representar funciones de conmutaci on. Estos dispositivos denominan Compuertas L ogicas y est an construidos a base de silicio. Las compuertas l ogicas son altamente usadas en el campo de la electr onica digital, debido al bajo costo que se logra con la alta densidad de integraci on. Las compuertas corresponden a bloques fundamentales para la construcci on de circuitos l ogicos y sistemas digitales. Una red de compuertas l ogicas constituye un circuito combinacional.
RAE Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Compuertas L ogicas

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Compuertas L ogicas
Las compuertas pueden tener m as de una o dos entradas. Por ejemplo la ecuaci on de conmutaci on F (A, B , C ) = A B C puede ser representada por:

O bien por:

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Compuertas L ogicas
Ejemplo de compuertas Representar la siguiente ecuaci on mediante compuertas l ogicas. F (A, B , C , D ) = (B + D ) (A + B ) C

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Compuertas L ogicas
Las compuertas l ogicas se pueden encontrar en dispositivos peque nos de uso general, llamadas pastillas l ogicas TTL. Su numeraci on corresponde a 74LSXXX.

Tambi en existen dispositivos con alta densidad de integraci on como PLA, CPLD y FPGA.

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Compuertas L ogicas

Las pastillas l ogicas internamente est an dise nadas con varias compuertas, dependiendo de la pastilla. Por ejemplo un 74LS32 internamente es de la siguiente forma:

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Minimizaci on de Funciones

Minimizar una funci on F (X1 , X2 , X3 , . . . Xn ) es encontrar una funci on equivalente G (X1 , X2 , X3 , . . . Xn ) que tenga el m nimo n umero de t erminos y literales.

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Minimizaci on de Funciones
Por ejemplo, si tenemos la siguiente tabla de verdad: AB 00 00 00 00 01 01 01 01 CD 00 01 10 11 00 01 10 11 Z 1 0 1 0 1 0 1 1 AB 10 10 10 10 11 11 11 11 CD 00 01 10 11 00 01 10 11 Z 1 0 1 0 1 0 1 1

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Minimizaci on de Funciones

Luego extraemos los mint erminos AB 00 00 00 00 01 01 01 01 CD 00 01 10 11 00 01 10 11 Z 1 0 1 0 1 0 1 1 Mint ermino A B C D A B C D A B C D A B C D A B C D AB 10 10 10 10 11 11 11 11 CD 00 01 10 11 00 01 10 11 Z 1 0 1 0 1 0 1 1 Mint ermino A B C D A B C D A B C D A B C D A B C D

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Minimizaci on de Funciones

La forma normal disyuntiva de la ecuaci on queda de la siguiente manera: F (A, B , C , D ) = (A B C D ) + (A B C D ) + (A B C D ) +(A B C D ) + (A B C D ) + (A B C D ) +(A B C D ) + (A B C D ) + (A B C D ) +(A B C D )

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Minimizaci on de Funciones

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Minimizaci on de Funciones
Si intentamos minimizar la ecuaci on, resulta la siguiente expresi on: F (A, B , C , D ) = (A B C D ) + (A B C D ) + (A B C D ) +(A B C D ) + (A B C D ) + (A B C D ) +(A B C D ) + (A B C D ) + (A B C D ) +(A B C D ) (A B + A B + A B + A B ) (C D ) +(A B + A B + A B + A B ) (C D ) +(A + A) (B C D ) (A + A) (B + B ) (C D + C D ) + (B C D ) D + (B C D ) D + (B C )
RAE Algebra de Boole

= = =

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Minimizaci on de Funciones

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Mapas de Karnaugh

Los mapas de Karnaugh son una herramienta gr aca utilizada para simplicar las ecuaciones l ogicas o bi en, minimizar funciones de conmutaci on. Estos mapas son una versi on modicada de la tablas de verdad, permitiendo mostrar la relaci on entre las entradas l ogicas y la salida deseada. Los mapas de Karnaugh permiten el dise no de circuitos con el m nimo compuertas, por lo que tiene un alto impacto en la reducci on de costos.

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Pasos para la construcci on de un Mapa de Karnaugh


1) Al igual que en las tablas de verdad, una funci on de n variables tiene 2n combinaciones de posibles valores de entrada. En el caso de los mapas de Karnaugh, estas combinaciones se representan mediante celdas. n=2 n=3 n=3 n=4

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Pasos para la construcci on de un Mapa de Karnaugh

2) Luego, las coordenadas de las celdas se enumeran, seg un el c odigo Grey, quedando de la siguiente manera:

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Pasos para la construcci on de un Mapa de Karnaugh


3) Si se tiene una tabla de verdad, basta con escribir en cada celda la salida correspondiente de la tabla de verdad para cada combinaci on. Por ejemplo: A B C Z 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1
RAE Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Pasos para la construcci on de un Mapa de Karnaugh


Equivalentemente se puede representar una funci on de la forma can onica, como mapa de Karnaugh. Para ello se debe asignar un 0 a una variable complementada y un 1 a una variable sin complementar.

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Pasos para la construcci on de un Mapa de Karnaugh


Con esto se forma la siguiente numeraci on para las celdas.

Luego si se quiere representar la funci on F (A, B , C ) = m (0, 2, 3, 7), resulta:

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Pasos para la construcci on de un Mapa de Karnaugh


Para 4 variables, la numeraci on de las celdas corresponde a:

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Pasos para la construcci on de un Mapa de Karnaugh


4) Dos celdas son adyacentes s olo si dieren en una de las variables.

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Pasos para la construcci on de un Mapa de Karnaugh


5) Un subcubo es un conjunto de 2m celdas con valor 1, las cuales tienen la propiedad que cada celda del subcubo es adyacente a exactamente m celdas del conjunto.

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Pasos para la construcci on de un Mapa de Karnaugh


6) Los subcubos se pueden representar mediante t erminos algebraicos. Estos t erminos est an compuestos por n m literales, donde n es el n umero de variables y 2m es el tama no del subcubo.

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Pasos para la construcci on de un Mapa de Karnaugh

7) Si se suman los t erminos dados por los subcubos que abarcan todos los unos del mapa, se obtiene la funci on algebraica. Para que la funci on sea m nima, se debe buscar el m nimo n umero de subcubos que cubren todos los unos. Esto se logra, buscando los subcubos de mayor tama no posible, sin importar que se traslapen.

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Pasos para la construcci on de un Mapa de Karnaugh


El siguiente mapa de Karnaugh:

Representa la funci on F (A, B , C , D ) = D + B + C


RAE Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Minimizaci on mediante Mapas de Karnaugh

En la pr actica, al utilizar el m etodo de los mapas de Karnaugh manualmente, resulta u til para un m aximo de 5 o 6 variables.

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Minimizaci on mediante Mapas de Karnaugh


En el siguiente mapa de Karnaugh de 5 variables se identican 4 subcubos:

Resultando la ecuaci on F (A, B , C ) = A B C E + A B C E + A B C E +A B C E


RAE Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Minimizaci on mediante Mapas de Karnaugh


Sin embargo en el mapa anterior no est an marcados los subcubos m as grandes. Por lo que la funci on no es m nima. En el siguiente MK est an marcados los subcubos m as grandes.

Resultando la ecuaci on F (A, B , C ) = B C E + B C E


RAE Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Mapas de Karnaugh (AND de OR)

Tambi en es posible expresar funciones de la forma can onica AND de OR en los mapas de Karnaugh. Para ello es necesario identicar los subcubos que cubren todos los ceros del MK. Por ejemplo minimizar F (A, B , C , D ) =
M

(0, 2, 5, 8, 10, 13, 14)

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Mapas de Karnaugh (AND de OR)


El siguiente MK representa a la funci on F (A, B , C , D ) = M (0, 2, 5, 8, 10, 13, 14). En el se deben cubrir los ceros de mapa.

Resultando la ecuaci on F (A, B , C , D ) = (B + D ) (B + C + D ) (A + C + D )


RAE Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Minimizaci on de Funciones

La minimizaci on de funciones es fundamental tanto para el dise no de procesadores, como de otros componentes digitales que utilizan tecnolog a de alta densidad de integraci on (como VLSI). La minimizaci on no solo tiene un alto impacto en el costo de los dispositivos, sino que tambi en en el rendimiento. Sin embargo el m etodo de MK no es viable en dise nos complejos, como por ejemplo el dise no de un procesador, debido a la cantidad de variables que involucra.

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

M etodo Quine - McKluskey

El m etodo de Quine y McKluskey es una t ecnica tabular. Esta t ecnica resulta f acil de programar, con lo que se logra una herramienta autom atica para la obtenci on de expresiones de conmutaci on m nimas.

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

M etodo Quine - McKluskey


Una expresi on de conmutaci on se puede escribir como una suma de t erminos donde cada t ermino esta compuesto de factores. Por ejemplo: F (A, B , C ) = A B C + B C + . . . Se dene como implicante primo a un t ermino que est a contenido en la funci on y que la eliminaci on de cualquiera de sus literales genera un nuevo t ermino que no esta contenido en a funci on.

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

M etodo Quine - McKluskey

Implicantes Primos Por ejemplo la funci on F (A, B , C ) = AB + C tiene 2 t erminos (AB y C ), y ambos son implicantes primos. En cambio la funci on F (A, B , C ) = ABC + A + BC tiene 3 t erminos, pero s olo 2 de ellos son implicantes primos. El t ermino ABC no es implicante primo, ya que si se elimina la literal A, queda el t ermino BC que ya existe en la funci on.

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

M etodo Quine - McKluskey

Se puede observar que los implicantes primos corresponden a los subcubos en un mapa de Karnaugh. Por lo tanto, la ecuaci on minimizada tendr a tantos t erminos, como implicantes primos tenga la funci on. Los algoritmos computacionales para la minimizaci on de funciones, se basan en la b usqueda automatizada de implicantes primos.

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

M etodo Quine - McKluskey


El m etodo Quine-McKluskey genera el conjunto de implicantes primos de una funci on dada. Pasos para el desarrollo del m etodo Quine - McKluskey 1) Para desarrollar el m etodo, primero se debe contar con la funci on de la forma can onica OR de AND. 2) Luego se representa cada t ermino, de la forma binaria. 3) Se agrupan los t erminos en funci on de la cantidad de 1s que tengan.

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

M etodo Quine - McKluskey


Pasos para el desarrollo del m etodo Quine - McKluskey 4) Cada grupo (que representa la cantidad de 1s del t ermino), se vuelve a agrupar con alg un grupo adyacente buscando diferencias en un solo bit. El bit en que dieren es reemplazado por -. 5) Se vuelve a aplicar el paso anterior. Para la adyacencia se debe considerar que el s mbolo - se encuentra en la misma posici on. 6) Finalmente Se deben cubrir todos los t erminos de la funci on original, utilizando el m nimo n umero de implicantes primos.
Algebra de Boole

RAE

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

M etodo Quine - McKluskey


Ejemplo del m etodo Quine - McKluskey 1) Como ejemplo se considera la siguiente funci on de la forma can onica OR de AND. m (0, 2, 3, 5, 6, 7, 8, 9) 2) Se escribe cada t ermino, de la forma binaria: (0) (2) (3) (5) (6) (7) (8) (9)
RAE

0000 0010 0011 0101 0110 0111 1000 1001

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

M etodo Quine - McKluskey


Ejemplo del m etodo Quine - McKluskey 3) Luego se agrupan los t erminos, en funci on a la cantidad de 1s que tienen.

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

M etodo Quine - McKluskey


Ejemplo del m etodo Quine - McKluskey 4) Se reagrupan los grupos adyacentes, buscando diferencias en un solo bit y reemplazando el bit en que dieren con un -.

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

M etodo Quine - McKluskey


Ejemplo del m etodo Quine - McKluskey 5) Se vuelve a reagrupar considerando que el s mbolo - se encuentre en la misma posici on.

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

M etodo Quine - McKluskey

Ejemplo del m etodo Quine - McKluskey Los siguientes t erminos corresponden a los implicantes primos: (0,2) (0,8) (8,9) (5,7) (2,3,6,7) 00-0 -000 10001-1 0-1A B C D E

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

M etodo Quine - McKluskey


Ejemplo del m etodo Quine - McKluskey 6) Finalmente se deben cubrir todos los t erminos de la funci on original, utilizando el m nimo n umero de implicantes primos.

RAE

Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

M etodo Quine - McKluskey


Ejemplo del m etodo Quine - McKluskey Los implicantes primos que representan a todos los t erminos pueden ser: C + D + E + B o C + D + E + A

Si se consideran t erminos con las variables W , X , Y , Z se traduce a: W X Y + W X Z + W Y + X Y Z o W X Y +W X Z +W Y +W X Z


RAE Algebra de Boole

Contenido Introducci on Expresiones de Conmutaci on Compuertas L ogicas Minimizaci on de Funciones

Fin...

Fin...

RAE

Algebra de Boole