Professional Documents
Culture Documents
Algebra de Boole
Prof. Rodrigo Araya E. raraya@inf.utfsm.cl
Universidad T ecnica Federico Santa Mar a Departamento de Inform atica
RAE
Algebra de Boole
RAE
Algebra de Boole
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
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
Algebra de Boole
RAE
Algebra de Boole
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
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
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
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
Algebra de Boole
RAE
Algebra de Boole
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
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
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
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
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
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
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
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
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
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
Etiqueta 0 1 2 3 4 5 6 7
Algebra de Boole
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
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
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
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
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
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)
RAE
Algebra de Boole
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
Funciones equivalentes
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
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
RAE
Algebra de Boole
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
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
Compuertas L ogicas
RAE
Algebra de Boole
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
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
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
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
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
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
Minimizaci on de Funciones
RAE
Algebra de Boole
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
Minimizaci on de Funciones
RAE
Algebra de Boole
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
= = =
Minimizaci on de Funciones
RAE
Algebra de Boole
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
RAE
Algebra de Boole
2) Luego, las coordenadas de las celdas se enumeran, seg un el c odigo Grey, quedando de la siguiente manera:
RAE
Algebra de Boole
RAE
Algebra de Boole
RAE
Algebra de Boole
RAE
Algebra de Boole
RAE
Algebra de Boole
RAE
Algebra de Boole
RAE
Algebra de Boole
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
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
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
RAE
Algebra de Boole
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
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
RAE
Algebra de Boole
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
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
RAE
Algebra de Boole
RAE
Algebra de Boole
RAE
Algebra de Boole
RAE
Algebra de Boole
RAE
Algebra de Boole
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
RAE
Algebra de Boole
Fin...
Fin...
RAE
Algebra de Boole