REPUBLICA

ARGENTINA

UNIVERSIDAD NACIONAL DE ROSARIO

FACULTAD DE CIENCIAS EXACTAS, INGENIERIA Y AGRIMENSURA

DEPARTAMENTO DE SISTEMAS E INFORMTICA
Laboratorio de Tecnologas Digitales e Informtica Industrial

APUNTES DE TEORA DE

SISTEMAS
COMBINACIONALES

Revisin F
Marzo 2013

Teora de SISTEMAS COMBINACIONALES

INDICE
CONTENIDO .............................................................................................................................................................. 3
1.

INTRODUCCIN ............................................................................................................................................. 3
1.1.
COMANDOS AUTOMTICOS A SALIDA CONTINUA Y DISCONTINUA ....................................... 3
1.2.
NOCIONES ELEMENTALES DE CODIFICACION BINARIA ............................................................. 4
1.2.1. Cdigos naturales y reflejados ..................................................................................................... 4

2.

SISTEMAS COMBINACIONALES ............................................................................................................... 7

2.1.
ALGEBRA LOGICA (ALGEBRA DE BOOLE)....................................................................................... 7
2.1.1. Axiomas del lgebra de Boole .............................................................................................................. 8
2.1.2. Propiedades derivadas del lgebra de Boole ....................................................................................... 8
2.2.
DERIVACIN DE FUNCIONES BOOLEANAS (LGICAS) ................................................................ 9
2.2.1. Operaciones sobre una nica variable booleana .................................................................................. 9
2.2.2. Operaciones sobre dos variables booleanas ....................................................................................... 10
2.2.3. Tablas de Verdad ................................................................................................................................ 12
2.3.
MINTERMINOS Y MAXTERMINOS ................................................................................................... 12
2.3.1. Teorema fundamental.......................................................................................................................... 13
2.3.2. Otras propiedades ............................................................................................................................... 13
2.4.
INCLUSION. IMPLICACION. ............................................................................................................... 13
2.5.
TEOREMA DEL CONSENSO ................................................................................................................ 14
2.6.
DESARROLLOS CANONICOS DE FUNCIONES LGICAS .............................................................. 15
2.6.1. Primera Forma Cannica ................................................................................................................... 15
2.6.2. Segunda Forma Cannica ................................................................................................................... 15
2.6.3. Ejemplo sobre una Tabla de Verdad ................................................................................................... 16
2.7.
REPRESENTACIN DE FUNCIONES LGICAS ............................................................................... 16
2.7.1. Representacin Numrica ................................................................................................................... 16
2.7.2. Representacin Grfica: Tablas de Karnaugh.................................................................................... 17
2.7.3. Pasaje de la representacin grfica a la numrica ............................................................................. 19
2.8.
FUNCIONES INCOMPLETAS............................................................................................................... 19
2.9.
SIMPLIFICACIN Y MINIMIZACIN DE FUNCIONES BOOLEANAS .......................................... 20
2.9.1. Expresin irredundante irreducible ........................................................................................ 21
2.10.
SIMPLIFICACIN GRFICA SOBRE EL MAPA DE KARNAUGH .................................................. 21
2.10.1.
Subcubos......................................................................................................................................... 21
2.10.2.
Sntesis por ceros ....................................................................................................................... 23
2.11.
FUNCIONES MINIMAS Y SUS PROPIEDADES ................................................................................. 23
2.11.1.
Implicante primo ............................................................................................................................ 23
2.11.2.
Implicantes primos esenciales y secundarios ........................................................................ 24
2.12.
USO DE LAS COMBINACIONES INDIFERENTES ............................................................................ 25
2.13.
ALEATORIOS TECNOLGICOS ......................................................................................................... 25
2.13.1.
Aleatorio con tecnologa elctrica ................................................................................................. 26
2.13.2.
Aleatorio con tecnologa electrnica ............................................................................................. 26
2.13.3.
Tecnologa neumtica .................................................................................................................... 27
2.13.4.
Manifestacin del aleatorio tecnolgico ........................................................................................ 27
2.13.5.
Eliminacin del aleatorio sobre la funcin .................................................................................... 27

3.

BIBLIOGRAFA ............................................................................................................................................. 29

Pgina 2 de 29

Teora de SISTEMAS COMBINACIONALES

CONTENIDO
El presente documento es una recopilacin de temas tericos y prcticos desarrollados en la
primera parte de las asignaturas:
E-3.23.2: Sistemas Lgicos (carrera de Ingeniera Elctrica)
M-4.25.1: Introduccin a los Sistemas Lgicos y Comandos Automticos (carrera de
Ingeniera Mecnica)

1.
1.1.

INTRODUCCIN
COMANDOS AUTOMTICOS A SALIDA CONTINUA Y DISCONTINUA

Un dispositivo de comando automtico es uno en que la salida S(t) del sistema responde a los
comandos impuestos a su entrada E(t), teniendo en cuenta elementos perturbadores P(t) que
actan sobre el sistema. Es decir:

S(t) = f[E(t), P(t)]

Segn el caso, esta salida puede ser continua discontinua.
Los comandos automticos a salida continua estn constituidos por los servomecanismos
clsicos, funcionando en lazo cerrado:
P(t)

S(t)

E(t)

Figura 1.1: Diagrama de bloques de un servomecanismo

Esta disposicin permite reducir el efecto de las perturbaciones, al mismo tiempo que acrecienta la precisin. Estos comandos automticos se caracterizan por una auto-correccin permanente de sus desviaciones de funcionamiento.
Esencialmente diferentes son los comandos automticos a salida discontinua, los cuales
funcionan a lazo abierto:
S(t)

E(t)

Control

Figura 1.2: Diagrama de bloques de un comando discontinuo

Estos sistemas son autocontrolados, pero no son (en general) autocorregidos, como es el caso
de los sistemas continuos.
Nuestro estudio se centrar en sistemas del segundo tipo, realizados con circuitos que denominaremos Circuitos de Conmutacin.

Pgina 3 de 29

Teora de SISTEMAS COMBINACIONALES

La distincin entre las dos grandes clases de sistemas automticos se aplica igualmente a la
naturaleza de las seales: se puede considerar la existencia de dos tipos de seales, las continuas y las discretas.
Una seal discreta es una seal breve, de duracin finita; con frecuencia se presenta bajo la
forma de un impulso. Por el contrario, una seal continua (llamada tambin analgica) brinda
una representacin permanente de la magnitud que representa.
Dentro de los circuitos de conmutacin distinguiremos asimismo dos tipos:
a.

aquellos en los que la nocin de tiempo no interviene, y que denominaremos circuitos de

combinacin pura circuitos combinatorios

b.

los que hacen intervenir la nocin de tiempo, y que denominaremos circuitos secuenciales.

A grandes rasgos podemos decir que, en los circuitos combinatorios, el estado de los rganos
comandados (salida) puede conocerse observando simplemente el estado de los rganos de
comando (entrada), lo cual puede no ser cierto en los sistemas secuenciales.
No obstante, tanto los circuitos combinatorios como los secuenciales se basan en una teora
comn, deducida del Algebra Lgica Algebra de Boole, y el estudio de los circuitos secuenciales se apoya en el de los circuitos combinatorios.
Adems, como los circuitos de conmutacin se materializan por medio de elementos fsicos
que poseen 2 estados caractersticos de funcionamiento (contacto abierto cerrado, transistor
diodo conduciendo bloqueado, ..., etc) el sistema de numeracin binario juega un papel
preponderante en su estudio. En lo que sigue se asume un conocimiento previo de los sistemas de numeracin en general y del sistema binario en particular, por lo que pasaremos a tratar (muy brevemente) el tema de codificacin.

1.2.

NOCIONES ELEMENTALES DE CODIFICACION BINARIA

Al trabajar con el sistema binario surge el problema de representar con solamente dos smbolos
(0 y 1) un conjunto de smbolos mucho ms vasto: cifras decimales, letras maysculas y
minsculas, signos de puntuacin, ..., etc. Una solucin es tomar un grupo de smbolos binarios
y asignar una ley de correspondencia cdigo entre el conjunto de combinaciones vlidas de
los smbolos binarios y el conjunto de smbolos que queremos representar. La Figura 1.3 muestra algunas correspondencias del conocido Cdigo ASCII.
Veamos en particular la codificacin de nmeros decimales.
Si agrupamos smbolos binarios formando un conjunto de n cifras, podemos formar 2n combinaciones diferentes de las mismas, lo cual permitira constituir (2n)! permutaciones. Cada una
de estas permutaciones constituye un cdigo vlido para representar los 2n primeros nmeros
n
enteros (desde 0 hasta 2 - 1), pero de todas ellas nos interesan solamente las de los denominados cdigos reflejados, que emplearemos en la simplificacin de funciones lgicas.
1.2.1.

Cdigos naturales y reflejados

En un cdigo natural en una base B, las cifras de un mismo rango posicin de la serie indefinida de los enteros se siguen indefinidamente en el orden natural (0, 1, 2, ..., B-1), repitindorango
se cada una de ellas un nmero de veces igual al peso (B
) del rango considerado (recurdese que los rangos se numeran, de izquierda a derecha, a partir de 0). La Tabla 1.1 ejemplifica el concepto para B=2 (cdigo binario natural), codificando con 4 bits. Obsrvese la repetibilidad en cada columna (Tabla 1.2).

Pgina 4 de 29

Teora de SISTEMAS COMBINACIONALES

Figura 1.3: Cdigo ASCII: algunas correspondencias

N decimal
0

Cdigo binario natural

Cdigo binario reflejado

0000

0000

0001

0001

0010

0011

0011

0010

0100

0110

0101

0111

0110

0101

0111

0100

1000

1100

1001

1101

10

1010

1111

11

1011

1110

12

1100

1010

13

1101

1011

14

1110

1001

15

1111

1000

Tabla 1.1: Cdigos Binario Natural y Binario Reflejado

Rango

Repetibilidad
0

2 =1 (0,1,0,1, ...)

2 =2 (0,0,1,1,0,0,1,1, ...)

2 =4 (0,0,0,0,1,1,1,1, ...)

2 =8 (0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1, ...)

1
2
3

Tabla 1.2
En un cdigo reflejado en base B, las series se presentan alternadamente en el orden natural
y en el orden inverso. En la Tabla 1.1 se ejemplifica el concepto para B=2 (cdigo binario reflejado). Nuevamente, obsrvese la repetibilidad en cada columna (Tabla 1.3) (en negrita se
han resaltado las repeticiones en orden inverso).
Pgina 5 de 29

Teora de SISTEMAS COMBINACIONALES

Rango

Repetibilidad
0

2 =1 (0,1,1,0,0,1,1,0, ...)

2 =2 (0,0,1,1,1,1,0,0, ...)

2 =4 (0,0,0,0,1,1,1,1,1,1,1,1,0,0,0,0, ...)

2 =8 (0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1, 1,1,1,...)

1
2
3

Tabla 1.3
A diferencia del cdigo natural, el cdigo binario posee las siguientes propiedades:
adyacencia: una propiedad muy importante. Consideremos una representacin de informacin numrica por medio de una combinacin de n cifras binarias (bits). Diremos que dos de
tales combinaciones son adyacentes cuando difieren solamente en una posicin rango.
As, por ejemplo, la combinacin 1001 es adyacente a las combinaciones 0001, 1101, 1011
y 1000. Evidentemente, la cantidad de combinaciones adyacentes a una combinacin dada
es n. Los valores numricos de dos combinaciones binarias adyacentes difieren siempre en
una potencia de 2. Cada combinacin es adyacente a la combinacin siguiente;
es un cdigo cclico: la ltima combinacin es adyacente a la primera;
si separamos con un eje horizontal imaginario las combinaciones 2n y 2n+1 (n=0, 1, ...), las
combinaciones ubicadas simtricamente con respecto a dicho eje tambin son adyacentes
(verificar).
NOTA: para una base numrica B distinta de 2, la propiedad de adyacencia se define diciendo que dos nmeros de n cifras son adyacentes cuando difieren solamente en una
unidad en las cifras de una nica posicin rango. Las cifras 0 y B-1 se consideran
tambin adyacentes .

Pgina 6 de 29

Teora de SISTEMAS COMBINACIONALES

SISTEMAS COMBINACIONALES

2.
2.1.

ALGEBRA LOGICA (ALGEBRA DE BOOLE)

Los primeros escritos sobre lgica fueron hechos por Aristteles en el siglo IV antes de Cristo.
Fue necesario esperar hasta Leibnitz, filsofo alemn del siglo XVII, para encontrar las primeras bases de una lgica matemtica. Pero estos trabajos quedaron en el olvido por falta de una
aplicacin prctica en esa poca.
La primera contribucin importante puede atribuirse a Shannon, en un artculo publicado en
1938: "A symbolic Analysis of Relay and Switching Circuits". En el mismo demostraba particularmente que el modo de clculo que propona era muy parecido a algunas partes elementales
del clculo de las proposiciones que l mismo derivara del lgebra lgica desarrollada por
Georges Boole, matemtico ingls del siglo XIX (The Mathematical Analysis of Logic, Cambridge, Inglaterra, 1847; An investigation of the Laws of Thought, Londres, 1854).
Georges Boole fue el primero en utilizar un lgebra de dos valores para el estudio de la lgica.
Un tratamiento matemtico conveniente de los sistemas combinatorios debe permitirnos expresar sus estados con ayuda de cantidades que presenten dos valores.
Definiremos como elemento lgico (fsico) a un sistema simple cuyo comportamiento pueda
caracterizarse por dos estados estables diferentes que se excluyan mutuamente.
Por ejemplo, el contacto de un rel puede estar abierto cerrado, un transistor un diodo pueden conducir estar bloqueados, una proposicin puede ser verdadera falsa.
Hablando apropiadamente, una variable lgica (matemtica) no tiene entonces un significado
numrico preciso, dado que no existe nada con respecto a un estado que tenga un significado
universalmente mensurable. De manera algo ms precisa, una variable lgica dada podr simbolizar el estado de un elemento de un grupo de elementos cuyo comportamiento sea binario.
Desde el punto de vista prctico, con el empleo de los rels en los primeros tiempos de la telefona, y posteriormente el desarrollo considerable de mquinas numricas electrnicas que
utilizan elementos cuyo comportamiento es binario, el Algebra de Boole ha encontrado un
campo de aplicacin ms vasto que el del estudio de la lgica formal.
Definiremos como variable booleana a una variable lgica para la cual habremos afectado el
valor numrico 0 a uno de sus estados y el valor numrico 1 al otro. Estos dos valores estn
ligados por la relacin de orden total:
0<1
El Algebra de Boole puede definirse entonces como el estudio del comportamiento de las variables que toman sus valores dentro del conjunto {0, 1}, y de las funciones de dichas variables
que toman sus valores en el mismo conjunto.
Si asociamos el smbolo X al estado de una variable lgica, el primer postulado del Algebra de
Boole ser:
X = 0 si X 1
X = 1 si X 0.
Este primer postulado hace aparecer la nocin de estado opuesto complementario de un
estado dado: el estado opuesto del estado 0 es el estado 1, y viceversa.
El Algebra de Boole consiste en:
un conjunto E que contenga al menos dos elementos, 0 y 1;
dos operaciones internas definidas sobre E: + y .
- La operacin "+" se denomina tambin "unin" "suma lgica", y se define como sigue.
Sean X, A, B, ..., N elementos cualesquiera de E. Si formamos la expresin:
X = A + B + C + ... + N
Pgina 7 de 29

Teora de SISTEMAS COMBINACIONALES

X tendr valor 1 cuando A y/o B ... y/o N tengan valor 1; X valdr 0 en caso contrario (es
decir, cuando A = B = ... = N = 0)
- La operacin "" se denomina tambin "interseccin" y "producto lgico", y se define
como sigue:
X = A B ... N
X tendr valor 0 cuando A y/o B ... y/o N tengan valor 0; X valdr 1 en caso contrario (es
decir, cuando A = B = ... = N = 1)
2.1.1. Axiomas del lgebra de Boole
Uno de los roles de las matemticas es exhibir un conjunto mnimo de propiedades (los axiomas) a partir de las cuales se puedan demostrar todas las dems (los teoremas). Los axiomas
que debe satisfacer el Algebra de Boole, para A, B y C elementos cualesquiera de E son:
Axioma

Propiedad

A1

Asociativa

A2

Conmutativa

A3

Elemento neutro

A4

Distributiva

A5

Existencia de complemento

Aplicacin
(A + B) + C = A + (B + C)
(A B) C = A (B C)
A+B=B+A
AB=BA
A+0=0+A=A

(elemento neutro: 0)

A1=1A=A

(elemento neutro: 1)

A (B + C) = A B + A C
A + (B C) = (A + B) (A + C)

A, tal que A + A = 1 , y A A = 0

Tabla 2.1: Axiomas del Algebra de Boole

La complementacin de un elemento A se denomina tambin "negacin" y se expresa como
sigue:
X = A si se cumple que X = 1 cuando A = 0, y viceversa.

2.1.2.

Propiedades derivadas del lgebra de Boole

Teniendo en cuenta los axiomas precedentes, pueden demostrarse las siguientes propiedades:
P1:

A+1=1

P2:

A0=0

P3:

(idempotencia)

A+A=A
AA=A

P4:
P5:

(involucin)

A= A

P6:

(absorcin)

A+AB=A

P7:

A ( A + B) = A

P8:

A + ( A B) = A + B

P9:

A ( A + B) = A B

Pgina 8 de 29

Teora de SISTEMAS COMBINACIONALES

P10:

(Leyes de De Morgan)

A+ B = A B

P11:

A B = A+ B

P12:

Si: A + B = 1 y A B = 0 ,
entonces: A = B

Un ejemplo de cmo puede demostrarse una propiedad derivada se presenta a continuacin.

P1: A+1=1. En efecto: por el axioma A3:

P2: A0=0. En efecto: por el axioma A3:

A + 1 = (A + 1) 1 =

A0 = A 0 + 0 =

= (por el axioma A5) = (A + 1) (A + A ) =

= (por el axioma A5) = A 0 + A A =

= (por el axioma A4) = A + ( 1 A ) =

= (por el axioma A4) = A ( 0 + A ) =

= (por el axioma A3) = A + A =

= (por el axioma A3) = A A =

= (por el axioma A5) = 1

= (por el axioma A5) = 0

De manera anloga pueden demostrarse las otras propiedades.

2.2.

DERIVACIN DE FUNCIONES BOOLEANAS (LGICAS)

2.2.1. Operaciones sobre una nica variable booleana

Consideremos una variable booleana A, y apliquemos distintas operaciones lgicas Fj a la
misma. La Tabla 2.2 muestra (todas) las operaciones posibles, y los resultados que pueden
obtenerse, segn los distintos valores de A:
A

F0

F1

F2

F3

Tabla 2.2: Operaciones sobre una variable lgica

Cada uno de los resultados corresponde a una operacin sobre la variable A. Hay solamente 4
operaciones posibles:
la operacin F1 da un resultado igual al valor de la variable A.
la operacin F2 da un resultado opuesto al valor de la variable A: es la operacin complementacin negacin. Por su empleo frecuente se la identifica con las siglas NOT (en
ingls) (NO en castellano).
finalmente, las operaciones F0 y F3 dan resultados 0 y 1, respectivamente, independientemente del valor de la variable A (funciones triviales).
Resumiendo:
F0 (A) = 0
F1 (A) = A
F2 (A) = A
F3 (A) = 1
Pgina 9 de 29

Teora de SISTEMAS COMBINACIONALES

2.2.2. Operaciones sobre dos variables booleanas

Consideremos ahora dos variables booleanas, A y B. Procediendo en forma anloga a lo realizado para una variable, obtenemos la Tabla 2.3.

F0

F1

F2

F3

F4

F5

F6

F7

F8

F9

F10 F11 F12 F13 F14 F15

Tabla 2.3: Operaciones sobre dos variables lgicas

Obsrvese que existe un eje vertical privilegiado entre las operaciones F7 y F8: los resultados
de la parte izquierda son simtricamente opuestos a los resultados de la parte derecha. Esta
propiedad se observa tambin subdividiendo por mitades cada una de las partes, y as sucesivamente.
Puede verificarse lo siguiente:
las operaciones F0 y F15 dan resultado 0 y 1, respectivamente, independientemente de los
valores de las variables (como en el caso de una variable con F0 y F3) (funciones triviales).
algunas operaciones (F3, F5, F10 y F12) dan un resultado que depende de una sola variable:
F3 (A, B) = A
F5 (A, B) = B
F10 (A, B) = B
F12 (A, B) = A
aparecen finalmente otras funciones ms o menos importantes, que dependen de ambas
variables, algunas de las cuales se examinan a continuacin.

Operacin F1
El resultado es 1 solamente cuando A=B=1. Equivale, por lo tanto, a la operacin producto
lgico (AB) (ver Tabla 2.4).
Operacin F7
El resultado es 0 solamente cuando A=B=0. Equivale, por lo tanto, a la operacin suma lgica
(A+B) (ver Tabla 2.4).
Operacin F8
Los resultados de esta operacin son exactamente los opuestos de la operacin F7. Equivale,
por lo tanto, a la operacin complementacin de la suma lgica. Esta operacin es conmutativa pero no asociativa (ver Tabla 2.4).
F8 (A) = A + B = A B

Pgina 10 de 29

Teora de SISTEMAS COMBINACIONALES

Nombre
nemotcnico

Operacin

Operador

complementacin / negacin

NOT

producto lgico

AND

OR

suma lgica (O-inclusiva)

complementacin del producto lgico

Smbolo

NAND

complementacin de la suma lgica

NOR

dilema / O-exclusiva / disyuncin

XOR

identidad / equivalencia /conjuncin

A
B

A B

inhibicin
Tabla 2.4: Funciones lgicas de uso frecuente
Operacin F14
Los resultados de esta operacin son exactamente los opuestos de la operacin F1. Equivale,
por lo tanto, a la operacin complementacin del producto lgico. Esta operacin es conmutativa pero no asociativa (ver Tabla 2.4).
F14 (A) = A B = A + B

Operacin F6
El resultado es 1 solamente cuando A es distinta de B. Esta operacin, de gran importancia en el
clculo binario, se denomina dilema, O-exclusiva disyuncin (ver Tabla 2.4). La misma es
conmutativa y asociativa, pero no idempotente. Puede verificarse que:
A B = A B + A B
A0 = A
A1 = A

Operacin F9
Es la operacin opuesta a F6: solo vale 1 cuando A = B. Se la denomina identidad, equivalencia conjuncin (ver Tabla 2.4). La misma es conmutativa y asociativa, pero no idempotente. Puede verificarse que:

A B = A B = A B + A B
A 1= A
A 0=A
Operaciones F2 y F4
La operacin F2 es tal que si B = 0, el resultado toma el valor de A. Si B = 1, el resultado vale 0,
independientemente de A. Esta operacin recibe el nombre de inhibicin (de A por B). F4 representa la inhibicin de B por A.

Pgina 11 de 29

Teora de SISTEMAS COMBINACIONALES

2.2.3.

Tablas de Verdad

Una forma comn de representar una funcin es mediante el uso de una tabla, denominada
Tabla de Verdad, que reproduce todas las combinaciones posibles que pueden tomar las n
variables, conjuntamente con el valor particular de la funcin para cada una de las combinaciones. En la Figura 2.1.se muestra esquemticamente una Celda Sumadora Binaria (CS) con
acarreos de entrada y salida (izquierda) y su conexin con otras celdas del mismo tipo (derecha) para conformar un sumador binario de n bits:

Figura 2.1: Celda Sumadora Binaria

La Tabla 2.5 es una Tabla de Verdad que describe el funcionamiento de una Celda Sumadora
Binaria:
A

Ci

S = A+B+Ci

Co = acarreo de (A+B+Ci)

Tabla 2.5: Tabla de Verdad para la Celda Sumadora Binaria

2.3.

MINTERMINOS Y MAXTERMINOS

Sea { A, B, , N } un conjunto de variables lgicas. Definimos:

Mintrmino: trmino formado por el producto lgico de todas las variables del conjunto, sin
omitir ni repetir ninguna; las variables pueden estar expresadas en su forma normal complementada.
Maxtrmino: trmino formado por la suma lgica de todas las variables del conjunto, sin omitir
ni repetir ninguna; las variables pueden estar expresadas en su forma normal por complementada.
Propiedad: el complemento de un mintrmino es un maxtrmino, y viceversa. En efecto:
sea m un mintrmino cualquiera en el conjunto de variables { A, B, ... , N }, por ejemplo:
m = A B L N

Si complementamos m, en virtud de la propiedad P11 (leyes de De Morgan) obtenemos:

m = A + B +L+ N
Pgina 12 de 29

Teora de SISTEMAS COMBINACIONALES

y esta es la expresin de un maxtrmino del mismo conjunto.

2.3.1.

Teorema fundamental

En un conjunto de n variables, la suma de los 2n mintrminos es igual a 1. Recprocamente: el

producto de los 2n maxtrminos es igual a 0.
La demostracin se hace por induccin. Para n=1 tenemos una sola variable (llammosle A). El
conjunto de todos los mintrminos posibles es:
{A, A } y (por el axioma A5) A + A = 1

Para n=2 tenemos 2 variables: sean stas A y B. El conjunto de todos los mintrminos posibles
es: { A B , A B, A B , A B} . La suma de todos estos mintrminos da:
A B + A B + A B + A B = A ( B + B) + A ( B + B) = A + A = 1

Razonando por induccin se demuestra la validez del teorema para n variables.

2.3.2.

Otras propiedades

P13: El producto de 2 mintrminos distintos cualesquiera vale siempre 0. En efecto: dos

mintrminos son distintos cuando, al menos, una de sus variables componentes est en
distinto estado en ambos. El producto de una variable lgica por su complemento es 0, lo
que prueba la propiedad.
P14: La suma de 2 maxtrminos distintos cualesquiera vale siempre 1. En efecto: dos
maxtrminos son distintos cuando, al menos, una de sus variables componentes est en
distinto estado en ambos. La suma de una variable lgica y su complemento es 1, lo que
prueba la propiedad.
P15: En un conjunto de n variables, sean:
Y =

X = min j

min

2n2k

2k

con k < n. Bajo estas condiciones, utilizando el Teorema Fundamental y la propiedad P13
puede verificarse que:
X +Y = 1
X Y = 0 ,
X =Y

y, por la propiedad P12:

P16: (correlativa de P15) En un conjunto de n variables, sean:

X = Max

Y =

Max

2n2k

2k

Bajo estas condiciones, utilizando el Teorema Fundamental y la propiedad P14 puede verificarse nuevamente que:
X +Y = 1
X Y = 0 ,
y, por la propiedad P12:

2.4.

X =Y

INCLUSION. IMPLICACION.

Sean A y B dos variables lgicas. Diremos que "A implica a B", y lo notaremos como: A B si
en todos los casos en que A = 1, tambin B = 1. La inversa no tiene por qu ser cierta.

Pgina 13 de 29

Teora de SISTEMAS COMBINACIONALES

Los conocidos Diagramas de Venn utilizados en la Teora de Conjuntos pueden facilitar la

comprensin de algunas relaciones lgicas simples. Dibujemos con una curva cerrada el conjunto de condiciones bajo las cuales B = 1, y dentro de la misma otra curva cerrada representando el conjunto de condiciones bajo las cuales A = 1:

Figura 2.2: Inclusin / Implicacin

Es fcil ver que estos dos conjuntos guardan entre s la relacin definida para la implicacin al
comienzo del item. Las propiedades que surgen de esta implicacin son:
P17: A B = A
P18: A + B = B
P19: A B = 0
P20: A + B = 1
P21: B A
P22: Si: A B , y adems: B C , entonces: A C ( A B C ).
P23: Si F es una funcin constituida por una suma de mintrminos dada por un producto de
maxtrminos dado, entonces: cualquier mintrmino de la funcin implica a la funcin, y la
funcin implica a cualquiera de sus mxtrminos. En smbolos:
minj F IMaxj
P24: Si: A D + B D = 0 , entonces: B D A .
Notacin: por simplicidad, en lo sucesivo omitiremos (de ser posible) el smbolo de producto lgico "", debiendo
entenderse que AB es en realidad el producto A B.

2.5.

TEOREMA DEL CONSENSO

El Teorema del Consenso se expresa con la siguiente igualdad:

A X + B X + A B = A X + B X

En la expresin (A X + B X + A B) el trmino AB es redundante, por lo cual puede suprimirse sin alterar el valor lgico de la expresin, la que queda entonces reducida a (A X + B X )
En efecto: cuando A B = 1, tanto A como B deben valer 1, y por lo tanto:
A X + B X = 1 X + 1 X = X + X = 1

independientemente del valor de X. En otras palabras:

A B (A X + B X )

y aplicando la propiedad P18 se demuestra el postulado.

En su forma recproca, el Teorema del Consenso demuestra que:
(A + X) ( B + X ) ( A + B) = ( A + X) ( B + X )

La utilidad de este Teorema se pondr de manifiesto al tratar la simplificacin de funciones (ver

2.11).
Pgina 14 de 29

Teora de SISTEMAS COMBINACIONALES

2.6.

DESARROLLOS CANONICOS DE FUNCIONES LGICAS

2.6.1. Primera Forma Cannica

Sea X una variable lgica, y f(X) una funcin lgica de la misma. Proponemos la siguiente expresin:
F(X) = X f(0) + X f(1)

siendo f(0) y f(1) los valores de f(X) para los valores 0 y 1, respectivamente, de X. La verificacin de la validez de esta expresin por simple sustitucin es inmediata. Partiendo de ella, podemos ahora verificar la validez de una expresin similar, para 2 variables (X e Y):
F(X,Y) = X Y f(0,0) + X Y f(0,1) + X Y f(1,0) + X Y f(1,1)

Y, aplicando un razonamiento inductivo, podemos obtener la expresin de una funcin para n

variables A1, A2, ..., An como sigue:
f( A1 , A 2 ,..., A n ) = A1 A 2 ..... A n f(0,0,...,0) +
+ A1 A 2 ..... A n - 1 A n f(0,0,...,0,1) +
+ A1 A2 ..... An - 1 An f(0,0,...,1,0) +

..

+ A1 A2 .... An-1 An f(1,1,...,1,0) +

+ A1 A2 .... An f(1,1,...,1)
Esta expresin se conoce bajo distintas denominaciones:
- primera forma cannica
- desarrollo en suma de productos
- desarrollo por unos.
La denominacin "desarrollo por unos" es nemotcnica, y est ligada al hecho de que en la
expresin interesa considerar solamente aquellos sumandos para los cuales el valor de la funcin es 1. Los trminos para los cuales el valor de la funcin es 0 no aportan nada a la funcin
(son neutros) y pueden omitirse (vase el ejemplo en Tablas de Verdad).
2.6.2. Segunda Forma Cannica
Mediante un razonamiento equivalente podemos obtener el desarrollo de una funcin en su
forma recproca. Para una sola variable X:

F(X) = [ X + f(1)] [X + f(0)]

y para n variables:
f( A1 , A2 ,..., An ) = [ A1 + A2 + ..... + An + f(1,1,...,1)]

[ A1 + A2 + ..... + An-1 + An f(1,1,...,1,0)]

[ A1 + A2 + ..... + An-1 + An + f(1,1,..., 0,1)]
..

[ A1 + A2 + .... An-1 + An + f(0,0, ,...,0,1)]

[ A1 + A2 + .... An + f(0,0,...,0)]

Pgina 15 de 29

Teora de SISTEMAS COMBINACIONALES

Esta expresin se conoce bajo distintas denominaciones:

- segunda forma cannica
- desarrollo en producto de sumas
- desarrollo por ceros.
La denominacin "desarrollo por ceros" es nemotcnica, y est ligada al hecho de que en la
expresin interesa considerar solamente aquellos sumandos para los cuales el valor de la funcin es 0. Los trminos para los cuales el valor de la funcin es 1 no aportan nada a la funcin
(son neutros) y pueden omitirse (vase el ejemplo en Tablas de Verdad).
2.6.3. Ejemplo sobre una Tabla de Verdad
Volviendo al ejemplo esquematizado en la Figura 2.1 (Celda Sumadora Binaria): aplicando la
primera forma cannica, se obtiene:
S(A, B, C i ) = A B C + A B C + A B C + A B C
C 0 (A, B, C i ) = A B C + A B C + A B C + A B C

Obsrvese que cada uno de los sumandos en ambas expresiones es un mintrmino, es decir,
contiene todas las variables.
De la misma forma, aplicando la segunda forma cannica, se obtiene:
S(A, B, C i ) = (A + B + C) (A + B + C ) ( A + B + C ) ( A + B + C)
C 0 (A, B, C i ) = (A + B + C) (A + B + C ) (A + B + C) ( A + B + C)

Obsrvese que cada uno de los sumandos en ambas expresiones es un maxtrmino, es decir,
contiene todas las variables.
Veremos ms adelante que estas expresiones son, en general, simplificables.
Los dos primeros desarrollos cannicos slo hacen intervenir los operadores AND, OR y NOT,
como puede verificarse. Existen otras dos formas cannicas que hacen intervenir, respectivamente, los operadores universales NAND y NOR en forma exclusiva.

2.7.

REPRESENTACIN DE FUNCIONES LGICAS

La representacin de funciones tiene el propsito de mostrar las mismas en forma condensada,

dejando claramente expresada su estructura y permitiendo su manipulacin por el empleo de
determinadas tcnicas.
2.7.1. Representacin Numrica
Este tipo de representacin es til para el manejo de las funciones por medio de algoritmos
computacionales. Se aplica a las formas cannicas de la funcin, reemplazando cada mintrmino maxtrmino por un nmero equivalente que lo simboliza.
Consideremos una funcin expresada en su primera forma cannica como la siguiente:
f(A, B, C) = A B C + A B C + A B C + A B C + A B C

Reemplacemos cada uno de los mintrminos por un nmero decimal equivalente que obtendremos de la siguiente manera: considerando la terna ordenada A, B, C, si la letra correspondiente est negada le asignamos el valor binario 0; de lo contrario le asignamos el valor binario
1. El nmero decimal equivalente al mintrmino ser el conjunto de los tres bits expresado en
notacin decimal. As:
Pgina 16 de 29

Teora de SISTEMAS COMBINACIONALES

A B C 100b = 4
A B C 010b = 2
A B C 111b = 7
A B C 000b = 0
A B C 110b = 6

con lo cual, la funcin precedente puede expresarse sintticamente como sigue:

f(A, B, C) = (0,2,4,6,7)
3

donde el nmero 3 debajo del smbolo de sumatoria indica el nmero de variables lgicas que
se estn manejando. El orden dentro de los parntesis es irrelevante, dada la propiedad conmutativa de la suma.
La representacin recproca, en la segunda forma cannica, tiene tambin su equivalente
numrico. En este caso reemplazaremos cada uno de los maxtrminos por un nmero decimal
equivalente que obtendremos de la siguiente manera: considerando la terna ordenada A, B, C,
si la letra correspondiente est negada le asignamos el valor binario 1; de lo contrario le asignamos el valor binario 0. El nmero decimal equivalente al maxtrmino ser el conjunto de los
tres bits expresado en notacin decimal. As, si:
f(A, B, C) = (A + B + C ) (A + B + C ) ( A + B + C )

entonces:
A + B + C 001b = 1
A + B + C 011b = 3
A + B + C 101b = 5

con lo cual, la funcin precedente puede expresarse sintticamente como sigue:

f(A, B, C) = (1,3,5)
3

donde el nmero 3 debajo del smbolo de productoria indica el nmero de variables lgicas que
se estn manejando. El orden dentro de los parntesis es irrelevante, dada la propiedad conmutativa del producto.
Obsrvese que, en razn de la propiedad P15, resulta:
f(A, B, C) = (0,2,4,6,7) = (1,3,5) = (1,3,5)
3

2.7.2. Representacin Grfica: Tablas de Karnaugh

La Tabla ( Mapa) de Karnaugh es una representacin matricial de la funcin, organizada en
filas y columnas que se corresponden con cada una de las combinaciones de las variables booleanas consideradas. Las celdas que constituyen el interior de la Tabla se llenan con los valores de la funcin correspondientes a las combinaciones de las variables cuyas filas y columnas
se interceptan en dicha celda. Por ejemplo, sea la funcin de 2 variables:
f(A, B) = (0,3) = A B + A B
2

La representacin grfica puede adoptar la siguiente forma:

Pgina 17 de 29

Teora de SISTEMAS COMBINACIONALES

Figura 2.3: Tabla de Karnaugh de 2 variables

Para una funcin de 3 variables, tal como:
f(A, B, C) = (1,2,4,7) = A B C + A B C + A B C + A B C
3

podramos dibujar una Tabla de Karnaugh como la siguiente:

Figura 2.4: Tabla de Karnaugh de 3 variables

Un ejemplo para 4 variables:

f(A, B, C, D) = (3,5,8,13,14) = A B C D + A B C D + A B C D + A B C D + A B C D
4

Figura 2.5: Tabla de Karnaugh de 4 variables

Como se indic anteriormente, se escribe un 1 en la casilla de la tabla que corresponde a la

combinacin de las variables para las cuales la funcin representada vale 1, llenndose las
restantes casillas con el valor 0.
Es importante notar que las lneas y columnas de la tabla se identifican utilizando el cdigo
binario reflejado. Como veremos, este tipo de escritura presenta una importancia particular
para los mtodos de simplificacin de funciones lgicas: las combinaciones de las variables
son, en efecto, adyacentes (desde el punto de vista lgico), coincidiendo con la situacin de
adyacencia grfica entre celdas contiguas que se observa en la figura.
Ntese, particularmente, que las casillas correspondientes a las combinaciones ABCD = 0000 y
ABCD = 1000 son adyacentes lgicamente (aunque no lo sean grficamente, por sencillez de
dibujo). Lo mismo puede decirse de las casillas (0001 con 1001), (0011 con 1011) y (0010 con
1010), y tambin de las celdas de la fila superior (CD=00) con las de la fila inferior (CD=10).

Pgina 18 de 29

Teora de SISTEMAS COMBINACIONALES

Si el nmero de variables excede a 4, las Tablas de Karnaugh se vuelven relativamente complicadas, y se prefiere entonces extender el mtodo de representacin para 5, 6 ms variables utilizando 2, 4 ms tablas, respectivamente, de 4 variables cada una.
2.7.3. Pasaje de la representacin grfica a la numrica
La figura siguiente muestra en un Mapa) de Karnaugh los equivalentes numricos (entre corchetes) de los correspondientes mintrminos de una funcin de 4 variables:

Figura 2.6: Tabla de Karnaugh: equivalencia con la representacin numrica

2.8.

FUNCIONES INCOMPLETAS

Hasta ahora hemos supuesto implcitamente que las funciones booleanas que estudibamos
estaban completamente definidas para todas y cada una de las combinaciones posibles de las
variables. Pero, frecuentemente, se tienen situaciones en que el valor de la funcin no est
especificado para algunas combinaciones, lo cual podra ser debido a que dichas combinaciones no pueden darse jams en condiciones de funcionamiento normal del sistema, bien debido a que el valor de la funcin para dichas combinaciones puede ser, indiferentemente, 0 1.
Estas combinaciones, para las cuales el valor de la funcin no est definido, se denominan
combinaciones indiferentes. En el siguiente ejemplo puede verse un pistn comandado por
un distribuidor de doble efecto:

Figura 2.7: Ejemplo para el estudio de funciones incompletas

Las llaves lmites sensoras de final de carrera del recorrido del pistn (entradas) admiten las
combinaciones:
h0 h1 = 10 cuando el pistn est en un extremo
h0 h1 = 00 cuando el pistn est transitando entre los 2 extremos)
h0 h1 = 01 cuando el pistn est en el otro extremo
pero no admiten la combinacin 11, la que significara que el pistn est, a la vez, en los dos
extremos de su recorrido, lo que es imposible: la combinacin 11 es indiferente.
Pgina 19 de 29

Teora de SISTEMAS COMBINACIONALES

Con respecto a las salidas de control (H0 y H1): para un sistema como el de la figura, una vez
que se ha aplicado un comando para que el pistn cambie de posicin, ya no es necesario
mantenerlo sino hasta el prximo cambio de posicin. Por ejemplo: si el pistn est en la posicin h0 y se lo quiere enviar a la posicin h1, deber activarse la salida H0-H1=01; una vez que
el pistn comienza a desplazarse, dado que el distribuidor no posee muelle de retorno, conservar su posicin tanto si se mantiene la salida H0-H1=01 como si se aplica la salida H0-H1=00.
En resumen, tenemos 3 tipos de combinaciones:
aquellas para las que la funcin toma el valor 0
aquellas para las que la funcin toma el valor 1
aquellas para las que la funcin puede tomar, indiferentemente, el valor 0 1. Este valor
indeterminado lo indicaremos con los smbolos .
Por ejemplo, sea: F = (1,3,7,9,10) + (2,4,11)
4

donde el smbolo 4 indica que las combinaciones correspondientes son indiferentes. Esta funcin puede representarse con la siguiente Tabla de Karnaugh:

Figura 2.8: Tabla de Karnaugh para el ejemplo de la Figura 2.7

2.9.

SIMPLIFICACIN Y MINIMIZACIN DE FUNCIONES BOOLEANAS

NOTA: el criterio y los procedimientos de simplificacin que siguen se aplican a una funcin expresada
en su primera forma cannica (suma de productos). Las conclusiones finales se trasladarn directamente
en su forma recproca a las funciones expresadas en la segunda forma cannica (producto de sumas).

Simplificar una funcin booleana consiste en implementar mtodos que permitan escribir la
funcin realizar el circuito correspondiente bajo la forma ms simple posible, conservando no
obstante todas las caractersticas de la funcin.
El problema no es puramente terico, y el criterio de minimizacin que permita definir si se ha
alcanzado la forma ms simple de la funcin depender frecuentemente de la tecnologa adoptada para la realizacin prctica de aquella. As, por ejemplo, el deseo de simplificar la construccin podra eventualmente conducir a adoptar un montaje no mnimo, pero que bajo la ptica de la confiabilidad presentara los requisitos apropiados.
El principio general de simplificacin de una funcin lgica consiste en tratar de obtener una
expresin mnima de la misma, aplicando algn criterio de costo. Entre los diversos criterios
posibles, se aplicar el siguiente:
Obtener el mnimo nmero de trminos en una expresin en suma de productos, siempre y cuando no exista otra expresin similar con el mismo nmero de trminos pero
con menos literales.
Pgina 20 de 29

Teora de SISTEMAS COMBINACIONALES

El trmino literal se aplica a la enunciacin de una variable, sea sta en su forma natural
complementada.
2.9.1.

Expresin irredundante irreducible

Se dice que una expresin en suma de productos (primera forma cannica) es irredundante
irreducible cuando no pueda eliminarse ningn trmino ni ningn literal de la misma sin alterar
su valor lgico. Lo explicamos con un ejemplo. Sea:
f(A, B, C) = (2,0,4,3,7,5) = A B C + A B C + A B C + A B C + A B C + A B C
3

cuya Tabla de Karnaugh es:

Figura 2.9: Tabla de Karnaugh para el ejemplo

Agrupando, respectivamente, los trminos (1 y 2), (2 y 3), (4 y 5), y (5 y 6), y aplicando
los axiomas y propiedades, la expresin anterior se reduce a:
f(A, B, C) = A C + B C + B C + A C

(un mismo trmino puede usarse varias veces, en virtud de la propiedad de idempotencia).
La expresin obtenida es irredundante: eliminar cualquier trmino cualquier literal de un
trmino dara una expresin no equivalente a la funcin. Obsrvese que la forma simplificada
ya no est expresada, en general, en suma de mintrminios, sino de trminos-producto ms
reducidos (con menor nmero de literales).
Podemos obtener otras formas irredundantes. Por ejemplo: combinando los trminos (1 y 2),
(3 y 6) y (4 y 5) se obtiene:
f(A, B, C) = A C + A B + B C

y combinando los trminos (1 y 4), (2 y 3) y (5 y 6):

f(A, B, C) = A B + B C + A C

Pueden obtenerse otras formas irredundantes usando diferentes combinaciones. Observamos

que las dos ltimas contienen un trmino menos que la primera y que ambas tienen igual costo: 3 trminos con 2 literales cada uno. Puede verificarse que estas dos ltimas son expresiones mnimas, mientras que, obviamente, la primera forma no lo es, a pesar de ser irredundante. En conclusin:
Una expresin irredundante no es necesariamente mnima, y la expresin mnima no
siempre es nica.

2.10.

SIMPLIFICACIN GRFICA SOBRE EL MAPA DE KARNAUGH

2.10.1. Subcubos
En un Mapa de Karnaugh de N variables, definiremos como subcubo a una coleccin de 2m
casillas en donde la funcion vale 1, donde cada casilla es adyacente a otras m casillas de la
coleccin. Cada subcubo puede expresarse como un trmino-producto compuesto por (N m)
Pgina 21 de 29

Teora de SISTEMAS COMBINACIONALES

literales: los m literales excluidos del producto se eliminan debido a que sus 2m combinaciones
(todos los mintrminos de las m variables) aparecen en el subcubo multiplicadas por un mismo
factor: por el Teorema Fundamental, la suma de las 2m combinaciones da 1, quedando solamente el factor comn.
La tabla siguiente ejemplifica diversos subcubos, en tanto que el Mapa de Karnaugh que le
sigue muestra algunos posibles.
m

m (orden del subcubo) 2 (tamao del subcubo)

0

1 celda

2 celdas

4 celdas

8 celdas

16 celdas

.....

.....

Subcubo
de orden 0
A.B
00

01

11

10

00

01

11

10

C.D

Subcubo
de orden 2

Subcubo
de orden 1

Figura 2.10: Subcubos

Para obtener la expresin completa de la funcin debemos recubrir todos los unos de la tabla
con subcubos, ya sea aislados parcialmente superpuestos (uso de la idempotencia). La funcin quedar representada por una suma de trminos-producto correspondientes a los subcubos necesarios para cubrir todas las celdas con valor 1. El nmero de trminos ser igual al
nmero de subcubos, mientras que el nmero de literales en cada trmino depender del tamao del subcubo.
Para obtener una expresin mnima deben cubrirse todas las celdas con valor 1 con el menor
nmero de subcubos, y tal que cada subcubo sea lo ms grande posible, considerando que:
cuanto mayor sea el tamao de un subcubo, tanto ms sencilla ser la expresin que represente (en trminos de nmero de literales), si existe ms de una forma de cubrir el mapa con
un nmero mnimo de subcubos, debe seleccionarse la cobertura constituida por subcubos
ms grandes.
la expresin correspondiente a un subcubo es un trmino igual al producto de las variables
que conservan su valor en todas las celdas del subcubo: si la variable vale 1 aparecer en el
trmino sin complementar; si vale 0, aparecer en su forma negada. Por ejemplo, en el Mapa del ejemplo precedente:
- el subcubo de orden 0 tiene por expresin: A B C D
- el subcubo de orden 1 tiene por expresin: A C D
- el subcubo de orden 2 tiene por expresin: B C
Pgina 22 de 29

Teora de SISTEMAS COMBINACIONALES

un subcubo incluido totalmente dentro de otro subcubo no debe utilizarse, por cuanto cubre
slo parcialmente los unos cubiertos por el segundo, el cual, en razn de su mayor tamao,
se representa con un trmino ms sencillo
un subcubo recubierto totalmente por otros subcubos es redundante y no debe utilizarse,
por cuanto los unos que recubre ya estn cubiertos por aquellos (Teorema del Consenso).
Esto garantizar que la expresin de la funcin sea verdaderamente mnima, y que no exista
ninguna otra expresin conteniendo el mismo nmero de trminos pero con menos literales.
La metodologa prctica es la siguiente:
a.

Cubrir con subcubos de orden 0 (1 casilla) los 1 aislados, que no pueden combinarse con
otras casillas para formar subcubos de orden 1 (2 casillas).

b.

Cubrir con subcubos de orden 1 (2 casillas) los pares de 1 que no pueden combinarse
con otras casillas para formar subcubos de orden 2 (4 casillas).

c.

Cubrir con subcubos de orden 2 (4 casillas) los conjuntos de cuatro 1 que no pueden
combinarse con otras casillas para formar subcubos de orden 3 (8 casillas).

d.

Continuar de la misma manera hasta cubrir todos los 1 del mapa.

En el ejemplo de la Figura 2.10, la expresin mnima de la funcin ser:

F = A B C D + AC D + B C

2.10.2. Sntesis por ceros

Como se dijo, las conclusiones obtenidas hasta ahora pueden traducirse en trminos de desarrollo por ceros, sin necesidad de efectuar un desarrollo paralelo. Aplicando el principio de reciprocidad, todo lo que tenemos que hacer es recubrir los 0 del mapa con subcubos, cada uno
de los cuales tendr por expresin un trmino-suma constituido por la unin de las variables
que no cambian en el interior del subcubo: si la variable vale 0 aparecer en el trmino sin
complementar; si vale 1, aparecer en su forma negada.
En el ejemplo de la Figura 2.10, la expresin mnima de la funcin ser:
F = (B + C ) (A + C + D ) ( B + C + D) ( A + B + D)

2.11.

FUNCIONES MINIMAS Y SUS PROPIEDADES

2.11.1. Implicante primo

La simplificacin grfica tiene, por supuesto, su contraparte terica. Se denomina implicante
primo de una funcin F expresada en suma de productos a un trmino-producto ip que es cubierto por F (es decir, que ip implica a F), tal que la supresin de cualquier literal de ip resulta
en un nuevo trmino-producto que ya no es cubierto por F. Expresado de otra forma, ip es un
implicante primo de F slo si ip implica a F, pero no implica a ningn trmino-producto con menor cantidad de literales que a su vez implique a F (recurdese que, por la propiedad P18, la
suma de un implicante y su implicado da como resultado al segundo).
Por ejemplo, en la funcin:
F = A B + A B C + AC

- puede verificarse que el trmino A B no es un implicante primo, puesto que, aunque es

cubierto por F, tambin es cubierto por B, que, a su vez, implica a F. En efecto, si B=1, entonces: F = A B + A B C + A C A + A C + A C = A + A = 1
- por la misma razn, el trmino A B C tampoco es un implicante primo
Pgina 23 de 29

Teora de SISTEMAS COMBINACIONALES

- no obstante, el trmino A C s es un implicante primo, puesto que ni A ni C por s solos implican a F.

Puede demostrarse que esta funcin se simplifica a F = B + A C
Teorema:
Toda suma de productos irredundante equivalente a una funcin F es una unin de implicantes primos de F.
Demostracin:
Sea F1 una expresin en suma de productos irredundante equivalente a F, y supongamos que
F1 contiene un trmino-producto tp que no es un implicante primo. Como tp no es un implicante
primo, es posible reemplazarlo por otro trmino producto que tenga un nmero de literales menor. Por lo tanto, F1 contiene literales redundantes, lo que contradice la hiptesis inicial.
Nos proponemos ahora generar el conjunto de todos los implicantes primos de F, y de este
conjunto seleccionar aquellos cuya unin produzca una expresin mnima para F. Supondremos que F est expresada en su primera forma cannica (en suma de productos). Entonces,
aplicando la propiedad de adyacencia ( A X + A X = A ) a un par de mintrminos obtendremos un trmino-producto ms sencillo que implica a F. Repetidas aplicaciones de la propiedad
a todos los pares de trminos que difieran en el valor de slo una variable producirn un conjunto de trminos-producto, cada uno de los cuales implicar a F. Un trmino-producto que no
pueda combinarse con ningn otro trmino-producto para dar un nuevo trmino-producto an
ms pequeo (con menos literales) ser un implicante primo de F. De este modo, el primer
paso en la determinacin de la expresin mnima de la funcin es una combinacin sistemtica
de trminos. El segundo paso, consistente en seleccionar el conjunto mnimo de implicantes
primos, es, en general, ms complicado. En el mapa de Karnaugh un implicante primo se corresponde con un subcubo que no est contenido dentro de otro subcubo de mayor tamao.
2.11.2. Implicantes primos esenciales y secundarios
Como su nombre indica, un implicante primo esencial principal es aquel que es imprescindible para la realizacin de la funcin.
Por el contrario, un implicante primo secundario es un implicante primo redundante, que
puede omitirse sin menoscabo de la funcin. Que sea redundante significa que su funcin ya
ha sido cumplida por otros 2 ms implicantes primos, es decir, que el implicante primo secundario est cubierto por 2 ms implicantes primos esenciales.
Un implicante primo esencial no puede estar cubierto por ninguna unin de implicantes
primos.
Aclararemos el concepto con el siguiente ejemplo:
A.B
C

00

01

11

10

Implicante primo
secundario

Implicante primo
principal

Figura 2.11: Implicantes primos

Pgina 24 de 29

Teora de SISTEMAS COMBINACIONALES

La Figura 2.11 muestra dos implicantes primos esenciales. El implicante primo que recubre los
unos de la columna AB = 01 es secundario, puesto que cubre unos que ya han sido cubiertos
por los esenciales.
El Teorema del Consenso (ver 2.4) explica por qu los implicantes primos secundarios pueden eliminarse de la expresin de la funcin. En la Figura 2.11:
A B AC + B C
A B + AC + B C = AC + B C .

por lo que:

Cuando se simplifican expresiones por medio de un Mapa de Karnaugh, se comienza seleccionando los implicantes primos esenciales. Esto se lleva a cabo formando primero los subcubos
mximos de 1 que puedan combinarse para formar solamente un subcubo. Cualquier otro
subcubo cuyos 1 estn contenidos en cualquier otro (u otros) subcubo(s) corresponde a un
trmino redundante, y no necesita ser considerado. En conclusin:
El conjunto de todos los implicantes primos esenciales debe estar contenido en cualquier expresin irredundante en suma de productos, en tanto que cualquier implicante
primo cubierto por la suma de los implicantes primos esenciales no debe estar contenido en una expresin irredundante.

2.12. USO DE LAS COMBINACIONES INDIFERENTES

Las combinaciones indiferentes pueden utilizarse con provecho para obtener expresiones de
funciones ms simples. En efecto: dado su carcter de indefinidas, es lcito asignarles cualquier
valor til, con el propsito de obtener subcubos de mayor tamao (y por lo tanto, de expresin
ms simple). El siguiente ejemplo aclara el concepto:
A.B
C.D

00

01

11

10

0
1

00

01

11

10

Figura 2.12: Uso de combinaciones indiferentes

- redundancia en ABCD=0100: conviene asignarle el valor 0, pues no se aumenta el tamao

de ningn subcubo asignndole el valor 1
- redundancias en ABCD=1011 y 0010: conviene asignarles valor 1, pues esto permite formar
subcubos de orden 2

2.13. ALEATORIOS TECNOLGICOS

Hasta este punto hemos supuesto implcitamente que los dispositivos fsicos utilizados para
sintetizar las funciones lgicas eran elementos lgicos perfectos, poseyendo solamente 2
estados estables mutuamente excluyentes.
En su mayora, los elementos lgicos disponibles comercialmente no se comportan como dispositivos perfectos, lo cual acarrea que las funciones sintetizadas mediante estos dispositivos
puedan exhibir un comportamiento no esperado, tomando momentneamente un valor 0 cuanPgina 25 de 29

Teora de SISTEMAS COMBINACIONALES

do debera mantenerse en 1 viceversa. Al este fenmeno lo denominaremos comportamiento aleatorio, y a la causa del mismo aleatorio tecnolgico.
2.13.1. Aleatorio con tecnologa elctrica
La Figura 2.13 muestra el esquema de una llave inversora, donde:

C = contacto comn (en ingls: Common)

NC = contacto normal cerrado (en ingls: NC = Normally Closed)
NA = contacto normal abierto (en ingls: NO = Normally Open)

Figura 2.13: Llave inversora

La corriente que entra por el contacto C se bifurca hacia el contacto NC hacia el contacto NA,
segn la posicin de la llave. La llave esquematizada corresponde al funcionamiento abrir antes de hacer (contacto) (break-before-make, en ingls): primero se abre el contacto NC y luego
se cierra el contacto NA.
Si designamos con X a una variable lgica que represente el estado de la llave, el contacto NC
estar asociado con el estado de reposo de la misma ( X ), y el contacto NA estar asociado
con el estado de llave accionada (X), y en cualquiera de estos dos estados se cumple el Algebra de Boole: X + X = 1 . Pero, si consideramos el breve momento en que el contacto est
cambiando de NC a NA viceversa, durante ese perodo el contacto comn C queda abierto,
y el comportamiento fsico viola el Algebra de Boole: X + X = 0 !.
Existe otro tipo de llave en el que primero se cierra el contacto NA y luego se abre el contacto
NC: corresponde al funcionamiento hacer (contacto) antes de abrir (make-before-break, en
ingls): su funcionamiento viola momentneamente el Algebra de Boole haciendo X X = 1 !.

UL

UH

2.13.2. Aleatorio con tecnologa electrnica

La Figura 2.14 muestra el esquema de una simple compuerta inversora, y la relacin ideal entre su entrada y su salida:

v(1) mn.

v(0) mx.

A
A

v(1) mn.

A
A

v(0) mx.
t1

Figura 2.14: Compuerta inversora: reaccin ideal

t2

Figura 2.15: Reaccin tpica

No obstante, tal como se observa en las hojas de datos de fabricantes, como puede comprobarse con un buen osciloscopio, la relacin real adopta la forma indicada en la Figura 2.15.
Obsrvense los instantes t1 y t2, en donde realmente comienza la reaccin de la salida ante la
variacin de la entrada aplicada: hasta que la entrada no alcanza los niveles correspondientes
a dichos tiempos (v(1) mn y v(0) mx, respectivamente) la salida no comienza a variar. Pueden
Pgina 26 de 29

Teora de SISTEMAS COMBINACIONALES

observarse dos franjas sombreadas, UH y UL, en donde el Algebra de Boole no se cumple: en

UH: A A = 1 ; en UL: A + A = 0 .
2.13.3. Tecnologa neumtica
Las caractersticas fsicas de los dispositivos neumticos utilizados como elementos lgicos
hacen que los mismos no presenten comportamientos aleatorios.
2.13.4.

Manifestacin del aleatorio tecnolgico

El hecho de que un elemento fsico presente un comportamiento aleatorio no implica de por s

que su empleo en la sntesis de una funcin ocasione efectos aleatorios sobre la misma. Para
que ello ocurra debe darse el caso de que:
a. la funcin contenga uno ms implicantes incluyendo cierta variable (llammosla X) y uno
ms implicantes incluyendo el complemento de dicha variable
b. sea posible una ms combinaciones de las variables que hagan que la funcin dependa
del producto de la suma de X y su complemento
Por ejemplo, sea: F = A C + B C . Si las entradas A y B toman respectivamente el valor 0 y 1,
F depende entonces de ( C + C) , quedando entonces expuesta al aleatorio tecnolgico que se
producira al cambiar el estado de la variable C.
Otro ejemplo: F = ( A + C ) ( B + C ) . Si las entradas A y B toman respectivamente el valor 1 y
0, F depende entonces de (C C ) , quedando entonces expuesta al aleatorio tecnolgico que
se producira al cambiar el estado de la variable C.

Las dos condiciones se encuentran cuando la funcin incluye al menos dos subcubos adyacentes. En efecto,
por ser subcubos diferentes, ello garantiza que se cumple la condicin a.
por ser subcubos adyacentes, en la frontera de adyacencia cambia una nica variable, permaneciendo constantes todas las dems, lo que hace que se cumpla la condicin b.
Los ejemplos citados arriba corresponden a la funcin cuya Tabla de Karnaugh est representada por la Figura 2.16. Obsrvese la frontera entre los subcubos y la evolucin temporal de F:

Figura 2.16: manifestacin del aleatorio tecnolgico

Mientras A.B = 0.1, F debera mantenerse en el valor 1; pero en la frontera entre los dos subcubos, F depende de ( C + C) que, al cambiar C, toma momentneamente el valor 0.
2.13.5. Eliminacin del aleatorio sobre la funcin
Si bien no podemos evitar que se produzca el aleatorio tecnolgico, porque el mismo es un
fenmeno constructivo del elemento fsico, podemos no obstante enmascarar su efecto sobre
la funcin, de modo que el aleatorio no se evidencie sobre esta ltima.

Pgina 27 de 29

Teora de SISTEMAS COMBINACIONALES

La solucin es simple: consiste en agregar un subcubo que cubra las celdas en la frontera de
conflicto, tal como muestra la Figura 2.17. Este subcubo corresponde a un implicante primo
secundario (redundante, puesto que cubre 1s que ya han sido cubiertos por otros subcubos
(implicantes primos principales)).
A.B
C

00

01

11

10

Implicante primo
secundario

Figura 2.17: enmascaramiento del aleatorio tecnolgico

Con este agregado: F = A C + B C + A B . Si las entradas A y B toman respectivamente el
valor 0 y 1, F = 1 independientemente de las variaciones de C.

Pgina 28 de 29

Teora de SISTEMAS COMBINACIONALES

3.

BIBLIOGRAFA

World Wide Web (www)

www.wikipedia.com: recomendamos esta enciclopedia en-lnea, donde pueden consultarse
temas diversos, con numerosos enlaces y referencias para profundizar su estudio
Circuitos electrnicos digitales (Teora y Prctica) Mandado - Editorial Marcombo
Diseo digital: principios y prcticas Wakerli - Editorial Prentice Hall Hispanoamericana
Circuitos Neumticos, Elctricos e Hidrulicos - E. Farrando
Servocomandos Neumticos - Uggeri
Dispositivos Neumticos - Depert
Serie Schaum: Principios Digitales - Tokheim
Elementos y Esquemas de la Neumtica - Editorial MIR
Control de Motores Elctricos - Editorial Marcombo

Pgina 29 de 29