[ Sistemas Operativos ]

Universidad de Magallanes Facultad de Ingeniera Departamento de Ingeniera en Computacin

MIC3181 Algebra de Boole continuacin

Eduardo Pea J.

Prsentat ion

Edopena

Microprocesadores

[ Algebra de Boole ]

Indice

Temario:

Mtodos de minimizacin Mtodo mapas de Karnaugh Mtodo tabular Quine McCluskey

Informacin extrada de:
http://www.cic.unb.br/docentes/jacobi/ensino/circuitos/DoisNiveis/sld001.htm

Edopena

Microprocesadores

Prsentat ion

[ Algebra de Boole ]
SUMA DE PRODUCTOS

Suma de Productos

Suma de productos es una forma de representacin de funciones booleanas constituida por operaciones lgicas o sobre un conjunto de trminos formados por la operacin.

Edopena

Microprocesadores

[ Algebra de Boole ]
PRODUCTO DE SUMA

Producto de Suma

El producto de sumas es otra forma de representacin de funciones booleanas caracterizadas por la aplicacin de operacin sobre un conjunto de operaciones o sobre las entradas

Edopena

Microprocesadores

[ Algebra de Boole ]
MINTERMS
Un minterm es un trmino producto que vale 1 en al menos un punto del dominio de una funcin booleana.

Minterms

Es definido por un producto (AND) donde cada variable aparece al menos una vez directa o complementada.

Edopena

Microprocesadores

[ Algebra de Boole ]
MAXTERMS

Maxterms

Un maxterm es un trmino suma que vale 0 en al menos un punto del dominio de la funcin. Es determinado por una adicin (OR) donde cada variable aparece al menos una vez, directa o complementada.

Edopena

Microprocesadores

[ Algebra de Boole ]
FORMAS CANNICAS

Formas cannicas

Una tabla de verdad es una firma que identifica inequvocamente una funcin booleanas.
Expresiones booleanas diferentes pueden representar una misma funcin booleana.

Edopena

Microprocesadores

[ Algebra de Boole ]

Formas cannicas

FORMAS CANNICAS DE DOS NIVELES

Las formas cannicas son representaciones nicas de funciones booleanas. Ej. Una suma de productos es una forma cannica.

Edopena

Microprocesadores

[ Algebra de Boole ]

Formas cannicas

Las formas cannicas son representaciones nicas de funciones booleanas.

Ej. Un producto de sumas es otra forma cannica.

Edopena

Microprocesadores

[ Algebra de Boole ]

Formas cannicas

Notacin para suma de minterms.

Notacin para producto de maxterms.

Edopena

10

Microprocesadores

[ Algebra de Boole ]

Formas cannicas

SIMPLIFICACION DE SUMAS DE MINTERMS

Edopena

11

Microprocesadores

[ Algebra de Boole ]
MINTERMS X MAXTERMS

Formas cannicas

Es posible obtener un producto de maxterms a partir de una suma de minterms o viceversa aplicando De Morgan sobre el complemento de la funcin.

Edopena

12

Microprocesadores

[ Algebra de Boole ]

Funciones Incompletas

FUNCIONES INCOMPLETAS
Estas son las funciones para las cuales algunas combinaciones de valores de entrada nunca ocurren. Ej. Decodificador de display de 7 segmentos para dgitos BCD.

Edopena

13

Microprocesadores

[ Algebra de Boole ]

Funciones Incompletas

Las funciones incompletas mapean puntos del dominio de una funcin en tres valores posibles.

Los dominios de puntos donde F vale {0 , 1 X} son denominados, respectivamente, de:

F puede ser descrita definiendo dos de sus tres conjuntos.

Edopena

14

Microprocesadores

[ Algebra de Boole ]

Minimizacin lgica de dos niveles

MINIMIZACIN LGICA DE DOS NIVELES

Manipulacin Algebraica:

Difcil de determinar un orden y qu transformaciones aplicar.

Cmo sabes si se localiz una mejor solucin.

Herramientas de auxilio:
No consiguen tratar problemas de forma exacta. Se basan en heursticas y criterios de costo. Mtodos manuales, al menos para fines didcticos y funciones muy simples

Edopena

15

Microprocesadores

[ Algebra de Boole ]

Minimizacin lgica de dos niveles

Idea base: Aplicacin de distribucin y complemento.

Edopena

16

Microprocesadores

[ Algebra de Boole ]
CUBOS
Un espacio booleano n-dimensional puede ser visualizado espacialmente. Los productos de literales son llamados cubos.

Cubos

Edopena

17

Microprocesadores

[ Algebra de Boole ]
VISUALIZACIN DE CUBOS

Cubos

Puntos adjacentes difieren en un bit. Todos los puntos de la funcin estn en una cara.

Y y Z varan mientras que X permanece inalterable: Y y Z pueden ser eliminados de la expresin.

Edopena

18

Microprocesadores

[ Algebra de Boole ]
MAPAS DE KARNAUGH

Mapas de Karnaugh

Visualizacin del dominio de una funcin en forma matricial. Puntos del dominio estn dispuestos siguiendo el cdigo Gray, pares adjacentes difieren en un bit.

Edopena

19

Microprocesadores

[ Algebra de Boole ]

Mapas de Karnaugh

ADJACENCIA DEL MAPA DE KARNAUGH

Los elementos extremos de las columnas y filas son adjacentes.

Edopena

20

Microprocesadores

[ Algebra de Boole ]

Mapas de Karnaugh

El cubo obtenido es definido por las variables que no cambian de cara en todos sus minterms.

Edopena

21

Microprocesadores

[ Algebra de Boole ]

Mapas de Karnaugh

La agrupacin obtenida es definida por las variables que no cambian de cara en todos sus minterms.

Edopena

22

Microprocesadores

[ Algebra de Boole ]

Mapas de Karnaugh

Edopena

23

Microprocesadores

[ Algebra de Boole ]

Mapas de Karnaugh

COMPLEMENTO DE UNA FUNCIN

Edopena

24

Microprocesadores

[ Algebra de Boole ]

Mapas de Karnaugh

Edopena

25

Microprocesadores

[ Algebra de Boole ]

Mapas de Karnaugh

KARNAUGH DE CUATRO VARIABLES

Edopena

26

Microprocesadores

[ Algebra de Boole ]

Mapas de Karnaugh

Edopena

27

Microprocesadores

[ Algebra de Boole ]

Mapas de Karnaugh

MINIMIZACIN CON IRRELEVANTES

Los puntos irrelevantes pueden ser considerados como un 1 o un 0 en el mapa de Karnaugh. Son utilizados para formar agrupaciones mayores, simplificando una funcin.

Edopena

28

Microprocesadores

[ Algebra de Boole ]

Mapas de Karnaugh

EJEMPLO COMPARADOR DE DOS BITS

Edopena

29

Microprocesadores

[ Algebra de Boole ]

Mapas de Karnaugh

EJEMPLO COMPARADOR DE DOS BITS

Edopena

30

Microprocesadores

[ Algebra de Boole ]

Mapas de Karnaugh

EJEMPLO COMPARADOR DE DOS BITS

Edopena

31

Microprocesadores

[ Algebra de Boole ]

Mapas de Karnaugh

MINIMIZACIN LGICA EN DOS NIVELES

La minimizacin de dos niveles busca obtener las sumas del producto con un nmero mnimo de productos y literales. Minimizndose el nmero de productos se est reducido la altura de la implementacin y, por consiguiente, su rea. Estando reducido el nmero de literales, se reduce el nmero de transistores de la implementacin digital, lo que minimiza la potencia disipada. Ej Sumador de 1 bit

Edopena

32

Microprocesadores

[ Algebra de Boole ]

Mapas de Karnaugh

Conceptos Bsicos
Implicante: una agrupacin c es un implicante de una funcin f si para
todo vector x donde c(x) = 1, tenemos que f(x) = 1. O sea c f

En lgebra Booleana es una relacin de orden parcial, anloga a relacin "est contenido en" entre conjuntos. Puede ser definida como un conjunto de minterms de c est contenido en f.
Edopena 33 Microprocesadores

[ Algebra de Boole ]

Mapas de Karnaugh

Conceptos Bsicos
Implicante primo: es una agrupacin que no est contenida en ninguna otra agrupacin de la funcin (o, no puede ser mas expandido)

Implicante primo esencial: es un implicante primo que contiene al menos un minterm que no est contenido en ningn otro implicante de la funcin.

Edopena

34

Microprocesadores

[ Algebra de Boole ]

Mapas de Karnaugh

Una cobertura de una funcin f y una suma de productos que contienen todos los minterms de f (cobre f) Una cobertura prima es aquella compuesta apenas por implicantes primos

Una cobertura irredundante es aquella en que ninguno de las dos agrupaciones puede ser removida sin alterar la funcin.

Edopena

35

Microprocesadores

[ Algebra de Boole ]

Mapas de Karnaugh

Ejemplos

Edopena

36

Microprocesadores

[ Algebra de Boole ]

Mapas de Karnaugh

COBERTURA MNIMA CON MAPA DE KARNAUGH

1. 2. 3. 4. 5. Seleccione un minterm mi de la funcin. Expanda mi en todas las direcciones posibles, generando as todos los implicantes primos que cubren mi . Repita los pasos anteriores para todos los minterms de la funcin, generando todos los implicantes primos posibles. Identifique y separe los implicantes esenciales. Los minterms cubiertos por ellos pueden ser considerados como puntos irrelevantes. Seleccione un conjunto mnimo de implicantes que cubra los minterms restantes.

Edopena

37

Microprocesadores

[ Algebra de Boole ]

Mapas de Karnaugh

Ejemplo

Edopena

38

Microprocesadores

[ Algebra de Boole ]

Mapas de Karnaugh

Continuacin Ejemplo

Edopena

39

Microprocesadores

[ Algebra de Boole ]
MTODO DE QUINE McCLUSKY

Quine McClusky

Tome los minterms de la funcin y expanda sucesivamente los minterms en todas direcciones posibles (variables en espacio Booleano). Obtener as todos los implicantes primos de la funcin.

Seleccione un subconjunto que cubra la funcin que tenga un costo mnimo.

Deteccin y remocin de primos esenciales. Dominancia de lnea y de columna. Branch and bound cuando no hay dominancia.

Edopena

40

Microprocesadores

[ Algebra de Boole ]

Quine McClusky

McCluskey: Representar los implicantes en notacin binaria : X= {x1, x2, x3}

x1x3'
x3

->
->

1-0
--1 001

x1'x2'x3 ->

Tabular los implicantes en grupos de mismo peso (1's) para reducir el nmero de comparaciones .

Edopena

41

Microprocesadores

[ Algebra de Boole ]
Expansin de minterms Ejemplo: F = S (1, 2, 3, 5, 7, 8, 10, 11, 12, 13, 15)

Quine McClusky

Expansin de los minterms de los implicantes.

Edopena

42

Microprocesadores

[ Algebra de Boole ]
Implicantes Primos:
p1 = x1x0 p3 = x2'x1 p5 = x3x1'x0'

Quine McClusky

p7 = x3x2x1'

p2 = x2x0

p4 = x3'x0

p6 = x3x2'x0'

Edopena

43

Microprocesadores

[ Algebra de Boole ]

Quine McClusky

Cobertura de funcin

Edopena

44

Microprocesadores

[ Algebra de Boole ]

Quine McClusky

Cobertura de funcin
Dominancia de Lnea: si todos los minterms de una lnea lx estn contenidos en una lnea ly, entonces ly domina a lx y lx puede ser removida de la tabla esto indica que el implicante py cubre al implicante px

Edopena

45

Microprocesadores

[ Algebra de Boole ]

Quine McClusky

Cobertura de funcin
Dominancia de columna: si todos los minterms de una columna cx estn contenidos en una columna cy, entonces cy domina a cx y cy puede ser removida de la tabla cubriendo el minterm mx automticamente se cubre my

Edopena

46

Microprocesadores

[ Algebra de Boole ]

Quine McClusky

CAD PARA MINIMIZACIN

Problemas con el mtodo de Quine:

Computacionalmente es ineficiente Genera todos los implicantes primos Complejidad de: (3 ^ n)/n

Parte de los minterms de la funcin Complejidad de: 2n-1

Edopena

47

Microprocesadores

[ Algebra de Boole ]
RESUMEN
Punto de partida: una suma de productos (no mintermos) Respete iterativamente la secuencia de operaciones: Expand: Expande los implicantes hasta su tamao mximo Extraer esenciale primos

Resumen

Cobertura Irredundante: generar una cobertura irredundante

Reducir: reduzca los implicantes hasta su tamao mnimo Respete los pasos anteriores hasta no obtener ganancias Last gasp: la insercin de un primo cualquiera no puede llevar a eliminacin de dos primos de la cobertura

Edopena

48

Microprocesadores

[ Algebra de Boole ]

Resumen

Edopena

49

Microprocesadores

[ Algebra de Boole ]

Resumen

Edopena

50

Microprocesadores

[ Algebra de Boole ]

Resumen

Edopena

51

Microprocesadores