Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Entendible PDF
Entendible PDF
Captulo 6
Algoritmos de minimizacin
La tabla de implicantes tiene como columnas los mintrminos y como renglones los cubos que
son implicantes primos. Para n variables, se tienen 2 n mintrminos o columnas; y se dispone de
3n
un resultado que establece que se pueden tener del orden de implicantes primos. Con lo cual
n
los algoritmos para reducir la tabla, en forma exacta, tienen un costo exponencial.
Por esta razn se han desarrollado heursticas de minimizacin que estn basadas en
propiedades de las funciones booleanas y que producen resultados bastante satisfactorios, desde
un punto de vista de ingeniera. Un excelente ejemplo de estos programas es espresso, que se
trata en el Apndice 3.
6.1. Implicacin
f X
Un implicante primo es un implicante que no puede ser agrupado con otros implicantes, para
formar un sub-cubo de mayor dimensin.
Encontrar los implicantes primos es determinar los grupos de mintrminos que pueden
escribirse con menos literales.
Es aqul que cubre a lo menos un mintrmino de la funcin que no es cubierto por otros
implicantes primos. Deben estar presentes en la forma mnima.
Los mintrminos superfluos pueden emplearse para formar implicantes primos; pero no deben
considerarse para los implicantes primos esenciales.
Para una funcin de 4 variables, cuyo mapa es de la figura 6.2, se tienen los siguientes
implicantes primos:
A'B'D, BC', AC, A'C'D, AB, B'CD
De los 6 implicantes primos, slo AC es esencial, ya que contiene al mintrmino: AB'CD' que
no es cubierto por ningn otro implicante primo.
A
0 d 1 0
1 1 1 0
D
1 0 1 1
C
0 0 1 1
B
Figura 6.2 Implicantes primos
Ejemplo 6.2.
0 0 1 0
1 1 1 0
D
0 1 1 1
C
0 1 0 0
B
Figura 6.3 Implicantes primos ejemplo 6.2
Slo BD es no esencial, ya que los dems contienen un mintrmino no cubierto por los otros
implicantes primos.
La funcin mnima debe contener los esenciales, y con stos se logra cubrir completamente a la
funcin:
f = ABC' + ACD + A'BC + A'C'D
Es un mtodo sistemtico para encontrar la expresin mnima de una funcin, que no depende
de la habilidad para reconocer agrupaciones en un mapa de Karnaugh.
Bsicamente, es una bsqueda exhaustiva de todas las adyacencias entre los mintrminos de la
funcin, mediante la aplicacin sistemtica del teorema de fusin ( a ab ab ) a todos los
trminos de la forma cannica.
Los trminos que originan nuevas entradas, en la prxima columna, slo necesitan marcarse una
vez. Pero pueden usarse las veces que sea necesario.
Ntese que la segunda columna lista todos los grupos de dos mintrminos. La tercera, lista
grupos de cuatro mintrminos adyacentes, y as sucesivamente. Al finalizar el proceso anterior,
los elementos no marcados en las columnas, corresponden a los implicantes primos.
Ejemplo 6.3.
Obtener los implicantes primos de: f (a, b, c) m(0, 2,5, 6, 7)
No se pueden formar nuevas columnas, por lo tanto los implicantes primos son:
Ntese que en la segunda columna, se han identificado los renglones con los grupos de
mintrminos.
La tabla de implicantes se forma empleando los implicantes primos en los renglones y los
mintrminos de la funcin en las columnas. Luego, en cada rengln, se marca con valor 1 las
columnas de los mintrminos pertenecientes al implicante considerado.
Aquellas columnas que tengan slo una marca, permiten detectar a los implicantes primos
esenciales. En esta tabla debe escogerse el menor nmero de implicantes primos que cubran
todos los mintrminos de la funcin. Evidentemente, deben estar presentes todos los implicantes
primitivos esenciales en la expresin mnima de una funcin.
Ejemplo 6.4.
La tabla de implicantes, para el ejemplo anterior:
0 2 5 6 7
a'c' 1 1
bc' 1 1
ac 1 1
ab 1 1
La columna 0, por tener slo un rengln marcado, permite identificar a: a'c' como implicante
primo esencial.
Se acostumbra encerrar con un crculo las marcas en las columnas que definen los implicantes
primos esenciales.
Ntese que slo resta cubrir el mintrmino 6, lo que puede lograrse eligiendo: bc' o ab.
o, alternativamente: f = a'c' + ac + ab
En caso de tener tablas complejas, stas pueden reducirse mediante el siguiente mtodo.
Cada vez que se selecciona un implicante para formar la funcin, se remueve el rengln
correspondiente.
Cuando se remueve un rengln, tambin se eliminan las columnas que tienen marcas en dicho
rengln.
Se comienza eliminando los implicantes primos esenciales. Luego la tabla puede seguir
reducindose, aplicando las siguientes reglas:
Un rengln cubre a otro, si tiene marcas en las columnas marcadas del otro, pudiendo adems
tener columnas adicionales marcadas. Podra decirse que el rengln eliminado es menos
importante, debido a su menor cobertura de la funcin.
Una columna cubre a otra, si contiene marcas en cada rengln que esa otra columna tiene
marcas, pudiendo adems tener renglones adicionales marcados.
Ejemplo 6.5.
En la Figura 6.6, el implicante primo ipa cubre al implicante primo ipb. Puede eliminarse
rengln ipb; ya que si luego se eligiese ipa, m1 y m3 quedaran considerados en la funcin.
m1 m2 m3
ipa 1 1 1
ipb 1 1
1 5 13 9
01 1 1
3 7 15 11
11 1 1
2 6 14 10
10
f(A, B, C, D)=m(0,4,5,11,13,15)
Figura 6.7 Mapa con implicantes.
0 4 5 11 13 15
ACD 1 1
ABC 1 1
BCD 1 1
ABD 1 1
ACD 1 1
Se tiene que ACD y ACD son implicantes primos esenciales. Reduciendo la tabla de la Figura
6.8, se obtiene:
5 13
ABC 1
BCD 1 1
ABD 1
Si se elimina columna m2, para cubrir al mintrmino m1 debe seleccionarse uno de los cubos:
ipb o ipc; y como cualquiera de stos contiene a m2, se considera automticamente a m2 en la
cobertura.
1 5 13 9
01 1 1 d d
3 7 15 11
11 1 1
2 6 14 10
10 1 d
1 2 3 5 7
AB 1 1 1
CD 1 1
AD 1 1 1 1
AC 1 1 1
2 5 7
AB 1
CD 1
AD 1 1
AC 1 1
En la Figura 6.13, se tiene que el cubo AD cubre al cubo CD; y que el implicante AC cubre al
implicante AB. Eliminando los renglones cubiertos, resulta:
2 5 7
AD 1 1
AC 1 1
En la tabla reducida de la Figura 6.14, los cubos AD y AC deben formar parte de la funcin ya
que tienen una columna con una sola marca; stos podra denominarse implicantes primos
esenciales secundarios. Resulta:
f(A, B, C, D) = AD + AC
f(A, B, C, D) = AD + AB
f(A, B, C, D) = AC + CD
Se repite la aplicacin de las reglas hasta agotar la tabla. Siempre se remueven aquellos
renglones que contengan columnas con una sola marca; se tratan en la tabla reducida, en forma
similar a los implicantes primos esenciales en la tabla completa.
La funcin se forma con los implicantes de los renglones removidos por contener columnas con
una sola marca.
En determinados casos, luego de remover los implicantes primos esenciales, los renglones
cubiertos por otros, y las columnas que cubren a otras, no puede seguir reducindose la tabla.
Se denominan tablas reducidas cclicas, aqullas que no pueden reducirse segn el mtodo
recin planteado.
Para resolver tablas cclicas se tienen varios mtodos; uno es una heurstica conocida como
bifurcacin y acotamiento, otro es el algoritmo o mtodo exacto de Petrick.
6.5.1. Bifurcacin.
La columna costo puede ser el nmero de literales del implicante primo. Se escoge,
tentativamente, uno de los implicantes, removindolo junto a los mintrminos que cubre; se
Para el caso de la tabla cclica de la Figura 6.15, se escoge en primer lugar Ip1, con costo 2,
queda, luego de la reduccin:
Costo m3
Ip2 4 1
Ip3 2 1
Costo m1
Ip1 2 1
Ip3 2 1
Costo m2
Ip1 2 1
Ip2 4 1
Entonces tenemos dos soluciones con costo total 4, para la solucin de la tabla cclica. A este
costo habra que sumarle el debido a la seleccin de implicantes primos antes de la tabla cclica.
Si el subproblema resulta cclico, debe repetirse el procedimiento en forma recursiva.
Se plantea una expresin booleana P, como producto de sumas, que garantice que la cobertura
considera todos los mintrminos de la tabla, sea sta cclica o no, y que a la vez entregue todas
las soluciones de cobertura posibles.
Si definimos Pi como verdadera si el implicante primo Ipi est presente en la cobertura; y falsa
si no est presente, podemos plantear, observando la Figura 6.19, que para que el mintrmino
m1 est presente en la cobertura, debe cumplirse que debe estar presente el implicante Ip1 o el
implicante Ip4; es decir: (P1+P4).
P = (P1+P4)(P2+P3)(P1+P3)(P2+P4)
Se tienen dos soluciones, que resuelven la tabla cclica: los implicantes Ip1 e Ip2, o bien los
implicantes Ip3 e Ip4. Puede verificarse que ambas son coberturas, con la tabla de la Figura
6.19.
Se elige la de menor costo.
Ejemplo 6.8.
Si una columna cubre a otra, puede eliminarse la columna que cubre a las otras. Por ejemplo si
un mintrmino tiene garantizada su inclusin, si (P6 + P7 + P8) y si otro mintrmino tiene
asegurada su cobertura si: (P6 + P7); entonces puede comprobarse que:
P= (Pp1)(...)(Ppm)(Pa+Pb)()
Donde (Pp1)()( Ppm) son los m implicantes primos esenciales. El resto de las sumas deben
garantizar la inclusin de los mintrminos no esenciales en la cobertura de la funcin. De esta
forma el tratamiento algebraico para reducir los productos de sumas a suma de productos se
complica un tanto, pero se obtienen todas las formas de implementacin posibles. En todas stas
deben estar presentes los m implicantes primos esenciales.
Ejemplo 6.9.
Si se toma la tabla de la Figura 6.13, y se enumeran los implicantes segn:
2 5 7
IP1 AB 1
IP2 CD 1
IP3 AD 1 1
IP4 AC 1 1
P = (P1+P4)(P2+P3)(P3+P4)
Lo cual muestra que el mtodo de Petrick obtiene todas las soluciones posibles.
Debe notarse que si se eliminan los renglones que son cubiertos por otros, no se obtienen todas
las soluciones. En el caso del ejemplo de la Figura 6.20, deberan eliminarse el rengln IP1, que
es cubierto por IP4; y el implicante primo IP2 que es cubierto por el rengln IP3.
Ejemplo 6.10.
Reducir la tabla de implicantes de la funcin f(a,b,c,d) que se muestra en la Figura 6.21.
Notar que el costo de todos los implicantes primos es similar, ya que todos contienen dos
mintrminos.
1 3 4 6 7 9 13 15
ipa 1 1
ipb 1 1
ipc 1 1
ipd 1 1
ipe 1 1
ipf 1 1
ipg 1 1
iph 1 1
1 3 7 9 13 15
ipa 1 1
ipc 1 1
ipd 1
ipe 1 1
ipf 1 1
ipg 1 1
iph 1 1
El rengln ipc cubre a ipd; por lo tanto, puede eliminarse el rengln ipd.
1 3 7 9 13 15
ipa 1 1
ipc 1 1
ipe 1 1
ipf 1 1
ipg 1 1
iph 1 1
Ahora, ipe cubre a ipc; e ipg cubre a iph, queda eliminando a ipc e iph:
7 9 13 15
ipe 1 1
ipf 1 1
ipg 1 1
ipe e ipg deben formar parte de la funcin; pues contienen a las columnas 7 y 9, que en la tabla
reducida slo tienen una marca. Luego de esto, la tabla queda vaca.
Finalmente:
f = ipb + ipa + ipe + ipg
f=abd+abd+bcd+acd
Existen otras formas posibles. stas se obtienen eliminando otro implicante cuando la tabla
result cclica. Por ejemplo, eliminando ipc, en la Figura 6.18, resulta:
1 9 13 15
ipa 1
ipe 1
ipf 1 1
ipg 1 1
iph 1 1
1 9 13 15
ipf 1 1
ipg 1 1
iph 1 1
Aplicando el mtodo de Petrick a la tabla de la Figura 6.21, se debe satisfacer p, para cubrir
todos los mintrminos:
p= (pa+ph)*(pa+pc)*(pb)*(pb+pd)*(pc+pd+pe)*(pg+ph)*(pf+pg)*(pe+pf);
Expresando como suma de productos, se obtienen siete soluciones, debe notarse que pb, est
presente en todos los productos, ya que es esencial. A continuacin debe evaluarse el costo de
cada una de las soluciones para seleccionar cuales son mnimas.
Los dos ltimos productos, formados por cuatro implicantes primos son las dos soluciones
obtenidas antes, con 16 entradas. Los primeros cuatro productos del mtodo de Petrick,
conducen a soluciones con 15 literales y 20 entradas, por lo cual no son considerados soluciones
mnimas.
f= (b+d)(a+d)(a+b+c)(a+b+c+d)
Es una variante para encontrar los implicantes primos, representando en forma digital el mtodo
de Quine, y es adecuado para ser programado en un computador.
Su complejidad, de tipo exponencial, lo convierte en un problema intratable para elevados
valores de variables.
Se comparan los elementos de cada grupo, buscando adyacencias, y se forman las siguientes
columnas en forma similar al mtodo de Quine. Notando que en la representacin decimal,
diferencias de 1, 2, 4, 8 y, en general, de una potencia de 2, indican una diferencia en un bit.
Tambin se mantiene la separacin en grupos en las nuevas columnas.
Es posible encontrar una funcin que entregue el nmero de unos en representacin binaria de
un nmero decimal. La cual facilita la formacin de los grupos.
La segunda columna representa todas las agrupaciones posibles de dos mintrminos. La tercera
columna representa grupos de cuatro mintrminos, y as sucesivamente.
El algoritmo permite trabajar con dgitos decimales o binarios. Se anotan en los ejemplos
columnas binarias y decimales.
En la segunda y siguientes columnas, las variables eliminadas se denotarn con un guin
(tambin es posible anotar la posicin del guin con un nmero decimal potencia de dos).
Pueden combinarse dos trminos si ellos difieren solamente en un literal; por esta razn, no
podrn combinarse dos trminos en un mismo grupo. Los miembros de un grupo de un solo "1",
difieren en dos variables por lo menos; lo mismo puede establecerse para los otros grupos. Esta
observacin organiza la bsqueda de adyacencias, ya que slo es preciso comparar entre grupos
adyacentes.
Ejemplo 6.11.
g(a, b, c, d, e, f) = m(0,2,6,7,8,10,12,14,15,41)
Decimal Binario
mintrmino a b c d e f Nmero de unos
0 0 0 0 0 0 0 0
2 0 0 0 0 1 0 1
8 0 0 1 0 0 0
6 0 0 0 1 1 0 2
10 0 0 1 0 1 0
12 0 0 1 1 0 0
7 0 0 0 1 1 1 3
14 0 0 1 1 1 0
41 1 0 1 0 0 1
15 0 0 1 1 1 1 4
Los mintrminos del grupo con n unos, se comparan con todos los del grupo con (n+1) unos.
Decimal Binario
Grupo Posicin a b c d e f Nmero de unos
0,2 2 0 0 0 0 - 0 0
0.8 8 0 0 - 0 0 0
2,6 4 0 0 0 - 1 0 1
2,10 8 0 0 - 0 1 0
8,10 2 0 0 1 0 - 0
8,12 4 0 0 1 - 0 0
6,7 1 0 0 0 1 1 - 2
6,14 8 0 0 - 1 1 0
10,14 4 0 0 1 - 1 0
12,14 2 0 0 1 1 - 0
7,15 8 0 0 - 1 1 1 3
14,15 1 0 0 1 1 1 -
No importa el orden de las listas de mintrminos, slo se anotan una vez. Por ejemplo, entre los
primeros grupos se tiene:
0, 2 (2)
8, 10 (2)
Diferencia: 8, 8 generando: 0, 2, 8, 10 (2,8)
0, 8 (8)
2, 10 (8)
Diferencia: 2, 2 generando: 0, 8, 2, 10 (8,2)
Decimal Binario
Grupo Posicin a b c d e f Nmero de unos
0, 2, 8, 10 2,8 0 0 - 0 - 0 0
2, 6, 10, 14 4,8 0 0 - - 1 0 1
8, 10,12,14 2,4 0 0 1 - - 0
6, 7, 14, 15 1,8 0 0 - 1 1 - 2
Implicantes 0 2 8 6 10 12 7 14 41 15
primos
41 1
0, 2, 8, 10 1 1 1 1
2, 6, 10, 14 1 1 1 1
8, 10, 12, 14 1 1 1 1
6, 7, 14, 15 1 1 1 1
Ntese que todo el proceso podra haberse realizado slo considerando la informacin binaria, o
solamente la informacin decimal.
6.7.1. Fundamentos.
f p1 p2 ... pk
Si se tiene:
pi a p j con a 1 , siendo a una de las variables de f .
Se puede descartar pi de f.
Esto debido a que:
pi p j a p j p j (a 1) p j p j
Lo cual puede anotarse:
pi p j
El mtodo consiste en introducir trminos implicados, de tal manera de eliminar los trminos
que los implican. Es decir, se introduce p j , en la suma de productos, y se elimina pi .
f xT x ' yT yT
Como se tiene que:
x ' yT yT
f xT yT
La formacin de implicantes basada en el teorema de fusin, sobre la que est basado el mtodo
de Quine, tambin puede verse como la eliminacin de productos que implican a otros
productos:
f xT x ' T
Los productos S y R tienen consenso S0 R0 , si existe una variable x tal que S xS0 y R x ' R0 ;
y no existe una variable y , en el producto S 0 , que aparezca como y ' en R0 . Si existe la variable
y , el trmino S0 R0 es cero, y no hay consenso. Se dice que la variable x es biforme en el
conjunto: S , R . Los productos S y R estn formados por conjuntos disjuntos de mintrminos.
El consenso es el implicante primo de los mintrminos de S y R , y es la mxima cobertura entre
las fronteras de la exclusin mutua entre S y R .
AB S AB
CD 00 01 11 10 CD 00 01 11 10
0 4 12 8 0 4 12 8
00 1 00 1 1
1 5 13 9 1 5 13 9
01 1 01 1 1
3 7 15 11 3 7 15 11
11 1 1 1 1 11 1 1 1 1
2 6 14 10 2 6 14 10
10 10
S0R0=ABD R S0R0=AD
f p1 p2 ... pk
Sea el conjunto:
L p1 , p2 ,..., pk
AB
CD 00 01 11 10
0 4 12 8
00 1
1 5 13 9
01 1 1
15 11
11 13 17 1
2 6 14 10
10 1 1
D es biforme, se tiene consenso ABC entre (0000, 00_1), ABC entre (0110, 01_1) y ABC
entre (1110, 1111).
AB
CD 00 01 11 10
0 4 12 8
00 1
1 5 13 9
01 1 1
3 7 15 11
11 1 1 1
2 6 14 10
10 1 1
Agregndolos a L:
L 0000, 0110,1110,1111, 00 _1, 01_1, 000 _, 011_,111_
Eliminando los que implican consensos:
L 00 _1, 01_1, 000 _, 011_,111_
Agregando (_11_) a L:
L 00 _1, 01_1, 000 _, 011_,111_, _11_
Eliminando los que implican consenso:
L 00 _1, 01_1, 000 _, _11_
Finalmente B, es biforme, se tiene consenso AD entre (00_1,01_1),
AB
CD 00 01 11 10
0 4 12 8
00 1
1 5 13 9
01 1 1
15 11
11 13 17 1
2 6 14 10
10 1 1
Agregando (0__1) a L:
L 00 _1, 01_1, 000 _, _11_, 0 __1
Eliminando los que implican consenso, se obtienen los implicantes primos:
L 000 _, _11_, 0 __1
AB
CD 00 01 11 10
0 4 12 8
00 1
1 5 13 9
01 1 1
3 7 15 11
11 1 1 1
2 6 14 10
10 1 1
Entonces:
S0 R0 1 1 0 0
Debido a que el producto de una variable o su complemento en S, cuando no est presente esa
variable en R, deja la variable en el trmino de consenso.
Lo anterior puede comprobarse en el siguiente ejemplo. El producto: (ab ' e ')(ab ' cde) ab ' cd
Puede representarse, empleando notacin de cubos, por:
S 10--0
R =10111
S0 R0 1011-
El cdigo, con notacin de subcubo, para pi , sintoniza con todos los caracteres binarios de p j ;
y pi tiene unos o ceros en posiciones donde p j tiene .
Ejemplo: 1011 1 1 1 1
Ejemplo 6.13.
Aplicando las operaciones binarias anteriores, pueden determinarse los implicantes primos de f,
debe observarse que L puede estar formado por productos, no necesariamente mintrminos.
Para: f ( x1 , x2 , x3 , x4 , x5 , x6 ) , se tiene:
L 0 11 1, 0 0 1,1 11 0,1 1 1
x4 y x5 no son biformes en L.
x6 es biforme en L, en 1 11 0,1 1 1 con consenso: 1 11 y tambin en:
1 11 0, 11 1 con consenso: 1 11
L 0 0 1,1 11 0,1 1 1, 11 1, 0 1 1,1 11
Se tiene la nica implicacin: 1 11 0 1 11 .
L 0 0 1,1 1 1, 11 1, 0 1 1,1 11
Ejemplo 6.14.
Minimizar: bef+acdefgh+bgh
Se tiene una funcin de ocho variables, para la cual es difcil emplear mapas de Karnaugh.
Con b biforme, el consenso entre el primer y ltimo trmino es: efgh.
Pero acdefgh implica efgh. A su vez efgh es trmino de consenso, e implica a bef y bgh.
Entonces resulta: bef + bgh
Ejemplo 6.15.
Minimizar: acde+d+e+c.
Problemas resueltos.
Problema 6.1.
Solucin.
Se ordena segn nmero de unos de los mintrminos. En la primera columna quedan todos los
mintrminos marcados, en el proceso de formar la siguiente columna de 1-cubos.
un uno
8 001000
10 001010 dos unos
24 011000
26 011010 tres unos
42 101010
58 111010 cuatro unos
59 111011
cinco unos
8,10 0010_0
8,24 0_1000
10,26 0_1010
10,42 _01010
24,26 0110_0
26,58 _11010
42,58 1_1010
58,59 11101_ ip1 queda sin marcar
La tercera columna, de los 2-cubos, es la ltima que puede formarse. Y por lo tanto los
renglones quedan sin marcar.
Problema 6.2.
2 3 4 5 8 10
ip1 x x x
ip2 x x x x
ip3 x x
ip4 x x x x
ip5 x x
a) Determinar cules renglones pueden eliminarse por estar cubiertos por otro.
b) Determinar cules columnas pueden eliminarse.
c) Explicar la razn por la que ip2 e ip4 figuran con los mismos mintrminos.
Solucin.
a) ip1 cubre a ip3 y tambin a ip5. Podran eliminarse renglones asociados a ip3 e ip5.
ip2 cubre a ip4 y viceversa; puede eliminarse uno de ellos.
b) Columna 3 puede eliminarse, ya que est cubierta por la columna 2. (el mintrmino 3 tiene
asegurada su consideracin)
Columna 4 puede eliminarse, ya que est cubierta por las columnas 5, 8 y 10. (el mintrmino 4
tiene asegurada su consideracin)
Columnas 5, 8 y 10 se cubren entre s. Pueden eliminarse dos cualesquiera.
c) ip2 e ip4 tienen iguales mintrminos, se diferencian en implicantes superfluos; los cules no
se indican en la tabla.
Ejercicios propuestos.
Ejercicio 6.1.
Y para que estn presentes todos los mintrminos, debe cumplirse, aplicando el mtodo de
Petrick:
P = (P1+P8+P9)*(P6+P7+P8+P9)*(P6+P7)*(P1+P3+P4+P9)*(P3+P4)*(P3+P6+P9)*
(P3+P6)* (P1+P2+P5+P8)*(P2+P5)*(P2+P7+P8)*(P2+P7)*(P1+P4+P5)*(P4+P5);
Lo cual entrega 15 soluciones, seis de ellas formadas por cuatro implicantes, que resultan las
formas mnimas.
INORDER = P1 P2 P3 P4 P5 P6 P7 P8 P9;
OUTORDER = P;
P = (P1+P8+P9)*(P6+P7+P8+P9)*(P6+P7)*(P1+P3+P4+P9)*(P3+P4)*(P3+P6+P9)*(P3+P6)*
(P1+P2+P5+P8)*(P2+P5)*(P2+P7+P8)*(P2+P7)*(P1+P4+P5)*(P4+P5);
Los ltimos seis productos son las formas mnimas, y se han anotado a la derecha de las
funciones en el enunciado del problema.
Ejercicio 6.3.
Ejercicio 6.4.
Ejercicio 6.5.
Ejercicio 6.6.
Ejercicio 6.7.
Demostrar
f g f g g y f g f
f g ( f g) y (g f )
W.V. Quine. "The problem of simplifying truth functions." American Mathematical Monthly
Vol. 59. Octubre 1952. pgs 521-531.
W.V. Quine. "A way to simplify truth functions." American Mathematical Monthly Vol. 62.
Noviembre 1955. pgs 627-631.
E.J. McCluskey. "Minimization of Boolean Functions". Bell Syst. Tech. Journal N6,
Noviembre 1956. pgs. 1417-1444.
P. Tison. "Thorie des consensus. These prsente La Faculte des Sciences de L'Universite
de Grenoble. Junio 1965.
P. Tison, "Generalization of consensus theory and application to the minimization of Boolean
functions," IEEE Trans. Electron. Comput., vol. EC-16, pp. 446-456, Aug. 1967.
Petrick, S. R. A Direct Determination of the Irredundant Forms of a Boolean Function from the
Set of Prime Implicants. Technical Report AFCRC-TR-56-110, Air Force Cambridge Research
Center, Cambridge, MA, USA. 1956.
ndice general.
CAPTULO 6 ............................................................................................................................................. 1
ALGORITMOS DE MINIMIZACIN ................................................................................................... 1
6.1. IMPLICACIN ..................................................................................................................................... 1
6.2. IMPLICANTES PRIMOS ........................................................................................................................ 2
6.3. IMPLICANTE PRIMO ESENCIAL ............................................................................................................ 2
Ejemplo 6.1. ........................................................................................................................................ 3
Ejemplo 6.2. ........................................................................................................................................ 3
6.4. MTODO DE QUINE (1952) ................................................................................................................ 4
6.4.1. Obtencin de implicantes primos .............................................................................................. 4
Ejemplo 6.3. ..................................................................................................................................................... 4
6.4.2. Tabla de implicantes ................................................................................................................. 5
Ejemplo 6.4. ..................................................................................................................................................... 5
6.4.3. Reduccin de tablas................................................................................................................... 6
Ejemplo 6.5. ..................................................................................................................................................... 6
Ejemplo 6.6. ..................................................................................................................................................... 8
6.5. TABLA REDUCIDA CCLICA. ............................................................................................................. 10
6.5.1. Bifurcacin. ............................................................................................................................. 10
Ejemplo 6.7. ................................................................................................................................................... 10
6.5.2. Petrick (1956). ......................................................................................................................... 11
Ejemplo 6.8. ................................................................................................................................................... 12
Ejemplo 6.9. ................................................................................................................................................... 13
Ejemplo 6.10. ................................................................................................................................................. 13
6.6. MTODO DE QUINE-MCCLUSKEY (1956) ........................................................................................ 17
Ejemplo 6.11...................................................................................................................................... 17
6.7. MTODO DE TISON (1965) PARA ENCONTRAR IMPLICANTES PRIMOS. CONSENSO REITERADO. ........ 20
6.7.1. Fundamentos. .......................................................................................................................... 20
6.7.2. Algoritmo de Tison. ................................................................................................................. 21
Ejemplo 6.12. ................................................................................................................................................. 22
6.7.3. Operaciones para desarrollar el algoritmo, ........................................................................... 25
a) Obtener trminos de consenso. .................................................................................................................. 25
b) Un producto que implica otro: pi p j ............................................................................................... 26
Ejemplo 6.13...................................................................................................................................... 26
Ejemplo 6.14...................................................................................................................................... 27
Ejemplo 6.15...................................................................................................................................... 27
PROBLEMAS RESUELTOS. ........................................................................................................................ 28
Problema 6.1. .................................................................................................................................... 28
Problema 6.2. .................................................................................................................................... 29
EJERCICIOS PROPUESTOS. ....................................................................................................................... 29
Ejercicio 6.1. ..................................................................................................................................... 29
Ejercicio 6.2. ..................................................................................................................................... 30
Ejercicio 6.3. ..................................................................................................................................... 31
Ejercicio 6.4. ..................................................................................................................................... 31
Ejercicio 6.5. ..................................................................................................................................... 31
ndice de figuras