PRINCIPIOS DE DISEO DE

LGICA COMBINACIONAL

Sistemas Digitales

CIRCUITOS COMBINACIONALES
Es aquel cuyas salidas slo dependen de los estados de
sus entradas actuales.

Sistemas Digitales

LGEBRA DE BOOLE
El lgebra de Boole difiere de manera importante del
lgebra ordinaria en que las constantes y variables
Booleanas slo pueden tomar dos valores posibles 0 1.
En el lgebra Booleana slo existen tres operaciones
bsicas:
Adicin Lgica, llamada tambin operacin OR.
Multiplicacin Lgica, llamada tambin operacin AND.
Complemento o inversin lgica, llamada operacin
NOT.

Sistemas Digitales

Operacin OR
Si A, B representan variables lgicas independientes, y
se combinan con la operacin OR, el resultado F se
expresa por F= A+B

Sistemas Digitales

Operacin AND
Si dos variables A, B se combinan con la operacin AND,
el resultado se expresa por F= A.B

Sistemas Digitales

Operacin NOT
Se aplica solo a una entrada, cuyo resultado es: F = A

Sistemas Digitales

Cualquier circuito lgico, sin importar que tan complejo

sea, puede describirse completamente mediante las
operaciones definidas anteriormente, que son los
elementos bsicos de los sistemas digitales.
Por ejemplo realizar: f AC BC ABC

Sistemas Digitales

Sistemas Digitales

COMPUERTAS ADICIONALES IMPORTANTES

1. NAND

2. NOR

Sistemas Digitales

3. X-OR (OR Exclusiva)

4. X-NOR (NOR Exclusiva)

Sistemas Digitales

10

5. BUFFER

DEFINICIN AXIOMTICA DEL LGEBRA BOOLEANA

En 1854 George Boole introdujo un tratamiento
sistemtico de la lgica y desarroll para este propsito
un sistema algebraico que ahora se conoce como algebra
booleana. En 1938 Claude E. Shannon introdujo el
lgebra booleana de dos valores denominada lgebra de
interruptores.
Sistemas Digitales

11

1. Conjunto cerrado respecto a + y .

Para la definicin formal del lgebra booleana, se
2. Elemento neutro respecto a + y .
emplean los postulados formulados por E. V. Huntington
en 1904.
POSTULADOS DE HUNTINGTON
a+0

0+a

a;

a.1 = 1.a = a
3. Conmutativo respecto a + y .

a+b

=
Sistemas Digitales

b+a;
12

a(b+c)

a.b+a.c;

a+b.c = (a+b)(a+c)
5. Para cada elemento a B, ! B (denominado
complemento de a) tal que:

a+=1;
a. =0
6. Existen cuando menos dos elementos a,b B /a b.
Sistemas Digitales

13

PRINCIPIO DE DUALIDAD
Los postulados de Huntington se listaron en pares. Una
parte puede obtenerse de la otra si los operadores
binarios y los elementos identidad se intercambian. En un
lgebra Booleana de dos valores, los elementos identidad
y los elementos del conjunto B son los mismos: 0 y 1. El
principio de dualidad tiene muchas aplicaciones si se
desea el dual de una expresin algebraica, simplemente se
intercambia los operadores OR y AND y se reemplaza los
1 por 0 y los 0 por 1.

Sistemas Digitales

14

TEOREMAS BSICOS
De unicidad
a+1 = 1
a.0 = 0

a+ = 1
a. =0

a+b=b+a
a.b=b.a

De asociacin
De doble negacin
(involucin)

De absorcin
a+ab=a
a(a+b)=a

a+(b+c)=(a+b)+c
a(bc)=(ab)c

De distribucin
a+bc=(a+b)(a+c)
a(b+c)=ab+ac

Teorema de DMorgan
De idempotencia

a+a=a
a.a=a

a+0=a
a.1=a

De conmutacin
Del complemento

(a)=a

De unin e interseccin

a b a.b
a.b a b

Sistemas Digitales

15

Teorema de expansin o de Shannon

Sea una funcin Booleana f(a1,a2,a3,...,ak,...an-1,an), luego:
f(a1,a2,a3,...,ak,...an-1,an) = a1f(1,a2,a3,...ak,...,an) + 1f(0,a2,a3,...ak,...an)
donde:
f(1,a2,a3,...ak,...,an ) = a2f(1,1,a3,...ak,...an ) + 2f(1,0,a3, an)
f(0,a2,a3,...,an) = a2f(0,1,a3,...,an) + 2f(0,0,a3, an)
f(a1,a2,a3,an) = a1a2f(1,1,a3,an )+ a1 2f(1,0,a3,an) + 1a2
f(0,1,a3,an) + 1 2f(0,0,a3,an)
Generalizando:
f(a1,a2,a3,an)=a1a2a3anf(1,1,1,,1) ++ 123nf (0,0,0,,0)
Sistemas Digitales

16

Esta expresin indica que una funcin es igual a la suma

de todos los productos cannicos afectados de un
coeficiente igual al valor que toma la funcin al sustituir
cada variable por 1 0.
De igual forma se deduce que la expresin en forma de
producto de suma es:
f(a1,a2,a3,,an) = (a1+a2+a3++ f(0,0,,0))( 1+2++ f(1,1,,1))

Sistemas Digitales

17

FUNCIONES
LOGICAS,
CONMUTACIN

BOOLEANAS

DE

Sean a1,a2,a3,...,an, ..., an smbolos llamados variables, cada

uno de los cuales representa el elemento 0 1 de un
lgebra de Boole, y sea f(a1,a2,...,an) una funcin de
Booleana de a1,a2,...,an. la funcin f toma el valor 0 1
segn el conjunto de valores asignado a a1,a2,...,an . Como
hay n variables y cada variable tiene dos posibles valores,
hay 2n maneras de asignar estos valores a las n variables.
Adems existen dos valores posibles para la funcin
f(a1,a2,...,an).
2n
2 diferentes funciones Booleanas o de
Por lo tanto, hay
conmutacin de n variables.
Sistemas Digitales

18

Si n=0 las dos funciones de cero variables son:

f0=0,
f1=1
Si n=1, las cuatro funciones de la variable A son:
f0 =0
f2 = A
f1 = A
f3 = 1
Deduciremos ahora las 16 funciones de dos variables A y
B. Definamos fi(A,B) como sigue:
fi(A,B)= i3 AB i2 AB i1 AB i0 A B

Sistemas Digitales

19

Las 16 funciones resultantes son:

f0(A,B)=0

f8(A,B)=AB

f1(A,B)= AB

f9(A,B)= AB A B

f2(A,B)= AB

f10(A,B)= AB AB B
f11(A,B)= AB AB AB A B

f3(A,B)= AB A B A
f4(A,B)= A B

f12(A,B)= AB A B A
f13(A,B)= AB AB AB A B

f5(A,B)= A B A B B

f14(A,B)= AB AB AB A B

f6(A,B)= A B AB
f7(A,B)= AB AB AB A B

f15(A,B)= AB AB AB AB 1

Sistemas Digitales

20

Sistemas Digitales

21

FORMAS CANNICAS O ESTNDAR DE LAS

FUNCIONES BOOLEANAS
1. SUMA CANNICA DE PRODUCTOS (mintrminos)
Para una funcin de n variables, si un trmino producto
contiene cada una de las n variables exactamente una
vez, ya sea en forma complementada o no
complementada, el trmino producto es un mintrmino. Si
una funcin se representa como una suma slo de
mintrminos, decimos que la funcin tiene la forma de
suma cannica de productos (SOP).
Por ejemplo: f(A, B, C) = ABC + ABC + ABC + ABC

Sistemas Digitales

22

Cada bit representa una de las variables del mintrmino

como sigue:
Variable no complementada = 1
Variable complementada = 0
Minterm
ABC
ABC
ABC
ABC

Cdigo del Minterm

Numero del Minterm

010
110
011
111

m2
m6
m3
m7

Luego:

f(A, B, C) = m2 + m3 + m6 + m7

f(A, B, C) = m(2, 3, 6, 7)
Sistemas Digitales

23

2. PRODUCTO CANNICO DE SUMAS (maxterminos)

Si un trmino suma de una funcin de n variables contiene
cada una de las n variables exactamente una vez en forma
complementada o no complementada, el trmino suma es
un maxtermino. Si representamos una funcin como
producto de trminos suma, cada uno de los cuales es un
maxtermino, decimos que la funcin tiene la forma
cannica de productos de sumas (POS).
Por ejemplo:
f(A, B, C) = (A + B + C)(A + B + C)(A + B + C)(A + B + C)

Sistemas Digitales

24

Cada bit representa

una de las variables del
maxtermino como sigue:
Variable no complementada: 0
Variable complementada:
1
Maxterm
A+B+C
A + B + C
A + B + C
A + B + C

Cdigo del Maxterm Numero del Maxterm

000
001
100
101

Luego:

f(A, B, C) = M0.M1.M4.M5

f(A, B, C) = M(0, 1, 4, 5)
Sistemas Digitales

M0
M1
M4
M5

25

Funciones con especificacin incompleta

En el diseo de circuitos digitales con frecuencia ocurre
que la funcin lgica no tiene una especificacin
completa. Es decir, una funcin puede contener ciertos
minterminos y omitir otros, y que los minterminos
restantes sean opcionales.
En este caso, se pueden incluir los minterminos
opcionales en el diseo lgico si estos ayudan a
simplificar el circuito lgico, o bien omitirlos. Un
mintermino opcional es un mintermino prescindible, y
estos indican como di en vez de mi , y los maxterminos
como Di en vez de Mi . Por ejemplo:

f ( A, B, C ) m(0,3,7) d (4,5)
f ( A, B, C ) M (1,2,6).D(4,5)
Sistemas Digitales

26

SIMPLIFICACIN DE FUNCIONES LGICAS O DE

CONMUTACIN
El objetivo de la simplificacin es minimizar el costo de
realizacin de una funcin mediante elementos de
circuitos fsicos, donde el costo depende de la
naturaleza de los elementos de circuito por utilizar.
En todos los casos, hay que lograr un diseo ajustado a
las restricciones de los elementos de circuito por
utilizar.
1. Mtodo algebraico
Mediante la aplicacin de diversos postulados y
teoremas del Algebra de Boole se simplifican las
funciones de conmutacin. Recomendable si la funcin
tiene pocas variables .
Sistemas Digitales

27

2. Mtodo grfico o de mapas de KARNAUGH (mapas-K)

Es una extensin de los conceptos de tablas de verdad,
diagramas de Venn y Mintrminos.

Sistemas Digitales

28

Sistemas Digitales

29

Mapas de Veitch:

Sistemas Digitales

30

Trazo de funciones en forma cannica sobre el mapa K

Se puede graficar fcilmente las funciones de
conmutacin sobre un mapa K si estas se expresan en
forma cannica, pues cada mintrmino o maxtrmino de
la forma cannica corresponde a una celda sobre el mapa
K, donde cada mintrmino se representa con 1 y cada
maxtrmino por 0.
Simplificacin de Funciones mediante Mapas K
Cada cuadrado sobre un mapa K de dos variables tiene
dos cuadrados adyacentes lgicamente; cada cuadrado
sobre un mapa de tres variables tiene tres cuadrados
adyacentes, etc. En general, cada cuadrado en un mapa K
de n variables tiene n cuadrados adyacentes lgicamente,
de modo que cada par de cuadrados adyacentes difiere
precisamente en una variable.
Sistemas Digitales

31

1. Se agrupa cuadrados en un numero que sea una

potencia de dos; es decir, 1, 2, 4, 8, etc. Al agrupar dos
cuadrados se elimina una variable, al agrupar 4
cuadrados se elimina dos variables, etc.
2. Se debe agrupar tantos cuadrados como sea posible,
cuanto mayor sea el grupo; habr un nmero menor de
literales en el trmino producto resultante.
3. Se debe formar el menor nmero posible de grupos
que cubran todos los cuadrados de la funcin, y se puede
utilizar cada mintermino cuantas veces sea necesario.
Terminologa
a) Implicante: es un trmino producto (es decir, un
producto de una o ms literales) que puede servir para
cubrir mintrminos de la funcin.
Sistemas Digitales

32

b) Implicante primo: En el mapa K, un implicante primo

equivale a un conjunto de cuadrados que no es
subconjunto de algn conjunto con un nmero mayor de
cuadrados. Los implicantes primos representan los
mximos agrupamientos de mintrminos deducibles para
la funcin.
c) Implicante primo esencial: Es un implicante primo que
cubre al menos un mintrmino que no est cubierto por
algn otro implicante primo.
d) Cubierta: Es un conjunto de implicantes primos tal que
todos los mintrminos de la funcin estn contenidos en
al menos un implicante primo.

Sistemas Digitales

33

Uso de mapas-K para eliminar riesgos de tiempo:

El tiempo de respuesta de la mayora de dispositivos
lgicos es muy pequeo, sin embargo, el tiempo de
respuesta no puede ser exactamente el mismo para dos
dispositivos, aun siendo del mismo tipo. Estas
diferencias relativas en el tiempo de respuesta pueden
provocar eventos no deseables en una red de
conmutacin, y estos eventos no deseables son los
riesgos.

Sistemas Digitales

34

Sistemas Digitales

35

Sistemas Digitales

36

Sistemas Digitales

37

Sistemas Digitales

38

Riesgo esttico 1: Cuando la salida debe conservar el

valor lgico 1 pero cambia temporalmente a 0 lgico,
obtenindose un pulso transitorio o fall, se presentan en
circuitos AND-OR.
Riesgo esttico 0: Contemplados en la definicin de
riesgos, y se presentan en circuitos OR-AND.
Tambin se puede presentar un segundo tipo de riesgo,
conocido como riesgo dinmico, el cual es una condicin
en la que una salida debe cambiar de 01 o de 10,
pero cambia ms de una vez antes de estabilizarse en su
nuevo estado. Se puede demostrar que los riesgos
dinmicos son el resultado de riesgos estticos
existentes en el circuito. En consecuencia, las redes
libres de riesgos estticos tambin estn libres de
riesgos dinmicos.
Sistemas Digitales

39

3. Mtodo de Quine-McCluskey (Q-M)

Tiene dos ventajas sobre el mapa-K:
1. Se trata de un mtodo directo y sistemtico para
determinar una funcin mnima, que depende menos de la
habilidad del diseador para reconocer patrones, que el
mtodo K.
2. Es un esquema viable para el manejo de un gran nmero
de variables, contrario a lo que ocurre en un mapa K.
En general, el mtodo Q-M realiza una bsqueda lineal
ordenada sobre los mintrminos de la funcin, para
determinar todas las combinaciones de mintrminos
adyacentes lgicamente.

Sistemas Digitales

40

Mtodo de Quine: Se basa en la propiedad: ab + ab = a.

Mtodo de Quine McCluskey: Se procede segn:
Se escribe la representacin binaria de los productos
estndar de la funcin Booleana dada.
2. Se ordenan de acuerdo al nmero de 1s.
3. Se combinan todos los trminos posibles.
1.

Mtodo numrico o del tabulado: Se procede segn:

Utiliza la notacin decimal.
2. Se agrupan los mintrminos de acuerdo al nmero de
1s de su representacin binaria equivalente.
1.

Sistemas Digitales

41

3. Comparar cada trmino de un grupo con otro de un

grupo mayor, de modo que la diferencia del minterm del
grupo mayor menos el minterm del grupo menor sea una
potencia de 2.
4. Se anota en la tabla de diferencias, los nmeros
combinados, seguidos por su diferencia entre parntesis,
dicho nmero indica la posicin del guion en la
representacin anterior, y as sucesivamente.
Ejemplo: f = m(0,2,3,6,7,8,9,10,13)

Sistemas Digitales

42

Redes AND-OR y NAND

Las redes AND OR deben expresarse en forma de SOP.
Ejemplo:

Sistemas Digitales

43

Redes OR AND y NOR

Las redes OR-AND deben expresarse en forma de POS.
Ejemplo:

Sistemas Digitales

44

Circuitos AND-OR-INVERSOR (AOI)

Un circuito AOI est formado por un conjunto de
puertas AND, cuyas salidas se alimentan a una compuerta
NOR, y por tanto puede servir para realizar con facilidad
los circuitos de S de P de dos niveles como un MUX,
como se muestra.

Sistemas Digitales

45

Funciones de salida mltiple: La mayora de los circuitos

combinacionales requieren mas de una salida, y siempre
se puede manejar un circuito con n salidas como n
problemas de diseo de una sola salida, solo que al
hacerlo as, se pueden perder oportunidades de
optimizarlo. Por tanto, compartir un termino producto,
reduce el tamao y costo del circuito.
Diseo de circuitos lgicos asistidos por computadora
El ciclo de diseo para un circuito lgico digital abarca
varios pasos entre el concepto y la implantacin fsica,
incluida la sntesis de diseo, la simulacin, la realizacin
y la prueba que se ilustra a continuacin:

Sistemas Digitales

46

Sistemas Digitales

47