CAPÍTULO 3 - FORMAS DE REPRESENTAR UNA FUNCIÓN - MINIMIZACIÓN 47

CAPÍTULO 3

FORMAS DE REPRESENTAR UNA FUNCIÓN

MINIMIZACIÓN

3.1 REPRESENTACIÓN DE UNA FUNCIÓN LÓGICA

Antes de tratar algún método sistemático para minimizar expresiones lógicas, es necesario
conocer las formas básicas como se puede representar una función o expresión lógica cualquiera.
En cualquier expresión lógica sus diferentes términos pueden contener las variables arregladas de
formas diferentes, pero en todos los casos siempre aparecerán como sumas de las variables,
productos de ellas o combinaciones de ambas, independientemente de que aparezcan variables
complementadas o no. A su vez, lo mismo se aplica a la expresión algebraica con relación a sus
términos; de ello se deduce que la expresión como tal, en general podrá contener una mezcla de
productos y sumas de términos.
Sin embargo, cualquiera que sea la forma que tenga la expresión lógica, siempre se podrá
manipular algebraicamente hasta que quede constituida solamente por la suma de términos que sean
a su vez el producto de algunas o todas las variables o solamente por el producto de términos que
sean a su vez la suma de algunas o todas las variables. Es decir, cualquier expresión lógica siempre
puede expresarse como una suma de productos o bien como un producto de sumas, las cuales
constituyen las formas estándares de representación.
Considérese la siguiente función lógica de cuatro variables:

F  A, B,C , D   C B  A   C  B   C  D  (3-1)
la cual puede observarse, no está expresada como una suma de productos ni como un producto de
sumas solamente.
La tabla de la verdad correspondiente a esta expresión se muestra en la Figura 3-1, la cual, de
acuerdo con lo visto en el capítulo anterior, puede obtenerse directamente de la expresión algebraica.

3.1.1 SUMA DE PRODUCTOS

La función lógica dada por la ecuación (3-1) puede expresarse como una suma de productos si se
manipula algebraicamente de la forma apropiada. Así, aplicando la Propiedad Distributiva
 X Y  Z   X Y  X Z

 X Y Z   X Y X  Z
a la ecuación (3-1) resulta:
F  A, B,C , D   C B  A  C  B D
F  A, B,C , D   C 1  B  A  B D
F  A, B ,C , D   A  C  B D (3-2)
 48 INTRODUCCIÓN A LOS SISTEMAS DIGITALES

la cual ha quedado expresada como una suma de productos, aun cuando los dos primeros términos
sólo contengan una variable.
Obsérvese que en este caso los términos de la suma, que son productos, no contienen a todas las
variables y por ello se denominan productos normales.

Tabla 3-1. Tabla de la verdad de la expresión lógica (3-1).

3.1.1.1 MINTERM
Se define como minterm o producto canónico a los términos de una suma de productos donde
cada uno de ellos contiene a todas las variables de la función.

3.1.1.2 SUMA ESTÁNDAR O SUMA EXPANDIDA

Se denomina suma expandida o suma estándar a una suma de productos cuyos términos sean
solamente minterms.
Según esta definición la ecuación (3-2) no constituye una suma expandida, ya que ninguno de sus
términos es un minterm; sin embargo, puede obtenerse la suma expandida a partir de ella, realizando
ciertas operaciones algebraicas y aplicando las propiedades siguientes:

 X  X 1

 X 1  X
 XY Y X

F  A, B,C , D   A 1  C 1  B D 1  A  B  B   C  A  A   B D  A  A 
 AB  AB  AC  AC  ABD  ABD
 AB ( C  C )  AB ( C  C )  AC ( B  B )  AC ( B  B )  ABD ( C  C ) 
 ABD ( C  C )
 ABC  ABC  ABC  ABC  ABC  ABC  ABC  ABC  ABCD 
 CAPÍTULO 3 - FORMAS DE REPRESENTAR UNA FUNCIÓN - MINIMIZACIÓN 49

 ABCD  ABCD  ABCD

 ABC  ABC  ABC  ABC  ABC  ABC  ABCD  ABCD  ABCD 
 ABCD
 ABC ( D  D )  ABC ( D  D )  ABC ( D  D )  ABC ( D  D ) 
 ABC ( D  D )  ABC ( D  D )  ABCD  ABCD  ABCD  ABCD
 ABCD  ABCD  ABCD  ABCD  ABCD  ABCD  ABCD  ABCD 
 ABCD  ABCD  ABCD  ABCD  ABCD  ABCD  ABCD  ABCD
 ABCD  ABCD  ABCD  ABCD  ABCD  ABCD  ABCD  ABCD 
 ABCD  ABCD  ABCD  ABCD  ABCD
de donde resulta:
F ( A, B,C , D )  ABCD  ABCD  ABCD  ABCD  ABCD 

 ABCD  ABCD  ABCD  ABCD  ABCD  (3-3)

 ABCD  ABCD  ABCD

la cual corresponde a la suma expandida de la función F(A,B,C,D).

Con relación a una función expresada en forma de suma expandida, se pueden observar los
siguientes aspectos:
 Cada término o minterm de la expresión corresponde a una combinación de la tabla de la verdad
para la cual la función vale 1 (verdadera), por lo tanto, el número de términos o minterms de la
suma expandida dependerá de la función correspondiente. La cantidad de minterms siempre será
menor o igual al número de combinaciones de las variables de la función; y cuando sea igual co-
rresponderá a que la función vale 1, lo que quiere decir que es verdadera siempre.
Por ejemplo, en este caso que la función es de cuatro variables y el número de minterms de la
suma expandida es trece, deben existir sólo trece combinaciones en la tabla de la verdad para las
cuales la función es 0 (véase la Tabla 3-1).
 Los minterms de una suma expandida son mutuamente exclusivos; o sea, si para cierta combina-
ción uno de ellos es 1 todos los demás son 0. Sin embargo, es posible que todos sean 0.

3.1.1.3 OBTENCIÓN DE "MINTERMS" A PARTIR DE LA TABLA DE LA VERDAD

A continuación se describe el procedimiento para obtener los minterms de una función a partir de
su tabla de la verdad:
1) Se toman de la tabla de la verdad solamente las combinaciones para las cuales la función valga 1.
Cada combinación dará origen a un minterm.
2) Cada minterm estará constituido por el producto de todas las variables de la función.
3) Aquellas variables cuyo respectivo valor en la combinación sea 0, se complementarán en el min-
term correspondiente. Por el contrario, las variables cuyo valor en la combinación sea 1 no serán
complementadas en el minterm.
Puede observarse que aplicando el procedimiento descrito a la función definida por la Tabla 3-1,
se obtiene directamente la función F(A,B,C,D) expresada como suma expandida (ecuación 3-3).
 50 INTRODUCCIÓN A LOS SISTEMAS DIGITALES

3.1.2 PRODUCTO DE SUMAS

Así como una función cualquiera puede ser llevada a su forma de suma de productos al ser
manipulada algebraicamente, también es posible mediante otro procedimiento algebraico expresarla
como un producto de sumas.
Partiendo de nuevo de la ecuación (3-1) y aplicando la Propiedad Distributiva resulta:

haciendo CB  A  X C  B   Y C  D   Z
F  A, B,C , D    A  CB  C  B  A  CB  C  D 

F  A, B,C , D    A  C  B  1  B   A  C  B  1  D 
F  A, B,C , D    A  C  B  A  C  D  (3-4)

la cual está expresada ahora como un producto de sumas.

Obsérvese que también en este caso los términos (sumas) del producto no contienen a todas las
variables y por ello se denominan sumas normales.

3.1.2.1 MAXTERM
Se define como maxterm o suma canónica a los términos de un producto de sumas donde cada
uno de ellos contiene a todas las variables de la función.

3.1.2.2 PRODUCTO ESTÁNDAR O PRODUCTO EXPANDIDO

Se denomina producto expandido o producto estándar a un producto de sumas cuyos términos
sean solamente maxterms.
Según la definición, la ecuación (3-4) no constituye un producto expandido o estándar puesto que
sus términos no son maxterms; sin embargo, también puede obtenerse el producto expandido a partir
de ella mediante el siguiente procedimiento algebraico y aplicando las propiedades siguientes:

 XX 0

 X 0  X

 X Y  Y  X
 X  Y Z   X  Y  X  Z

F  A, B,C , D    A  B  C  DD  A  C  D  BB 
  A  B  C  D  A  B  C  D  A  B  C  D  A  B  C  D 
donde al aplicar la propiedad X X  X resulta:

F  A, B,C , D    A  B  C  D   A  B  C  D   A  B  C  D  (3-5)

la cual corresponde al producto expandido de la función F(A,B,C,D).

Con relación a la función expresada en forma de producto expandido, se pueden observar los
siguientes aspectos:
 Cada término o maxterm de la expresión corresponde a una combinación de la tabla de la verdad
para la cual la función vale 0 (falsa); por lo tanto, el número de términos o maxterms del producto
expandido dependerá de la función en particular. La cantidad de maxterms siempre será menor o
igual al número de combinaciones de las variables de la función; y cuando sea igual corresponde-
rá a que la función siempre vale 0 o que es falsa.
Para el caso de la función F(A,B,C,D) de cuatro variables que se está considerando, el número de
maxterms del producto expandido es tres, por lo que deben existir sólo tres combinaciones en la
tabla de la verdad para las cuales la función es 0 (véase la Tabla 3-1).
 CAPÍTULO 3 - FORMAS DE REPRESENTAR UNA FUNCIÓN - MINIMIZACIÓN 51

 El producto expandido también puede obtenerse complementando la suma de productos expandi-

da complementaria, que es aquella sumatoria de minterms para los cuales la función vale 0; y apli-
cando luego las leyes de De Morgan.
Para ver más en detalle este procedimiento alterno para expresar una función como el producto
estándar, considérese la función G(X,Y,Z) definida por su tabla de la verdad, que se muestra en la
Tabla 3-2.
La suma de productos y el producto de sumas expandidas de la función son respectivamente:
G

 X ,Y ,Z   XY Z  XYZ  XYZ  XYZ
G  X ,Y , Z    X  Y  Z   X  Y  Z  X  Y  Z  X  Y  Z 


donde el producto expandido se obtuvo siguiendo el procedimiento que se presenta en la sección

3.1.2.3.

Tabla 3-2. Tabla de la verdad de la función G(X,Y,Z).

Ahora bien, la suma de productos expandida complementaria es aquella sumatoria de los

minterms para los cuales la función vale 0; y es obtenida mediante el mismo procedimiento que se
sigue para la obtención de la suma de productos. Así, luego de aplicar las leyes de De Morgan,
resulta que:

G  X ,Y , Z   XY Z  XYZ  XY Z  XY Z  XY Z  XYZ  XY Z  XYZ

  X  Y  Z  X  Y  Z  X  Y  Z  X  Y  Z 

la cual corresponde al producto expandido obtenido antes directamente de la tabla.

3.1.2.3 OBTENCIÓN DE "MAXTERMS" A PARTIR DE LA TABLA DE LA VERDAD

A continuación se describe el procedimiento correspondiente para obtener directamente los
maxterms de una función a partir de su tabla de la verdad:
1) Se consideran en la tabla de la verdad solamente las combinaciones para las cuales la función
vale 0. Cada combinación dará origen a un maxterm.
2) Cada maxterm estará constituido por la suma de todas las variables de la función.
3) Aquellas variables cuyo respectivo valor en la combinación sea 1, se complementarán en el max-
term correspondiente. Por el contrario, las variables cuyo valor en la combinación sea 0, no apare-
cerán complementadas en el maxterm.
 52 INTRODUCCIÓN A LOS SISTEMAS DIGITALES

Puede observarse que al aplicar a la tabla de la verdad mostrada en la Tabla 3-1 el procedimiento
aquí descrito, se obtiene directamente la función F(A,B,C,D) expresada como un producto expandido
(ecuación 3-5).
Con relación a ambas formas de representar una función lógica, es decir la suma expandida y el
producto expandido, se debe observar lo siguiente:
 Para una misma función lógica, el número de términos o productos (minterms) de la suma expan-
n
dida más el número términos o sumas (maxterms) del producto expandido siempre es igual a 2 ,
siendo n el número de variables de la función.
 La suma expandida o estándar es una expresión equivalente del producto expandido.
Ello puede comprobarse fácilmente con una función conocida, como lo es por ejemplo la función
NAND.
Sea la función:
F  A, B  AB
cuya tabla de la verdad se indica en la Tabla 3-3.

Tabla 3-3. Tabla de la verdad de la función NAND.

Sea:
F   A, B  A B  A B  AB (3-6)
la función F'(A,B) expresada como suma expandida de productos obtenida de la tabla; y sea:

F   A, B    A  B  (3-7)
la función F''(A,B) expresada como producto expandido de sumas.
Manipulando algebraicamente la ecuación (3-6) se obtiene:

F   A, B  A B  A B  AB  A  B  B   AB  A 1  AB  A  B

 F   A,B  A  B  F   A,B
donde se utilizó el Teorema (2 - 3a).
Al mismo resultado se llega evaluando directamente ambas expresiones para cada una de las
combinaciones de la tabla de la verdad y observando que resulta el mismo valor en cada caso.

3.1.3 FORMAS DE REPRESENTACIÓN ABREVIADAS

Como se vio en el Capítulo II, una determinada función lógica también está definida por su tabla
de la verdad, en la cual se dan los valores que toma la función para todas las combinaciones de las
variables. De modo que si se enumera cada una de las filas de la tabla con el número decimal
correspondiente al número binario representado por la combinación de las variables, es posible definir
también la función lógica en cuestión basándose en una lista de los números de las filas para las
cuales la función toma determinado valor.
De este modo se puede definir la función como la lista de los números de las filas para las cuales
 CAPÍTULO 3 - FORMAS DE REPRESENTAR UNA FUNCIÓN - MINIMIZACIÓN 53

vale 1 (verdadera), o bien como la lista de las filas para las cuales la función vale 0 (falsa).
En el primer caso, la función quedará expresada en función de sus minterms como una suma de
productos. Para representarla se utiliza el símbolo de una sumatoria () seguida de una 'm' para
denotar minterms; y entre paréntesis los números de las filas en las que la función vale 1.
En el segundo caso, la función estará expresada en función de sus maxterms como un producto
de sumas. Se representa con el símbolo de un producto () seguido de una 'M' para denotar
maxterms; y entre paréntesis los números de las filas en las que la función vale 0.
Considérese la tabla de la verdad mostrada en la Tabla 3-4, que corresponde a la función lógica
definida por la ecuación (3-1), a la cual se ha añadido una columna a la izquierda para el número
decimal correspondiente a cada una de sus filas.

Tabla 3-4. Tabla de la verdad de la expresión lógica dada

por la ecuación (3-1) con las filas numeradas.

Dado que la función F(A,B,C,D) toma el valor 1 en las filas 0, 2, 3 y de la 6 a la 15; y el valor 0 en
las filas 1, 4 y 5, su representación como una suma de productos y como un producto de sumas en su
forma abreviada, vendrá dado por las ecuaciones (3-8) y (3-9), respectivamente:
F  A, B,C , D    m  0 ,2 ,3 ,6 ,7 ,8 ,9 ,10 ,1112
, ,13 ,14 ,15  (3-8)
F  A, B,C , D    M 1,4 ,5  (3-9)
Obsérvese que, bien sea a partir de la ecuación (3-8) o de la ecuación (3-9) y de la Tabla 3-4, se
puede obtener la expresión algebraica de la función F(A,B,C,D), tanto en su forma de suma
expandida de productos, ecuación (3-3), como en su forma de producto expandido de sumas,
ecuación (3-5); según lo expuesto en las secciones 3.1.1.3 y 3.1.2.3, respectivamente, de este
 54 INTRODUCCIÓN A LOS SISTEMAS DIGITALES

capítulo.
Así resulta que una función lógica determinada puede ser especificada o bien expresada, en una
variedad de formas, siendo todas ellas equivalentes entre sí; y por otro lado, se cuenta ya con las
herramientas y los conceptos necesarios que permiten, a partir de cualquiera de ellas obtener las
demás, tal como se esquematiza en la Figura 3-1.

TABLA DE EXPRESION
LA VERDAD ALGEBRAICA

SUMA DE PRODUCTOS
(PRODUCTO DE SUMAS)

SUMA EXPANDIDA DE PRODUCTOS SUMA ABREVIADA DE PRODUCTOS

(PRODUCTO EXPANDIDO DE SUMAS) (PRODUCTO ABREVIADO DE SUMAS)

Figura 3-1. Diferentes formas de representación de

una función lógica y su conversión.

3.2 CONDICIONES DE "DON'T CARE" O NO IMPORTA

Todas las funciones lógicas que se han presentado hasta ahora, para cada una de las
combinaciones de sus variables valen 1 (verdaderas) o valen 0 (falsas), por lo que se les define como
funciones completamente determinadas.
Sin embargo, debido a varios motivos en ciertas situaciones reales representadas por funciones
lógicas, frecuentemente se dan condiciones en las cuales el valor que tome la función para una o
varias combinaciones de sus variables, no está determinada. En estos casos resulta irrelevante que la
función tome el valor de 1 ó 0, y por ello son referidos comúnmente como "don't care", que traducido
al castellano correspondería a situaciones donde "no importa" el valor; y en la tabla de la verdad se
coloca un guión (), una de (d) o una equis (x) para denotar tales condiciones.
Las funciones de este tipo se dice que no son completamente determinadas o especificadas. Lo
dicho anteriormente puede ser debido fundamentalmente a las siguientes causas:
1) Que existan combinaciones de las variables que por la naturaleza del problema resulta imposible
que ocurran, en cuyo caso no importa si la función toma el valor de 0 ó 1 ya que nunca se darán.
2) Que debido a la naturaleza del problema en sí, existan combinaciones de las variables para las
cuales resulte irrelevante el valor que tome la función.
Nótese sin embargo, que a pesar de que la diferencia entre ambos casos puede ser sutil, las
causas son totalmente diferentes y en algunos casos es necesario mantener la diferencia.
Como ejemplo del primer caso puede suponerse algún sistema que con algún fin debe detectar la
presencia de un ferrocarril sobre una vía donde sólo circulará un ferrocarril a la vez; y donde existen
sensores colocados en dos puntos separados por una distancia mayor que la longitud del ferrocarril.
Si la señal que genera cada sensor es 1 cuando un tren está en ese punto y 0 cuando no lo está,
resulta evidente que bajo las premisas dadas es imposible que ambos sensores presenten un 1 en su
salida simultáneamente.
Un ejemplo del segundo caso lo podría constituir la función lógica correspondiente a un sistema
lógico cualquiera, que a su vez forme parte de otro mayor, el que para ciertas condiciones de las
entradas (variables) podría actuar de tal forma que la salida del primero no tuviera influencia alguna.
Un sistema como el planteado se representa en la Figura 3-2, donde se ha esquematizado un
dispositivo sonoro idealizado (Bloque de audio) que es controlado por dos entradas: una de ellas
 CAPÍTULO 3 - FORMAS DE REPRESENTAR UNA FUNCIÓN - MINIMIZACIÓN 55

(SONIDO) al estar activada (1) simplemente hace que se genere una señal audible; y la otra (MODO)
controla la forma como se emitirá la señal (intermitente o continua, por ejemplo). Es evidente que para
aquellas combinaciones de las entradas donde la función F1 valga 0, no tiene importancia el valor
que tome la función F2, ya que no se producirá sonido en la salida del sistema.

Figura 3- 2. Esquema de bloques del sistema.

Según el caso, y si éste lo amerita, es recomendable identificar los dos tipos de condiciones de
"don't care" mediante símbolos diferentes en la tabla de la verdad, a fin de darle a cada situación el
tratamiento adecuado.
También es de hacer notar que el concepto de "don't care" en funciones lógicas que no sean
completamente determinadas, es más bien una herramienta teórica que, como se verá
posteriormente, facilita o hace más flexible el procedimiento de minimizar la función. Pero se debe
tener presente que al momento de implantar la función, su salida siempre tendrá el valor de 0 ó 1
para las combinaciones en las que se colocó el símbolo de "don't care" en la tabla, ya que físicamente
no puede quedar en un valor indeterminado.
De igual modo, se debe observar que si bien se tiene la potestad de considerar el valor de la
función como 1 ó 0 donde exista un "don't care", una vez asignado un valor (1 ó 0) éste debe
mantenerse fijo a partir de ese momento, para todas las consideraciones posteriores que se realicen.

3.2.1 SU REPRESENTACIÓN EN LAS FUNCIONES LÓGICAS

Cuando se está trabajando con una función lógica que no está completamente determinada, como
se mencionó antes, las condiciones de "don't care" aparecen claramente especificadas en la tabla de
la verdad. Sin embargo, en las formas algebraicas de representación de la función (sumas de
productos y productos de sumas) no aparecerá especificada la existencia o no de tales condiciones,
ni las combinaciones para las cuales ocurren, ya que el valor de la función en esos casos pudo ser
considerado bien sea como 1 o como 0 en el momento de construirse la expresión algebraica.
Con el objeto de especificar claramente, tanto en las expresiones algebraicas como en las formas
abreviadas, las combinaciones para las cuales la función está indeterminada, se añade un término
adicional cuya forma dependerá de cómo esté expresada la función. Es decir, si la función se expresa
en cualquiera de sus formas abreviadas, se añade otro término que contiene los números de las filas
donde la función está indeterminada, el cual será otra suma u otro producto, según el caso. Del
mismo modo, cuando la función está representada como la suma de productos o el producto de
sumas expandidos, se añaden a la suma o al producto los términos respectivos para las
combinaciones correspondientes a las indeterminaciones. Para identificar estos términos adicionales
de la función se agrupan todos los minterms o los maxterms correspondientes a las
indeterminaciones de la función entre paréntesis, identificando al grupo de minterms o de maxterms
mediante el subíndice 'd' o 'D' respectivamente, según sea el caso; y se suma o se multiplica al resto
de la expresión.
Como un ejemplo de ello, considérese la función lógica no completamente determinada y definida
 56 INTRODUCCIÓN A LOS SISTEMAS DIGITALES

por la tabla de la verdad mostrada en la Tabla 3-5, teniendo así "don't care" en la salida para las
combinaciones correspondientes a las filas 4, 7, 10 y 12.
Ahora las ecuaciones que representan a la función como suma de productos y como producto de
sumas en su forma abreviada, tendrán el término adicional que incluirá sólo a las filas
correspondientes a los "don't care" en la salida, identificado con 'd' o 'D' para cada caso;
correspondiendo a las ecuaciones (3-10) y (3-11) respectivamente.

Tabla 3-5. Tabla de la verdad de una función lógica

no completamente determinada.

F  A, B,C , D    m  0 ,2 ,3 ,6 ,8 ,91113
, , ,14 ,15    d  4 ,7 ,10 ,12  (3-10)
F  A, B,C , D    M 1,5    D  4 ,7 ,10 ,12  (3-11)
Nótese que en ambas expresiones aparecen todas las filas en las cuales la función no posee un
valor determinado (cuatro en este caso); independientemente de que en un caso se consideren las
combinaciones para las que la función vale 1 (suma de productos) y en el otro las combinaciones
para las cuales vale 0 (producto de sumas).
Según lo dicho anteriormente, si se expresan las ecuaciones (3-10) y (3-11) en su forma
algebraica expandida, también se identificará el grupo de los términos correspondientes a "don't care"
en la salida con una 'd' o 'D' como en el caso anterior; resultando así las ecuaciones (3-12) y (3-13):
F A, B ,C , D   ABC D  ABCD  ABCD  ABC D  ABC D 
 AB C D  ABCD  ABC D  ABCD  ABCD  (3-12)
ABC D  ABCD  ABCD  ABC D  d

   
F A, B ,C , D   A  B  C  D A  B  C  D  A  B  C  D  (3-13)
A  B  C  D A  B  C  D A  B  C  D  D
 CAPÍTULO 3 - FORMAS DE REPRESENTAR UNA FUNCIÓN - MINIMIZACIÓN 57

3.3 FORMAS SISTEMÁTICAS PARA MINIMIZAR LAS FUNCIONES

A continuación se describe en detalle un método sistemático para minimizar las funciones o
expresiones lógicas, conocido como método gráfico de Karnaugh, el cual al ser aplicado
correctamente garantiza la obtención de la expresión algebraica mínima y que posee además la
ventaja de ser sumamente sencillo de aplicar. Asimismo, se mencionarán otros métodos para
minimizar, aunque no serán tratados por considerarse el método gráfico de Karnaugh el más
conveniente y práctico al trabajar de forma manual.
Cabe decir también que, por lo antes expuesto, de ahora en adelante en este texto cada vez que
se requiera minimizar una función se hará utilizando el método gráfico de Karnaugh.

3.3.1 MÉTODO GRAFICO DE KARNAUGH

El método gráfico de Karnaugh se basa en una representación gráfica particular de la tabla de la
verdad de la función lógica que se desea minimizar, o lo que es igual, una representación de la suma
o producto expandido de la función; y a dicha representación gráfica se le conoce con el nombre de
mapa de Karnaugh. Sin embargo, antes de pasar a ver en qué consiste el método para minimizar en
sí, es necesario introducir los conceptos de adyacencia lógica y de mapa de Karnaugh, así como
conocer la estructura y características de un mapa de este tipo.

3.3.1.1 ADYACENCIA LÓGICA

Se dice que dos minterms (o maxterms) son lógicamente adyacentes si y sólo si difieren en una
sola variable.
Es decir, dado que por definición de minterm, o maxterm, éste debe contener todas las variables
de las que depende la función, la diferencia radicará en que en uno de ellos aparecerá una variable
no complementada, mientras que en el otro la misma variable estará complementada.
Considérense, a manera de ejemplo, los siguientes minterms de una función lógica hipotética de
las tres variables lógicas A, B y C.

Minterms: ABC y ABC

Como puede observarse, la variable B aparece en el primer minterm sin estar complementada,
mientras que en el segundo minterm sí lo está; en tanto que las variables A y C aparecen en ambos
minterms de igual forma, ya sea complementadas o no. De modo que, ambos minterms se dice que
son lógicamente adyacentes.

3.3.1.2 MAPAS DE KARNAUGH

N
Se define un mapa de Karnaugh de una función lógica de N variables como un conjunto de 2
celdas, distribuidas ordenadamente de modo tal que cualquier par de ellas que sean físicamente
adyacentes o simétricas respecto a ciertos ejes, tanto horizontal como verticalmente, corresponden a
un par de minterms (o maxterms) que son lógicamente adyacentes.
Nótese que el número de celdas de un mapa es igual al número de filas de la tabla de la verdad; y
cada una de las celdas del mapa corresponde a una combinación de las variables de la función, o lo
que es igual, a un minterm (o un maxterm).
En la Figura 3-3, que representa un mapa de una función de cuatro variables, pueden observarse
los siguientes aspectos:
 Tanto las filas como las columnas del mapa, están constituidas por todas las combinaciones de las
variables de la función que corresponden a las filas y columnas del mapa, respectivamente; y se
ordenan en él siguiendo la secuencia del código Gray.
 Cada una de las celdas corresponde a una combinación de las variables y por tanto, a una fila de
la tabla de la verdad. Basándose en ello, se puede asignar un número a cada celda que corres-
 58 INTRODUCCIÓN A LOS SISTEMAS DIGITALES

ponde al número de la fila de la tabla de la verdad; o lo que es igual, al número binario expresado
en decimal que representa la combinación de las variables.
 En cada fila o columna las variables cuyo valor binario aparece fuera del recuadro, permanecen
constantes en dicho valor en esa fila o columna.
 Aun cuando el mapa se representa en un plano, debe imaginarse que su superficie forma un vo-
lumen en el espacio. Ello quiere decir que la primera y última fila son a su vez adyacentes, al igual
que la primera y última columna; de modo que sus minterms (o maxterms) son lógicamente adya-
centes.
 Se puede definir un par de ejes principales del mapa que lo dividen en partes iguales tanto hori-
zontal como verticalmente; que a su vez dan origen, según el tamaño del mismo, a una serie de
ejes secundarios. Estos a su vez, dividen en partes iguales a cada una de las secciones en que
fue dividido el mapa por los ejes principales.
 Cada eje constituye un eje de simetría respecto al cual los términos de las celdas serán lógica-
mente adyacentes.

3.3.1.3 CONTENIDO DEL MAPA

Previo a la aplicación del procedimiento que permite obtener la expresión lógica mínima de la
función, es necesario introducir en el mapa toda la información correspondiente a la función que se
desea minimizar.
En la Figura 3-3, dentro de cada una de las celdas se colocó la expresión algebraica del minterm y
el maxterm correspondientes a cada una de ellas, con la única finalidad de mostrar la
correspondencia que existe entre ambas. Pero para los efectos de minimizar una función lógica
determinada, el mapa de Karnaugh debe contener en cada una de sus celdas el valor que toma dicha
función para la combinación de sus variables correspondiente a esa celda; de modo que cada celda
del mapa contendrá un 1, un 0 o una X ("don't care") en caso de no estar la función completamente
determinada.

VALORES DE
VARIABLES EJE PRINCIPAL EJES SECUNDARIOS
LAS VARIABLES

CD
AB 00 01 11 10
0 1 3 2
A B C D A B C D A B C D A B C D
00
A  B  C  D A  B  C  D A  B  C  D A  B  C  D 
4 5 7 6
A BC D A BC D A BC D A BC D
01
 A  B  C  D  A  B  C  D  A  B  C  D  A  B C  D 
12 13 15 14
ABC D ABC D ABC D ABC D
11
A  B  C  D  A  B  C  D  A  B  C D  A  B C  D 
8 9 11 10
AB C D AB C D AB C D A B C D
10
A  B  C  D  A  B  C  D  A  B  C  D  A  B  C  D 

VALOR DE LAS N° DE LA MINTERM

MAXTERM EJE PRINCIPAL
VARIABLES CELDA

A = VARIABLE MÁS SIGNIFICANTE D = VARIABLE MENOS SIGNIFICANTE

Figura 3-3. Estructura de un mapa de Karnaugh de 4 variables.

 CAPÍTULO 3 - FORMAS DE REPRESENTAR UNA FUNCIÓN - MINIMIZACIÓN 59

Por otro lado, no es necesario que en cada celda se especifique el número de la combinación (fila
de la tabla de la verdad) a la que corresponde, ni alguna otra información mostrada en la Figura 3-3.
No obstante, a manera de guía puede incluirse si se desea el número de cada celda, pero en la
medida que se adquiere práctica en el uso de los mapas, dichos números irán siendo memorizados.
En la práctica sólo se especifican las variables de la función, los valores posibles de ellas en código
Gray y en cada celda el valor que toma la función para cada combinación de las mismas, tal como se
puede apreciar en el mapa mostrado en la Figura 3-4 correspondiente a un ejemplo.
Resulta entonces que si la función está expresada en su forma abreviada como una lista de
minterms, se debe colocar un 1 en las celdas cuyos números correspondan al de los minterms que
definen la función; y en caso de estar expresada como una lista de maxterms, se debe colocar un 0
en lugar de un 1. De igual modo, en caso de existir además la lista de combinaciones para
condiciones de 'don't care', se coloca una X en las celdas correspondientes.
Cuando se tiene expresada la función en cualquiera de sus formas abreviadas, constituye la forma
más directa de obtener el mapa de Karnaugh de la función. Pero si la función estuviera expresada en
otra de sus formas, bien sea como suma expandida de productos (o producto expandido de sumas),
suma de productos (o producto de sumas) o bien mediante su tabla de la verdad o expresión
algebraica, también es posible construir directamente el mapa de Karnaugh, determinando las
combinaciones de las variables para las cuales la función es verdadera (o falsa) y colocando un 1 (ó
un 0) en las celdas respectivas.
Sin embargo, nótese que cuando la función esté dada como una expresión algebraica o como una
suma de productos (o producto de sumas), la correspondencia entre cada término y cada celda no
será uno a uno. Es decir, cada uno de los términos de la expresión puede corresponder a más de una
celda del mapa en la que haya que colocar un 1 (o un 0). Sólo cuando la función esté expresada en
sus formas abreviadas, mediante la tabla de la verdad o como suma o producto expandido, la
correspondencia entre las celdas y los términos será uno a uno.

3.3.1.4 OBTENCIÓN DE LA "FUNCIÓN MÍNIMA"

Una vez construido el mapa, se puede proceder a la obtención de la función mínima algebraica
correspondiente, siguiendo el procedimiento que se describe a continuación. Cabe observar que este
procedimiento constituye una forma sistemática para minimizar la función que siempre garantiza, si se
aplica correctamente, que la expresión lógica obtenida corresponde a la mínima.
El procedimiento es el siguiente:
1) Si se desea obtener la función mínima expresada como una suma de productos se considerarán
las celdas del mapa que contengan un 1. Si por el contrario se desea la mínima expresión como
un producto de sumas, se considerarán las celdas que contengan un 0.
2) Se agrupan las celdas que contengan un 1 (o un 0) y que sean lógicamente adyacentes. Ello equi-
vale a decir que sean simétricas respecto a cualquiera de los ejes (principales o secundarios).
Con respecto a las agrupaciones que se realicen, se deben satisfacer las siguientes condiciones:
 El número de celdas consideradas en cada agrupación, siempre debe corresponder a una po-
tencia de 2.
 Cada agrupación debe contener el máximo número de celdas posible. Ello garantiza que cada
término será lo más pequeño posible (con el menor número de variables y por ende de litera-
les).
 El número de agrupaciones debe ser el mínimo posible. Ello garantiza que la expresión será lo
más compacta posible (con el menor número de términos y por ende de literales).
 Cuando la función a minimizar no esté completamente determinada, se pueden incluir en las
agrupaciones celdas que contengan una X ("don't care") si fuera necesario, del modo que más
convenga a fin de cumplir con las condiciones antes indicadas.
 60 INTRODUCCIÓN A LOS SISTEMAS DIGITALES

 No necesariamente todas las celdas que contengan una X deben pertenecer a alguna agrupa-
ción; simplemente las que no hayan sido consideradas ocasionarán que la función sea 0 (ó 1)
para dichas combinaciones.
Obsérvese además que cada vez que una celda con X haya sido incluida en alguna agrupación, a
partir de ese momento la combinación de variables correspondiente hará que la función sea 1 (ó 0)
cada vez que ocurra dicha combinación.
3) Se realizan tantas agrupaciones como sea necesario hasta que todas las celdas del mapa que
contengan un 1 (o un 0) hayan sido incluidas en alguna agrupación. Ello garantiza la obtención de
la mínima expresión.
4) Una vez agrupadas todas las celdas se procede a obtener la expresión mínima algebraica de la
función, la cual tendrá tantos términos como agrupaciones se hayan considerado en el mapa, co-
rrespondiendo cada agrupación a un término de la función.
Cada término contendrá solamente aquellas variables que sean constantes en todas las celdas
pertenecientes a la agrupación.
 Cada término de la función a expresarse como suma de productos (considerando los 1's del
mapa), será el producto de las variables cuyo valor no cambie en las celdas de la agrupa-
ción que lo origina; y en él se complementarán las variables que sean 0 en la(s) fila(s) y co-
lumna(s) del mapa involucradas en la agrupación.
 Del mismo modo, cada término de la función a expresarse como producto de sumas (consi-
derando los 0's del mapa), será la suma de las variables cuyo valor no cambie en las celdas
de la agrupación que lo origina; y en él se complementarán las variables que sean 1 en la(s)
fila(s) y columna(s) involucradas en la agrupación.
Téngase presente que mientras mayor sea el número de celdas agrupadas, menor será el número
de variables que constituirán el término correspondiente.
En general, si se agrupan m celdas el número n de variables eliminadas en el término será tal que
n
se satisface la relación 2 = m

3.3.1.5 EJEMPLOS
A continuación se presentan varios ejemplos con la finalidad de poner en práctica el procedimiento
descrito para determinar la expresión lógica mínima; y en los que a su vez, se aprovecha la
oportunidad para presentar varias situaciones que ocurren frecuentemente cuando se aplica el
método para minimizar mediante mapas de Karnaugh.

EJEMPLO 3-1
Considérese la siguiente función lógica de tres variables dada por su lista de minterms:
F  A, B,C    m  0 ,4 ,5 ,7  (3-14)
cuyo correspondiente mapa de Karnaugh se muestra en la Figura 3-4.

BC
A 00 01 11 10
0 1 3 2
0 1 0 0 0
4 5 7 6
1 1 1 1 0

Figura 3-4. Mapa de Karnaugh de la función F(A,B,C). Ejemplo 3-1

Obsérvese que las dos agrupaciones consideradas son las que conducen a la obtención de la
función mínima, ya que con ellas están consideradas todas las celdas donde la función vale 1 y
 CAPÍTULO 3 - FORMAS DE REPRESENTAR UNA FUNCIÓN - MINIMIZACIÓN 61

además constituyen el mínimo número de agrupaciones posibles.

Nótese además que las celdas 4, 5 y 7 no pueden ser agrupadas, ya que 3 no es una potencia de
2; por otro lado, si se agrupan además las celdas 4-5 se estaría haciendo una agrupación
innecesaria, ya que al agrupar las celdas 0-4 y 5-7 han sido consideradas todas las celdas en las que
la función vale 1.
De modo que la mínima función tendrá dos términos, uno correspondiente a cada agrupación, los
cuales son:
agrupación de las celdas 0-4  BC
agrupación de las celdas 5-7  AC
y la función mínima expresada como suma de productos será:
F  A, B,C   B C  AC (3-15)
Compárese la expresión (3-15) con la suma expandida correspondiente a la ecuación (3-14), la
cual sería:
F  A, B,C   A B C  AB C  AB C  ABC (3-16)
y nótese como fue considerablemente reducida.
Si se desea obtener la mínima función como un producto de sumas, sería necesario agrupar las
celdas que contienen 0 en el mapa, resultando en este caso también dos agrupaciones: celdas 1-3 y
2-6.
agrupación de las celdas 1-3  AC
agrupación de las celdas 2-6  B C
y la función expresada como producto de sumas será:

F  A, B,C    A  C  B  C  (3-17)

Obsérvese que las ecuaciones (3-15) y (3-17) son equivalentes entre sí, aun cuando la primera se
obtiene a partir de los 1's del mapa y la segunda de los 0's. Ello se puede comprobar fácilmente
evaluando cada una de las ecuaciones para todas las combinaciones y observando que para cada
una de ellas ambas dan el mismo resultado. Otra forma de verificarlo es manipulando
algebraicamente una de ellas hasta obtener la otra ecuación.
Si se parte de la ecuación (3-17) y se efectúa el producto resulta:

F  A,B,C    A  C  B  C   AB  AC  B C  AB  C  C   AC  B C

 AB C  AB C  AC  B C  AC  B  1  B C  1  A  AC  B C
Nótese que aun cuando parezca engañoso el hecho de llegar al mismo resultado al trabajar en el
mapa con los 1's o con los 0's, ello se debe a que en este último caso existe una doble negación
implícita en el proceso. La primera negación consiste en considerar los 0's propiamente dichos del
mapa, pues son las combinaciones que hacen falsa la función; en tanto que la segunda negación está
en el modo como se forma cada término del producto de sumas, ya que se niegan las variables que
son 1 y no las que son 0.
 Existen casos en los que dependiendo de cómo estén distribuidos en las celdas del mapa los 1's,
los 0's y las X's, si existen, resultará más conveniente minimizar agrupando los 1's o los 0's con el
fin de realizar un mínimo de agrupaciones.
Ello se evidencia en el Ejemplo 3-2 que se presenta a continuación.
 62 INTRODUCCIÓN A LOS SISTEMAS DIGITALES

EJEMPLO 3-2
Considérese la función lógica discutida anteriormente y definida por la ecuación (3-11):
F  A, B,C , D    M 1,5    D  4 ,7 ,10 ,12 
cuyo mapa de Karnaugh se muestra en la Figura 3-5.

Figura 3-5. Mapa de Karnaugh de la función F(A,B,C,D). Ejemplo 3-2.

Obsérvese que si se agrupan los 1's, las tres agrupaciones indicadas en este caso son las que
conducen a la obtención de la función mínima. Nótese que la agrupación de las celdas de las
columnas 1 y 4 es posible, debido a su simetría respecto al eje vertical principal; mientras que las
otras dos agrupaciones fueron consideradas respecto a un eje secundario horizontal en un caso y a
otro eje secundario vertical en el otro.
Nótese además que los cuatro "don't care" en este caso se han considerado como 1's, al haber
sido incluidos en las agrupaciones realizadas.
De este modo, la función mínima resultante expresada como una suma de productos tendrá los
términos siguientes:
agrupación de las celdas 3-2-7-6-15-14-11-10  C
agrupación de las celdas 12-13-15-14-8-9-11-10  A
agrupación de las celdas 0-2-4-6-12-14-8-10  D
y la función mínima expresada como suma de productos será:
F  A, B,C , D   A  C  D (3-18)
Compárese con la expresión (3-12) que corresponde a la suma expandida de productos de la
ecuación (3-10) y nótese como también fue reducida considerablemente.
Si se obtiene la mínima función como un producto de sumas se tendrá:
agrupación de las celdas 1-5  AC  D
y la función mínima expresada como producto de sumas será:

F  A, B,C , D    A  C  D  (3-19)

la cual puede verse que es más reducida que la expresión (3-13), aun cuando sólo se agruparon dos
celdas. En este caso en particular, las ecuaciones (3-18) y (3-19) resultan ser iguales, pero ello no
siempre ocurre.
Obsérvese que aun cuando se dé la función como un producto de sumas (o como una suma de
productos) en su forma abreviada, una vez obtenido el mapa de Karnaugh correspondiente es
indiferente trabajar con los 1's o con los 0's para obtener la mínima función en cualquiera de sus
formas, tal como se evidenció en el Ejemplo 3-2.
 CAPÍTULO 3 - FORMAS DE REPRESENTAR UNA FUNCIÓN - MINIMIZACIÓN 63

En dicho ejemplo, puede verse claramente que si se trabaja con los 0's sólo basta hacer una
agrupación para obtener la mínima función, mientras que al trabajar con los 1's hay que realizar tres
agrupaciones.
El Ejemplo 3-2 constituye un caso particular en el cual, como puede observarse en el mapa de la
Figura 3-5, no existe la posibilidad de combinar las X's con los 0's y que conduzca a una solución más
reducida de la obtenida; por lo tanto, lo más conveniente fue considerar todas las X's como 1's al
obtener la mínima suma de productos o bien el mínimo producto de sumas.
 Cuando se trata de funciones que no están completamente determinadas, es posible que algunos
de los "don't care" sea conveniente considerarlos como 1's y a otros como 0's; e independiente-
mente de que se agrupen los 1's o los 0's para minimizar la función, los "don't care" quedarán con
el valor que se supuso tenían al momento de realizar las agrupaciones. Así, cada vez que se pro-
duzca una de esas combinaciones de las variables, la función tomará el valor considerado previa-
mente para cada "don't care".
En el Ejemplo 3-3 se presenta esta situación.

EJEMPLO 3-3
Considérese la función lógica dada por la expresión (3-20) y cuyo mapa de Karnaugh se muestra
en la Figura 3-6.
F  A, B,C , D    M  0 ,4 ,5 ,13    D  2 ,6 ,7 ,8 ,15  (3-20)
Observando el mapa de Karnaugh de esta función, a primera vista, puede resultar tan conveniente
agrupar los 1's como los 0's; pero dependiendo de cuáles se agrupen, algunos "don't care" deberán
ser considerados como 1 ó como 0, según sea el caso.

Figura 3-6. Mapa de Karnaugh de la función F(A,B,C,D). Ejemplo 3-3.

A fin de mostrar en detalle esta situación, se desarrollarán las dos posibles soluciones: una
agrupando los 1's y otra agrupando los 0's, de la mejor manera posible en ambos casos.

CASO A: Agrupando los 1's.

Puede verse del el mapa mostrado en la Figura 3-7 que las agrupaciones más idóneas son las
indicadas en el mapa mostrado en dicha figura, en cuyo caso sólo la X correspondiente a la celda 8
es considerada como 1.
De este modo, resultan dos términos en la mínima suma de productos:
agrupación de las celdas 8-10-12-14  AD
agrupación de las celdas 1-3-9-11  BD
de modo que la función F'(A,B,C,D) de la expresión (3-21) corresponde a la función mínima
 64 INTRODUCCIÓN A LOS SISTEMAS DIGITALES

expresada como suma de productos.

F   A, B,C , D   B D  AD (3-21)

Figura 3-7. Mapa de Karnaugh para el Caso A del Ejemplo 3-3.

CASO B: Agrupando los 0's.

En la Figura 3-8 se muestra de nuevo el mapa de Karnaugh de la función dada por la expresión (3-
20), mostrando las agrupaciones necesarias para minimizar la función basándose en la agrupación de
los 0's.

CD
AB 00 01 11 10
0 1 3 2
00 0 1 1 x
4 5 7 6
01 0 0 x x
12 13 15 14
11 1 0 x 1
8 9 11 10
10 x 1 1 1

Figura 3-8. Mapa de Karnaugh para el Caso B del Ejemplo 3-3.

Obsérvese que ahora las X's de las celdas 2, 6, 7 y 15 han sido consideradas como 0's a fin de
poder agrupar la mayor cantidad de celdas posible, mientras que la celda 8 sigue siendo considerada
como 1.
Así resulta que la función mínima expresada como un producto de sumas tendrá los dos términos
siguientes:
agrupación de las celdas 0-2-4-6  A D
agrupación de las celdas 5-7-13-15  B D
y la función mínima será:

F   A, B,C , D    A  D   B  D  (3-22)

En este ejemplo puede verse que para ambas formas de obtener la función mínima, los "don't
care" se asumen con los mismos valores: 1 el de la celda 8 y 0 los de las celdas 2, 6, 7 y 15. Como
consecuencia de ello, las expresiones F'(A,B,C,D) y F''(A,B,C,D), dadas por las ecuaciones (3-21) y
(3-22), respectivamente, son equivalentes.
 Se pueden también presentar situaciones en las que uno o varios "don't care" que sean conside-
rados como 1 al agrupar los 1's, convenga considerarlos como 0 al agrupar los 0's. En estos casos
las funciones mínimas obtenidas no serán equivalentes, puesto que son funciones diferentes. Co-
mo un caso de la situación planteada se considerará el ejemplo siguiente:
 CAPÍTULO 3 - FORMAS DE REPRESENTAR UNA FUNCIÓN - MINIMIZACIÓN 65

EJEMPLO 3-4
Considérese la función lógica dada por la expresión (3-23):
F  A, B,C , D    M  01 ,    D  4 ,6 ,12 ,14 
, ,2 ,8 ,910 (3-23)

En la Figura 3-9 se muestra el mapa de Karnaugh de la función dada; y al igual que en el Ejemplo
3-3, se desarrollarán las soluciones agrupando los 1's y los 0's, las cuales serán diferentes en este
caso.

Figura 3-9. Mapa de Karnaugh de la función F(A,B,C,D). Ejemplo 3-4.

CASO A: Agrupando los 1's.

En la Figura 3-10 se presenta el mapa de Karnaugh correspondiente a la expresión (3-23), con las
agrupaciones que conducen a la mínima función expresada como suma de productos, en la que
puede observarse que es conveniente considerar todas las X's como 1 para hacer máximo el número
de celdas agrupadas.

Figura 3-10. Mapa de Karnaugh para el Caso A del Ejemplo 3-4.

Resultan así dos términos en la mínima suma de productos:

agrupación de las celdas 4-5-7-6-12-13-15-14  B
agrupación de las celdas 3-7-15-11  CD
La función mínima F'A expresada como suma de productos corresponde a la ecuación (3-24).
FA  A, B ,C , D   B  CD (3-24)
Si se obtiene además la función equivalente F"A expresada como producto de sumas resultará:
FA  A, B ,C , D    B  C   B  D  (3-25)
para la cual se agruparon las celdas 0-2-8-10 y 0-1-8-9.
Obsérvese que las expresiones (3-24) y (3-25) son equivalentes, porque para la obtención de la
expresión (3-25) se consideraron todos los "don't care" como 1.
 66 INTRODUCCIÓN A LOS SISTEMAS DIGITALES

CASO B: Agrupando los 0's.

En la Figura 3-11 se ha repetido el mapa de Karnaugh de la función lógica dada correspondiente a
la ecuación (3-23), pero mostrando las agrupaciones necesarias para minimizar la función basándose
en la agrupación de los 0's.
En este caso, puede observarse que para obtener la mínima expresión como producto de sumas
es conveniente considerar también todas las X's como 0.

Figura 3-11. Mapa de Karnaugh para el Caso B del Ejemplo 3-4.

De este modo, la función mínima resultante expresada como un producto de sumas tendrá los
términos siguientes:
agrupación de las celdas 0-1-8-9  BC
agrupación de las celdas 0-2-4-6-8-10-12-14  D
y la función mínima F"B, corresponderá a la ecuación (3-26).
FB  A, B ,C , D   D  B  C  (3-26)
Obteniendo ahora la función equivalente como una suma de productos, resulta la función F'B
correspondiente a la ecuación (3-27):
FB  A, B ,C , D   CD  BD (3-27)
para la cual se agruparon las celdas 3-7-15-11 y 5-7-13-15.
Con respecto a las dos formas (Casos A y B) como se minimizó la función dada por la ecuación (3-
23), conviene destacar lo siguiente:
 Las expresiones correspondientes a las ecuaciones (3-24) y (3-25) son equivalentes entre sí, así
como también lo son las expresiones de las ecuaciones (3-26) y (3-27). Ello obedece a que en
ambos casos los "don't care" fueron considerados con el mismo valor al obtener las expresiones
de la función como suma de productos y como producto de sumas.
La función F'A (A,B,C,D)  F'B (A,B,C,D) así como F"A (A,B,C,D)  F"B (A,B,C,D), ya que las funcio-
nes con subíndice A corresponden a una función lógica diferente a la denotada con subíndice B.
Ello se debe a que los "don't care" no fueron asumidos con el mismo valor en los dos casos.
En el Caso A, todos los "don't care" se asumieron como 1 al obtener la función mínima expresada
por las ecuaciones (3-24) y (3-25); mientras que en el Caso B todos los "don't care" fueron asumi-
dos como 0. Ello conduce a que en definitiva ambas funciones (casos A y B) sean diferentes des-
de el momento en que se hace tal consideración.
Aun cuando no todos los "don't care" sean considerados como 1 en un caso y como 0 en el otro,
basta con que sólo uno de ellos sea considerado con un valor diferente en un caso y en otro para
que las funciones sean diferentes.
 CAPÍTULO 3 - FORMAS DE REPRESENTAR UNA FUNCIÓN - MINIMIZACIÓN 67

 Si se comparan las funciones dadas por las ecuaciones (3-25) y (3-26), ambas expresadas como
un producto de sumas, puede verse que la expresión (3-26) posee menos literales que la expre-
sión (3-25). Por lo tanto, si se desea obtener la mínima expresión correspondiente a un producto
de sumas, se deben considerar los "don't care" de modo tal que las agrupaciones del mapa conlle-
ven a la ecuación (3-26). De igual modo, la función dada por la expresión (3-24) posee menos lite-
rales que la ecuación (3-27); por ello la primera constituye la mínima expresión de la función bajo
la forma de suma de productos.
 Obsérvese que las expresiones de las ecuaciones (3.24) y (3-26) no son equivalentes.
Como conclusión de las diferentes situaciones presentadas en los ejemplos anteriores, se
desprende que cuando una función lógica no está completamente determinada el proceso para
minimizarla puede dar lugar a varias soluciones diferentes.
A manera de ejercicio se sugiere al lector aplicar el procedimiento para minimizar funciones
mediante mapas de Karnaugh a las expresiones (2-1) y (2-3) de los ejemplos presentados en el
Capítulo II, a fin de comprobar los resultados con los obtenidos mediante la aplicación del álgebra de
Boole.

3.3.2 UN CASO PARTICULAR DE AGRUPACIÓN

Existen funciones lógicas cuyos minterms, o bien los maxterms, quedan ubicados en el mapa de
Karnaugh correspondiente formando una diagonal de éste. En casos así, evidentemente no existe
forma de considerarlos para una agrupación; y en los casos más extremos se deberá considerar cada
celda individualmente.
Sin embargo, aun cuando ese fuera el caso, si se examina la expresión lógica obtenida de
considerar por separado cada celda, se observará que siempre en ella se podrá identificar la función
XOR o XNOR de algunas de las variables.
Considérese como ejemplo una función lógica hipotética de tres variables F(A,B,C), cuyo mapa de
Karnaugh corresponda al mostrado en la Figura 3-12.

BC
A 00 01 11 10
0 1 3 2
0 0 1 0 1
4 5 7 6
1 1 0 1 0

Figura 3-12. Mapa de Karnaugh de la función F(A,B,C).

Puede observarse que no existe forma alguna de agrupar las celdas que contienen los 1's, así
como tampoco las que contienen 0's. Por otro lado, puede verse que las celdas 4-1 y 7-2 están
alineadas en una diagonal, así como también pudiera considerarse que las celdas 7-1 y 4-2 se
alinean en diagonales de dirección opuesta a las anteriores.
Por consiguiente, la mínima suma de productos de la función tendrá cuatro minterms y vendrá
dada por:
F  A, B,C   ABC  ABC  ABC  ABC (3-28)
Si en la expresión dada por la ecuación (3-28) se agrupan algebraicamente los términos
correspondientes a los minterms de las celdas 4-1 y los de las celdas 7-2, resulta una expresión que
corresponde al XOR de una variable con el XOR de las dos variables restantes y que está dada por la
ecuación (3-29).

   
F1  A,B,C  B AC  AC  B AC  AC  B  A  C  B  A  C
 68 INTRODUCCIÓN A LOS SISTEMAS DIGITALES

 
 B  A  C  B A  C  B   A  C (3-29)
De igual modo, si se agrupan los términos de la ecuación (3-28) correspondientes a los minterms
de las celdas 1-7 y 2-4, resultará una expresión con la misma estructura de la ecuación (3-29).

   
F2  A,B,C  C AB  AB  C AB  AB  C  A  B  C  A  B

 
 C A  B  C  A  B  C   A  B (3-30)
Los resultados obtenidos en las ecuaciones (3-29) y (3-30) para la función F(A,B,C) considerada
en este ejemplo, son igualmente válidos para toda función que posea la particularidad de que sus
minterms en el mapa quedan dispuestos formando una diagonal. Aun cuando no todos los minterms
posean esta disposición en el mapa, si al menos una pareja de ellos está dispuesta diagonalmente,
entre ellos existirá una relación lógica que puede expresarse basándose en la función XOR, XNOR o
una combinación de ambas. Sin embargo, debe quedar claro que otras disposiciones de minterms en
el mapa, aun cuando no constituyan una diagonal, pueden también corresponder a la función XOR o
XNOR. Como ejemplo de ello, considere la función completamente determinada dada por la
expresión siguiente:
F  X ,Y , Z    m 1,2 ,5 ,6 
la cual corresponde al XOR de Y y Z. El lector puede comprobarlo.

3.3.3 OTROS MÉTODOS PARA MINIMIZAR FUNCIONES

Existen, además del método de los mapas de Karnaugh, otros métodos para minimizar funciones
lógicas, entre los cuales uno de los que fue más conocido es el método de Quine Mc Cluskey, que
debe su nombre a sus creadores. Este es otro método sistemático para minimizar expresiones que se
basa en un algoritmo para ser programado y aplicado empleando una computadora preferiblemente,
aunque puede ser aplicado manualmente también. Sin embargo, cuando se sigue su algoritmo para
aplicarlo en forma manual, resulta bastante tedioso y largo; por lo que no es recomendable su
aplicación manual.
Por otro lado, hoy en día existen aplicaciones de 'software' para el diseño de circuitos, que corren
en PC's y en estaciones de trabajo más poderosas, los que dependiendo de su costo incluyen desde
la simulación de los circuitos permitiendo la visualización de las señales en el tiempo, dibujo de
esquemáticos, diseño del circuito impreso, etc.; los cuales en algunos casos, poseen algoritmos para
minimizar las funciones lógicas.

3.4 EXPRESIONES BASADAS EN LAS FUNCIONES "NAND" Y "NOR"

Frecuentemente es común expresar las funciones lógicas basándose en la función NAND o NOR
únicamente, sobretodo porque desde el punto de vista de la implementación de las mismas conviene
utilizar un solo tipo de compuertas por razones fundamentalmente de índole económica.
Existe una metodología que permite expresar una función lógica cualquiera, basándose en la
función NAND o NOR solamente, partiendo de que la función esté expresada como una suma de
productos o bien como un producto de sumas. Dicho procedimiento se presenta seguidamente por
separado para cada una de estas funciones.

3.4.1 EXPRESIONES BASADAS EN LA FUNCIÓN "NAND"

En primer lugar, para expresar una función cualquiera sobre la base de la función NAND
solamente, se debe partir de la función en cuestión expresada como una suma de productos. El
procedimiento para expresar a dicha función lógica basándose en la función NAND, consiste en negar
dos veces a la expresión y aplicar luego la primera de las leyes de De Morgan (Teorema (2-5a)
presentado en el Capítulo II), considerando para ello una de las negaciones.
A manera de ejemplo, considérese la expresión (3-27) del Ejemplo 3-4 de la sección anterior, que
está dada por:
 CAPÍTULO 3 - FORMAS DE REPRESENTAR UNA FUNCIÓN - MINIMIZACIÓN 69

F  A, B,C , D   CD  BD
la cual se negará dos veces y se le aplicará la primera ley de De Morgan, con lo que resulta:

F  A, B,C , D   CD  BD  CD  BD
la cual puede verse que ha quedado expresada como el NAND de dos términos, que a su vez
corresponden al NAND de las variables C y D y al NAND de las variables B y D.
Utilizando la simbología adoptada que se presentó en el Capítulo II, el esquema de esta expresión
estaría basado en tres NAND de dos entradas, tal como se muestra en la Figura 3-13.

Figura 3-13. Esquema correspondiente a la expresión

(3-27) basado en la función NAND

3.4.2 EXPRESIONES BASADAS EN LA FUNCIÓN "NOR"

Del mismo modo como puede expresarse una función lógica dada cualquiera sobre la base de la
función NAND solamente, también es posible mediante un procedimiento análogo expresarla
basándose en la función NOR. Para ello se debe partir de la función en cuestión expresada como un
producto de sumas, el cual se niega dos veces y se aplica la segunda de las leyes de De Morgan
(Teorema (2-5b) presentado en el Capítulo II), considerando para ello una de las negaciones.
Para visualizar lo anteriormente dicho mediante un ejemplo, se considerará la expresión (3-25) del
Ejemplo 3-4 de la sección anterior:
F  A, B,C , D    B  C   B  D 
la cual se negará dos veces y al aplicar la segunda ley de De Morgan quedará como:

F  A,B,C,D   B  C  B  D   B  C   B  D
la cual puede verse que ha quedado expresada como el NOR de dos términos, que a su vez
corresponden al NOR de las variables B y C y al NOR de las variables B y D.
Utilizando la simbología adoptada, esta expresión estaría basada en tres NOR de dos entradas; y
el esquema correspondiente es el que se muestra en la Figura 3-14.
Utilizando la simbología adoptada, esta expresión estaría basada en tres NOR de dos entradas; y
el esquema correspondiente se muestra en la Figura 3-14.

Figura 3-14. Esquema correspondiente a la expresión

(3-25) basado en la función NOR.
 70 INTRODUCCIÓN A LOS SISTEMAS DIGITALES

3.5 ESPECIFICACIÓN DE UNA FUNCIÓN LÓGICA

De acuerdo con todo lo mencionado anteriormente con relación a los mapas de Karnaugh y por
ser estos una representación gráfica de una función lógica, resulta evidente que constituyen también
una forma como puede ser definida o especificada una función lógica dada. Por consiguiente, al
esquema mostrado en la Figura 3-1 se le debe incluir una forma adicional mediante la que se puede
representar o bien definir una función lógica.
Así resulta que de acuerdo a todo lo tratado hasta este momento, la Figura 3-15 representa el
esquema completo de las diferentes formas como puede ser definida o representada una función
lógica cualquiera, sea ésta completamente determinada o no. Adicionalmente, se representa también
la forma como se relacionan entre sí las diferentes formas, en el sentido de la posibilidad de expresar
la función en una forma dada a partir de la otra.
En el esquema mostrado se denota por EXPRESIÓN ALGEBRAICA cualquier caso donde la
expresión lógica no corresponda ni a una suma de productos ni a un producto de sumas; y por SUMA
DE PRODUCTOS (o PRODUCTO DE SUMAS) cuando la expresión así esté expresada, bien sea
ésta la expresión mínima o no. De igual modo, se ha indicado mediante líneas sólidas las relaciones o
conversiones posibles entre una forma y otra que pueden realizarse directamente; y mediante líneas
punteadas aquellos casos en que se requiere realizar un procedimiento algebraico para obtener la
otra forma de representación de la función.
Así resulta este esquema con relaciones más limitadas que el esquema presentado en la Figura 3-
1, pero que refleja las posibilidades reales para expresar una función en una forma dada u otra.

Figura 3-15. Relación entre las formas de expresar una función.

3.6 FUNCIÓN MÍNIMA E IMPLEMENTACIÓN MÍNIMA

En los capítulos siguientes se comenzará a presentar diferentes tipos de sistemas digitales, los
cuales serán definidos y clasificados de acuerdo con su operación y comportamiento. En otro orden
de ideas, hasta el momento se han introducido y definido los conceptos y procedimientos necesarios
que permitirán manipular y llegar a diseñar dichos sistemas digitales, los cuales por ser sistemas que
podrán ser implantados físicamente, requieren de una serie de consideraciones adicionales
concernientes a ciertos aspectos de índole práctico y económico, entre otros. Ejemplos de estos
aspectos puede ser su velocidad de funcionamiento, su complejidad, su costo, etc.
Si bien es cierto que para llegar a diseñar un sistema digital cualquiera es fundamental conocer los
aspectos teóricos tratados hasta ahora, el enfoque que se dará al análisis y diseño de sistemas
digitales no dejará a un lado los aspectos prácticos antes mencionados; ya que se considera que el
lector debe adquirir la visión más amplia posible del tema en cuestión.
Como debe resultar obvio, cuando se desarrolle un sistema digital cualquiera se tratará de hacerlo
 CAPÍTULO 3 - FORMAS DE REPRESENTAR UNA FUNCIÓN - MINIMIZACIÓN 71

de modo que resulte lo más compacto o reducido posible, para lo que es necesario utilizar las
expresiones lógicas que lo caractericen llevadas a su mínima expresión. En otras palabras, las
funciones lógicas involucradas deberán ser minimizadas, para lo cual ya se cuenta con los
conocimientos y métodos apropiados para lograrlo. Sin embargo, cabe observar que no siempre las
expresiones algebraicamente mínimas corresponden o conllevan a la implementación más compacta,
rápida y económica del sistema. El concepto de expresión algebraica mínima es netamente teórico,
aunque también es cierto que en todos los casos resultará más conveniente basar la implementación
en las expresiones mínimas que en aquéllas que no lo son. Pero es justamente esa expresión mínima
la que puede tener alguna otra forma de expresarse ligeramente diferente y que resultará más
conveniente para la implementación del sistema.
Desde un punto de vista conceptual o teórico, una expresión se considera más reducida que otra,
así sea la mínima o no, si posee menor número de literales; es decir, menor cantidad de términos y
éstos a su vez con la menor cantidad de variables posible. Sin embargo, desde el punto de vista del
sistema en sí a ser implantado, éste se considera más reducido o no en función del número de
bloques constituyentes requeridos para su implementación.
Dichos bloques, por los momentos se pueden considerar como elementos ideales o no construidos
mediante alguna tecnología, que realizan cada una de las funciones lógicas definidas y que se
representan mediante cada uno de los símbolos mostrados en la Figura 2-1; y que al ser inter-
relacionados ejecutan la función lógica del sistema. Dado que no se tiene conocimiento de la
tecnología empleada para la implementación de los sistemas digitales, se puede considerar que cada
bloque que realiza la función lógica básica respectiva, estará constituido a su vez por cierto número
de componentes que dependerán de la tecnología empleada en su construcción.
Debe tenerse presente además, que cuando se obtiene la expresión mínima de una función lógica
dada en alguna de sus formas estándar, ya sea mediante el método de Karnaugh o algebraicamente,
ella corresponde a la mínima suma de productos o al mínimo producto de sumas de la función. Ello
no constituye indicación ni garantía alguna de que corresponda también al sistema mínimo.
Para aclarar el punto, considérese a manera de ejemplo la siguiente función lógica:
F1  A, B,C , D   ACD  ABC (3-31)
la cual corresponde a la mínima suma de productos de la función F1.
Si se construye el diagrama esquemático de la función, éste estará constituido por dos AND de
tres entradas cada uno, dos NOT y un OR; resultando así un total de cinco bloques o símbolos
diferentes, como se puede observar en la Figura 3-16(a).
Sin embargo, la función dada por la ecuación (3-31) se puede expresar también de la siguiente
forma:
 
F1 A, B ,C , D   AC D  B  A C DB (3-32)
la cual posee inclusive dos literales menos que la ecuación (3-31); y si se construye su respectivo
diagrama esquemático, éste requerirá solamente de dos bloques: un NAND de dos entradas y un
AND de tres entradas. El esquema correspondiente se muestra en la Figura 3-16(b); y como es
evidente, para la implementación del sistema que realice la función dada, la expresión de la función
dada por la ecuación (3-32) resultará más conveniente que la mínima suma de productos de ella, ya
que la primera permite una implementación más sencilla y reducida.

C
B
D
D
A F1 C F1
B A

Figura 3-16. Diagramas esquemáticos correspondientes a:

a) Ecuación (3-31). b) Ecuación (3-32).
 72 INTRODUCCIÓN A LOS SISTEMAS DIGITALES

Como otro ejemplo donde la situación resulta aún más dramática, considérese la siguiente
expresión lógica que corresponde a la mínima suma de productos de la función F2:
F2  X ,Y , Z ,T   XY Z T  X Y Z T  XYZT  XYZ T (3-33)
La ecuación (3-33) es el resultado de haberla minimizado aplicando el método de Karnaugh, que
en este caso resulta de muy poca utilidad por no poderse considerar agrupación alguna. No obstante,
haciendo uso de la función XNOR, la expresión puede reducirse considerablemente, tal como sigue:
F2  X ,Y , Z ,T   XY ZT  X Y Z T  XYZT  XYZT

  
 X Z Y T  YT  X Z YT  Y T 
 X Z Y  T   X Z  Y  T 
 
 Y  T  X Z  X Z   Y  T  X  Z  (3-34)
En la Figura 3-17 se muestran los diagramas esquemáticos correspondientes a las ecuaciones (3-
33) y (3-34), donde se puede observar cómo en el último caso el diagrama esquemático se reduce a
dos XNOR y un AND de dos entradas.

(a) (b)
Figura 3-17. Diagramas esquemáticos correspondientes a:
a) Ecuación (3-33). b) Ecuación (3-34).

Se pone en evidencia entonces que lo que se entiende por la mínima expresión algebraica no
necesariamente conllevará a la mínima implantación en todos los casos. Por último, con relación a
este punto cabe señalar además que expresar una función lógica basándose en las funciones NAND
o NOR solamente, según lo indicado en las secciones 3.4.1 y 3.4.2, respectivamente, permite por lo
general la implementación del sistema mínimo. A este punto se hará referencia de nuevo en capítulos
posteriores.

3.7 BIBLIOGRAFÍA

1. Mitchell P. Markus – “Switching Circuits for Engineers”, 3ª edición, Prentice-Hall Inc., 1975.
2. Frederick Hill & Gerald Peterson – “Introduction to Switching Theory and Digital Design”, 3ª
edición, Willey International, 1981.
3. Herbert Taub – “Circuitos Digitales y Microprocesadores”, McGraw Hill Inc., 1983.
4. C. E. Strangio - “Electrónica Digital”, Interamericana, 1984.
5. John F. Wakerly – “Diseño Digital Principios y Práctica”, Prentice-Hall Inc., 1992.
 CAPÍTULO 3 - FORMAS DE REPRESENTAR UNA FUNCIÓN - MINIMIZACIÓN 73

6. John P. Hayes – “Introducción al Diseño Lógico Digital”, Addison-Wesley, 1996.

7. Victor P. Nelson, H. Troy Nagle, Bill D. Carroll & J. David Irwin – “Análisis y Diseño de Circuitos
Lógicos Digitales”, Prentice-Hall Inc., 1996.
8. Thomas L. Floyd – “Fundamentos de Sistemas Digitales”, 6ª edición, Prentice-Hall Inc., 1997.
9. Ronald J. Tocci & Neal S. Widmer – “Digital Systems Principles and Applications”, 7ª edición,
Prentice-Hall Inc., 1998.

3.8 PROBLEMAS PROPUESTOS

3-1 La función lógica F(A,B,C,D) está definida por la siguiente expresión:

 
F  A, B,C , D   A B  C  D
a) Obtenga algebraicamente su expresión como sumatoria expandida de productos.
b) Obtenga algebraicamente la expresión correspondiente al producto expandido de sumas.
c) Obtenga la mínima suma de productos y el mínimo producto de sumas.
d) Obtenga la tabla de la verdad correspondiente.

3-2 Para la función F(A,B,C) dada por la expresión:

F  A, B,C    M  0 ,1,2 ,4 ,6    D 5 ,7 
determine algebraicamente su expresión mínima, partiendo del producto de sumas expandido. Com-
pruebe el resultado obtenido, aplicando el método de mapas de Karnaugh para minimizarla.

3-3 De una función F(A,B,C) se conoce que el mapa de Karnaugh corresponde al mostrado en la Figura 3-
18. A partir del mapa determine:

BC
A 00 01 11 10
0 0 0 0 1
1 1 - - 1

Figura 3-18. Mapa de Karnaugh de la función F(A,B,C).

a) La expresión de la función como la suma de productos estándar.

b) La expresión de la función como el producto de sumas estándar.
c) La suma y productos expandidos en forma abreviada.
d) La expresión mínima basada en la función NAND.
e) La expresión mínima basada en la función NOR.

3-4 Se sabe que la función F(E,P,L,K) está completamente determinada y que la mínima expresión está da-
da por:

F  E , P , L , K   EPL  EPK
a) Determine su mapa de Karnaugh.
b) Determine su tabla de la verdad.

3-5 La mínima suma de productos de una función F(A,B,C,D) completamente determinada, está dada por la
expresión:
F  A, B,C , D   ABC  BCD  ACD  ABD
 74 INTRODUCCIÓN A LOS SISTEMAS DIGITALES

Determine el producto expandido de sumas, complementando la suma de productos expandida com-

plementaria.

3-6 La función F(A,B,C,D,E) está dada por la expresión siguiente:

F  A, B,C , D ,E    m  4 ,12 ,16 ,17 ,19 ,20 ,21,28  

  d  2 ,6 ,10 ,14 ,18 ,22 ,26 ,29 ,30 ,31
Determine su mínima suma de productos.

3-7 Para cada una de las siguientes funciones, determine la mínima suma de productos y el mínimo produc-
to de sumas mediante el método gráfico de Karnaugh. Considere los "don't care" en cada caso, cuando
existan, como mejor convenga para cada expresión.

a) F  A, B,C , D    m  0 ,8 ,10    d 12 ,13 ,14 ,15 

b) F  A, B,C , D    M  0 ,2 ,3 ,6 ,7 ,8 ,9 ,10 ,11   D 12 ,13 ,14 ,15 
c) F  A, B,C , D    M  0 ,1,2 ,3 ,5 ,7 ,8 
d) F  A, B,C , D    m  2 ,3 ,4 ,5 ,6 ,7 ,10 ,12 ,14 
e) G  A, B,C , D , E    m  2 ,6 ,7 ,15    d 1,3 ,4 ,5 ,8 ,9,12 ,13 ,18 ,
19 ,20 ,21,22 ,23 ,24 ,26 ,28 ,29,30 ,31 
3-8 Las funciones O1(A,B,C) y O0(A,B,C) están definidas por las siguientes expresiones:

O1  A, B,C   C  AB  A  B  C  AB  A  B

O2  A, B,C   C  AB  A  B  AB
Para ambas funciones determine:
a) La tabla de la verdad.
b) La expresión como suma de productos.
c) La mínima suma de productos.
d) La expresión como producto expandido de sumas.

3-9 Dada la función G(A,B,C,D) definida mediante el mapa de Karnaugh mostrado en la Figura 3-19, deter-
mine:
a) La expresión mínima en forma de suma de productos.
b) La expresión mínima en forma de producto de sumas.
c) La suma de productos estándar.
d) La expresión en forma de producto de sumas estándar abreviado.
e) La tabla de la verdad.

Figura 3-19. Mapa de Karnaugh del Problema 3-9.

 CAPÍTULO 3 - FORMAS DE REPRESENTAR UNA FUNCIÓN - MINIMIZACIÓN 75

3-10 La función lógica G(T, D2, D1, D0) está definida por la tabla de la verdad mostrada en la Figura 3-20. De-
termine la mínima expresión de la función y exprese el resultado en función de XOR y XNOR.

Figura 3-20. Tabla de la verdad del Problema 3-10.

3-11 Convierta mediante procedimiento algebraico la expresión de la función AND de dos variables (A y B),
de su forma de suma de productos expandida al producto de sumas expandido. No utilice la suma de
producto complementaria.
76 INTRODUCCIÓN A LOS SISTEMAS DIGITALES