Algebra Boole C

Universidad de Magallanes
Facultad de Ingeniera
[ Sistemas Operativos ]
Departamento de Ingeniera en Computacin
MIC3181
Algebra de Boole
continuacin
Eduardo Pea J.
Prsentat
ion
Edopena 1 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
Prsentat
Edopena 2 Microprocesadores 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.
[ 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
[ Algebra de Boole ] Minterms
MINTERMS
Un minterm es un trmino producto que vale 1 en al

menos un punto del dominio de una funcin booleana.
Es definido por un producto (AND) donde cada variable aparece
al menos una vez directa o complementada.
[ 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.
[ 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.
FORMAS CANNICAS DE DOS NIVELES
Las formas cannicas son representaciones nicas de funciones

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

booleanas.
Ej. Un producto de sumas es otra forma cannica.
Notacin para suma de minterms.
Notacin para producto de maxterms.
SIMPLIFICACION DE SUMAS DE MINTERMS
MINTERMS X MAXTERMS
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.
[ 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.
[ 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.
[ 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
[ Algebra de Boole ] Minimizacin lgica de dos niveles
Idea base: Aplicacin de distribucin y complemento.
[ Algebra de Boole ] Cubos
CUBOS
Un espacio booleano n-dimensional

puede ser visualizado espacialmente.
Los productos de literales son
llamados cubos.
[ Algebra de Boole ] Cubos
VISUALIZACIN DE 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.
[ 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.
ADJACENCIA DEL MAPA DE KARNAUGH
Los elementos extremos de las columnas y filas son

adjacentes.
El cubo obtenido es definido por las variables que no cambian de

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

cambian de cara en todos sus minterms.
COMPLEMENTO DE UNA FUNCIN
KARNAUGH DE CUATRO VARIABLES
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.
EJEMPLO COMPARADOR DE DOS BITS
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
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.
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.
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.
Ejemplos
COBERTURA MNIMA CON MAPA DE

KARNAUGH
1. Seleccione un minterm mi de la funcin.

2. Expanda mi en todas las direcciones posibles, generando as todos los
implicantes primos que cubren mi .
3. Repita los pasos anteriores para todos los minterms de la funcin,
generando todos los implicantes primos posibles.
4. Identifique y separe los implicantes esenciales. Los minterms cubiertos
por ellos pueden ser considerados como puntos irrelevantes.
5. Seleccione un conjunto mnimo de implicantes que cubra los minterms
restantes.
Ejemplo
Continuacin
Ejemplo
[ Algebra de Boole ] Quine McClusky
MTODO DE 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.
McCluskey:
Representar los implicantes en notacin
binaria :
X= {x1, x2, x3}
x1x3' -> 1-0
x3 -> --1
x1'x2'x3 -> 001
Tabular los implicantes en grupos de mismo peso (1's) para reducir el nmero de
comparaciones .
Expansin de minterms
Ejemplo: F = S (1, 2, 3, 5, 7, 8, 10, 11, 12, 13, 15)
Expansin de
los minterms
de los
implicantes.
Implicantes Primos:
p1 = x1x0 p3 = x2'x1 p5 = x3x1'x0' p7 = x3x2x1'
p2 = x2x0 p4 = x3'x0 p6 = x3x2'x0'
Cobertura de funcin
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
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
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
[ Algebra de Boole ] Resumen
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
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

Algebra Boole C

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Algebra Boole C

Transféré par

Droits d'auteur :

Formats disponibles

Universidad de Magallanes

Informacin extrada de:

Suma de productos es una forma de representacin de

El producto de sumas es otra forma de representacin

Un minterm es un trmino producto que vale 1 en al

Un maxterm es un trmino suma que vale 0 en al menos un punto

Una tabla de verdad es una firma que identifica inequvocamente

FORMAS CANNICAS DE DOS NIVELES

Las formas cannicas son representaciones nicas de funciones

Las formas cannicas son representaciones nicas de funciones

Notacin para suma de minterms.

Notacin para producto de maxterms.

SIMPLIFICACION DE SUMAS DE MINTERMS

Es posible obtener un producto de maxterms a partir de una suma de

Estas son las funciones para las cuales algunas combinaciones de

Las funciones incompletas mapean puntos del dominio de una

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

F puede ser descrita definiendo dos de sus tres conjuntos.

MINIMIZACIN LGICA DE DOS NIVELES

Mtodos manuales, al menos para fines didcticos y funciones

Idea base: Aplicacin de distribucin y complemento.

Un espacio booleano n-dimensional

Puntos adjacentes difieren en un bit.

Visualizacin del dominio de una funcin en forma matricial.

ADJACENCIA DEL MAPA DE KARNAUGH

Los elementos extremos de las columnas y filas son

El cubo obtenido es definido por las variables que no cambian de

La agrupacin obtenida es definida por las variables que no

COMPLEMENTO DE UNA FUNCIN

KARNAUGH DE CUATRO VARIABLES

MINIMIZACIN CON IRRELEVANTES

Los puntos irrelevantes pueden ser considerados como un 1 o un 0

EJEMPLO COMPARADOR DE DOS BITS

EJEMPLO COMPARADOR DE DOS BITS

EJEMPLO COMPARADOR DE DOS BITS

MINIMIZACIN LGICA EN DOS NIVELES

En lgebra Booleana es una relacin de orden parcial, anloga a

Implicante primo esencial: es un implicante

Una cobertura de una funcin f y una

COBERTURA MNIMA CON MAPA DE

1. Seleccione un minterm mi de la funcin.

MTODO DE QUINE McCLUSKY

Tome los minterms de la funcin y expanda sucesivamente los

p2 = x2x0 p4 = x3'x0 p6 = x3x2'x0'

CAD PARA MINIMIZACIN

Vous aimerez peut-être aussi