Minimizacion Funciones Booleanas

EL-611
Minimización de Funciones
Booleanas
Semestre Primavera 2011 EL-611 Complemento de Diseño Lógico y

Dispositivos Digitales
Minimización de Funciones Booleanas
• Método “Algebraico”
– Se aplican los postulados y teoremas del Álgebra de
Boole
• Método Visual
– Mapa de Karnaugh
– Mapa de Entrada Variable (MEV)
• Método Tabular
– Método de Quine
– Método de Quine-MaCluskey

Ejemplo de una Expresión Booleana
f ( x, y, z)  xyz  xyz  xyz  xyz  xyz  xyz
1 2 3 4 5 6
a) 1 con 2; 2 con 3; 4 con 5 y 5 con 6
f ( x, y, z)  xz  yz  yz  xz Expresión Irredundante o Irreductible
b) 1 con 2; 3 con 6 y 4 con 5

f ( x, y, z)  xz  xy  yz Expresión Irredundante y Mínima
c) 1 con 4; 2 con 3 y 5 con 6

f ( x, y, z)  xy  xz  xz Expresión Irredundante y Mínima
CONCLUSION: Una expresión irredundante no es necesariamente mínima, ni una expresión

mínima es siempre única
Mapas de Karnaugh
 Mapa en un Plano de cubos Booleanos
 se pliega en los bordes
 difícil de dibujar y visualizar para mas de 4 dimensiones
 virtualmente imposible para mas de 6 dimensiones
 Alternativa a la tabla de verdad para ayudar a visualizar
adyacencias
 se aplica el teorema básico: AB+AB’ = A(B+B’) = A
 a diferencia en una tabla de verdad, elementos en “1” que
difieren en una variable son adyacentes
A B F
A
B 0 1 0 0 1
0 1 1 0 1 0
0 2
1 0 0 1 0 1
1 3
1 1 0
Mapas de Karnaugh (cont’)
 Esquema numérico basado en código Gray

 e.g., 00, 01, 11, 10
 cambios de un solo bit en el código para celdas adyacentes del
mapa
AB A
C 00 01 11 10 A
0 0 4 12 8
0 2 6 4
C 1 1 5 13 9
1 3 7 5 D
B 3 7 15 11
A
C
2 6 14 10
0 2 6 4 B
C
1 3 7 5 13 = 1101= ABC’D
B

Adyacencias en mapas de Karnaugh
 Pliegue desde la primera a la ultima columna

 Pliegue de la fila superior con la inferior
011 111
A
110
000 010 110 100 010
C 001 011 111 101 B C 001

101
B 100
000 A

Ejemplos de mapas de Karnaugh
• F= A
1 1
B’
• Cout = B 0 0
• f(A,B,C) = m(0,4,5,7)
A
0 0 1 0 AB + ACin + BCin
Cin 0 1 1 1
B
A
1 0 0 1 Obtener el
complemento
C 0 0 1 1 de la función
B AC + B’C’ + AB’ cubriendo los 0’s
Semestre Primavera 2011 EL-611 Complemento de Diseño Lógico y con subcubos
Mas ejemplos de mapas de Karnaugh
A
0 0 1 1
G(A,B,C) = A
C 0 0 1 1
B
A
1 0 0 1
F(A,B,C) = m(0,4,5,7) = AC + B’C’
C 0 0 1 1
B
A
0 1 1 0 F' simplemente reemplaza 1's con 0's y vice versa
F'(A,B,C) =  m(1,2,3,6) = BC’ + A’C
C 1 1 0 0
B

Mapa de Karnaugh: ejemplo de 4-variables
• F(A,B,C,D) = m(0,2,3,5,6,7,8,10,11,14,15)
F=
A
1 0 0 1
encontrar el menor numero posible de subcubos
0 1 0 0 mas grandes para cubrir los 1’s (menos términos
D
con la menor cantidad de entradas por término)
1 1 1 1
C
1 1 1 1
B

Mapas de Karnaugh: no importa (don’t cares)
 f(A,B,C,D) = m(1,3,5,7,9) + d(6,12,13)
 sin términos “no importa”
 f = A’D + B’C’D
A
0 0 X 0
1 1 X 1
D
1 1 0 0
C
0 X 0 0
B

Mapas de Karnaugh: no importa (cont’)
 f(A,B,C,D) = m(1,3,5,7,9) + d(6,12,13)

 f = A'D + B'C'D sin “no importa”
 f = A'D+ C'D con “no importa”
A
Utilizando términos NI como "1"
0 0 X 0
se puede formar un cubo-2 en
1 1 X 1
vez de un cubo-1 para cubrir este
D nodo
1 1 0 0
C Términos NI pueden ser tratados
0 X 0 0 como 1’s o 0’s
B dependiendo de la ventaja que
se quiera aprovechar

Ejemplo
 Minimizar la función F = m(0, 2, 7, 8, 14, 15) + d(3, 6, 9, 12, 13)
A
A 1 0 X 1
1 0 X 1 F = AC’ +
0 0 X X
A’C + D
0 0 X X BC +
D X 1 1 0
AB + C
X 1 1 0
C A’B’D’ + 1 X 1 0
1 X 1 0 B’C’D’ B
A
B
1 0 X 1
F = BC + A’B’D’ + B’C’D’ 0 0 X X
D
F = A’C + AB + B’C’D’ X 1 1 0
C
1 X 1 0
Dispositivos Digitales B
Implicantes Primos y Esenciales
A
0 X 1 0 6 implicantes primos:
A'B'D, BC', AC, A'C'D, AB, B'CD
1 1 1 0
D
esencial
1 0 1 1
C
0 0 1 1 cobertura minima: AC + BC' +
B A'B'D
A
5 implicantes primos : 0 0 1 0
BD, ABC', ACD, A'BC, A'C'D
1 1 1 0
D
esencial 0 1 1 1
C
0 1 0 0
cobertura minima : 4 implicantes esenciales
B
Mapa de Entrada Variable (MEV)

Lectura del MEV
Paso 1: Se reemplazan todas las variables 1’s por la variable + variable’.
Luego aplicar las siguientes reglas:
a) Cubrir las variables solas que no puedan cubrirse con otra variable MEV
idéntica de una celda adyacente; o con un 1, o con un φ
b) Cubrir todas la variables MEV idénticas en celdas adyacentes
c) Cubrir todas las variables MEV que lo puedan hacer con un 1
d) Ídem a lo anterior pero con un φ
e) Tener precaución cuando la variable MEV se pueda cubrir de más de una
forma
f) Continuar cubriendo para grupos de a 4, 8, etc. variables MEV

Lectura del MEV

Paso 2: Una vez que todas las variables solas hayan sido
cubiertas, se debe transformar el Mapa de acuerdo a las
siguientes reglas:
a) Reemplazar las variables MEV y MEV’ por 0
b) Dejar los 0 y φ tal cual
c) Dejar los 1’s tal cual si no fueron cubierto completamente. De lo
contrario dejar φ
d) MEV•φ y MEV’•φ quedan en 0
e) (MEV + MEV•φ) y (MEV + MEV’•φ) quedan en 1 si no fue cubierta
la parte de la variable necesaria; en caso contrario queda en φ

Aplicaciones del MEV
Ejemplo:
F ( A, B, C, G, H )  A B C H  A B CH  A BC  AB C G  AB CG  ABC  ABC
F ( A, B, C, G, H )  ( A B C ) H  ( A B C ) H  ( A BC )  ( AB C )G  ( AB C )G  ( ABC )  ( ABC )
C\AB 00 01 11 10
0 H 0 1 G
1 H 1 1 G
F ( A, B, C, G, H )  A B H  AG  AB  BC
Método de Quine
 Consensus: cuando dos términos productos difieren en

un literal, el consensus se obtiene al considerar el resto
de los literales de ambos términos productos
 Ejemplo: w xz y w x y El Consensus seria: w yz
y
1 1 0 0 Consensus
0 1 1 0
x
0 0 0 0
w
0 0 0 0
z

Método de Quine
1. Se parte de la expresión Suma de Productos

f ( x, y, z )  x ( z  yz )  xyz  xyz
f ( x, y, z )  x z  x yz  xyz  xyz
2. Se obtienen los consensus entre cada par de términos productos
f ( x, y, z)  xz  xyz  xyz  xyz  xy  yz  xz

Términos Originales Consensus
3. Se aplican propiedades básicas para eliminar términos redundantes y así

obtener una expresión con los implicantes primarios de la función
y
f ( x, y, z)  xz  xy  yz  xz 1 1 1 0
x 1 0 0 1
z

Método de Quine
4. Se determina el conjunto de implicantes esenciales. Para ello se analizan cada

uno de los implicantes primos o primarios obtenidos, de la siguiente manera:
f ( x, y, z)  xz  xy  yz  xz
Se elimina
Se obtiene: f1 ( x, y, z)  xy  yz  xz y se calcula para xz  1  x  0; z  1

f1 (0, y,1)  y  0  0  y  xz es esencial
5. Se analizan los demás implicantes de la función para cubrir todos los

minitérminos y determinar la(s) expresión(es) mínima(s) final(es)
x z  x yz  x yz
xz  xyz  xyz xy
f ( x, y, z )  x z  xz 
x y  x yz  x yz yz
yz  xyz  x yz

Método de Quine-McCluskey
f (w, x, y, z )   m(0,1,4,5,9,11,13,14,15)
1. Expresión Suma de Productos

2. Se representa cada minitérmino en forma binaria
agrupados de acuerdo a la cantidad de unos en orden
ascendente

f (w, x, y, z )   m(0,1,4,5,9,11,13,14,15)
Minitérmino
Número Binario Cantidad de 1’s
Cubo-0
0 0000 √ 0
1 0001 √
1
4 0100 √
5 0101 √
2
9 1001 √
11 1011 √
13 1101 √ 3
14 1110 √
15 1111 √ 4
f (w, x, y, z )   m(0,1,4,5,9,11,13,14,15)
Minitérmino Número
Cubo-1 Binario 3.- Se buscan los consensus entre cada
0,1 000− √ par de minitérminos. Estos se encontrarán
0,4 0−00 √ entre grupos adyacentes solamente, lo que
simplifica la búsqueda.
1,5 0−01 √
1,9 −001 √ La marca √ en la tabla correspondiente al
4,5 010− √ cubo-0 significa que el minitérmino marcado
5,13 −101 √ está cubierto por el implicante formado en
el cubo-1.
9,11 10−1√
9,13 1−01 √
Implicante
11,15 1−11 √ primario
13,15 11−1 √
14,15 111−
f (w, x, y, z )   m(0,1,4,5,9,11,13,14,15)
Minitérmino Número 4.- El procedimiento se repite para el cubo-1.

Binario En este caso habrá combinación cuando
Cubo-2
difieren en una posición y además el guión
0,1,4,5 0−0− (-) está en la misma posición para ambos
0,4,1,5 0−0− términos a combinar.
1,5,9,13 −−01 Implicantes
1,9,5,13 −−01 redundantes
9,11,13,15 1−−1 En la tabla del cubo-1, el último implicante
9,13,11,15 1−−1 quedó sin marca (√). Esto significa que dicho
Implicante debe incluirse como implicante
Se han obtenido los siguientes
primario de la función.
Implicantes:
Se eliminan los términos redundantes. El
111- wxy
procedimiento continúa hasta que no se
0-0- w’y’
puedan hacer más combinaciones.
--01 y’z
1--1 wz Dispositivos Digitales
f (w, x, y, z )   m(0,1,4,5,9,11,13,14,15)
0 1 4 5 9 11 13 14 15
(14,15) wxy √ √
(0,1,4,5) w’y’ √ √ √ √
(1,5,9,13) y’z √ √ √ √
(9,11,13,15) wz √ √ √ √
√ √ √ √ √ √ √ √ √
f (w, x, y, z)  wxy  w y  wz Expresión mínima y única

Notación Simplificada
Se aprovecha la propiedad siguiente: dos números binarios se “combinan”

cuando están en grupos adyacentes, es decir, cuando difieren en una
potencia de 2.
Ejemplo: 0000 y 0001 difieren en 20 y queda:

(0,1) 000− ó bien: 0,1 (1)
1 0001 1,5 (4) porque: 4 = 5−1 diferencia

5 0101
La regla es: se resta el que tiene menos 1’s al que tiene más 1’s

Funciones
Parcialmente
Especificadas

Funciones con
Salidas
Múltiples


Minimizacion Funciones Booleanas

Cargado por

Copyright:

Formatos disponibles

Minimizacion Funciones Booleanas

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Minimizacion Funciones Booleanas

Cargado por

Copyright:

Formatos disponibles

EL-611

Semestre Primavera 2011 EL-611 Complemento de Diseño Lógico y

Semestre Primavera 2011 EL-611 Complemento de Diseño Lógico y

a) 1 con 2; 2 con 3; 4 con 5 y 5 con 6

f ( x, y, z)  xz  yz  yz  xz Expresión Irredundante o Irreductible

b) 1 con 2; 3 con 6 y 4 con 5

c) 1 con 4; 2 con 3 y 5 con 6

CONCLUSION: Una expresión irredundante no es necesariamente mínima, ni una expresión

 Esquema numérico basado en código Gray

Semestre Primavera 2011 EL-611 Complemento de Diseño Lógico y

 Pliegue desde la primera a la ultima columna

C 001 011 111 101 B C 001

Semestre Primavera 2011 EL-611 Complemento de Diseño Lógico y

Semestre Primavera 2011 EL-611 Complemento de Diseño Lógico y

Semestre Primavera 2011 EL-611 Complemento de Diseño Lógico y

Semestre Primavera 2011 EL-611 Complemento de Diseño Lógico y

 f(A,B,C,D) = m(1,3,5,7,9) + d(6,12,13)

Semestre Primavera 2011 EL-611 Complemento de Diseño Lógico y

 Minimizar la función F = m(0, 2, 7, 8, 14, 15) + d(3, 6, 9, 12, 13)

Semestre Primavera 2011 EL-611 Complemento de Diseño Lógico y

Semestre Primavera 2011 EL-611 Complemento de Diseño Lógico y

Lectura del MEV

Semestre Primavera 2011 EL-611 Complemento de Diseño Lógico y

 Consensus: cuando dos términos productos difieren en

Semestre Primavera 2011 EL-611 Complemento de Diseño Lógico y

1. Se parte de la expresión Suma de Productos

f ( x, y, z)  xz  xyz  xyz  xyz  xy  yz  xz

3. Se aplican propiedades básicas para eliminar términos redundantes y así

Semestre Primavera 2011 EL-611 Complemento de Diseño Lógico y

4. Se determina el conjunto de implicantes esenciales. Para ello se analizan cada

Se obtiene: f1 ( x, y, z)  xy  yz  xz y se calcula para xz  1  x  0; z  1

5. Se analizan los demás implicantes de la función para cubrir todos los

Semestre Primavera 2011 EL-611 Complemento de Diseño Lógico y

1. Expresión Suma de Productos

Semestre Primavera 2011 EL-611 Complemento de Diseño Lógico y

Minitérmino Número 4.- El procedimiento se repite para el cubo-1.

f (w, x, y, z)  wxy  w y  wz Expresión mínima y única

Se aprovecha la propiedad siguiente: dos números binarios se “combinan”

Ejemplo: 0000 y 0001 difieren en 20 y queda:

1 0001 1,5 (4) porque: 4 = 5−1 diferencia

Semestre Primavera 2011 EL-611 Complemento de Diseño Lógico y

Semestre Primavera 2011 EL-611 Complemento de Diseño Lógico y

Semestre Primavera 2011 EL-611 Complemento de Diseño Lógico y

También podría gustarte

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.