ELO211: Sistemas Digitales

Toms Arredondo Vidal

1er Semestre 2011
Este material est basado en:

textos y material de apoyo: Contemporary Logic Design 1st / 2nd edition. Gaetano
Borriello and Randy Katz. Prentice Hall, 1994, 2005
material del curso ELO211 del Prof. Leopoldo Silva
material en el sitio http://es.wikipedia.org

4: N-Cubos 1
4-N-Cubos
4.1 Representacin y cubos de diferentes
dimensiones
4.2 Generalizaciones sobre N-Cubos

4: N-Cubos 2
Representacin
Los n-cubos permiten visualizar las
funciones booleanas en espacios n-
dimensionales discretos.
Las representaciones grficas de los n-
cubos estn restringidas a valores de n
pequeos (<10).

4: N-Cubos 3
 Representacin
Se suelen dibujar las variables de la funcin en
ejes coordenados ortogonales.
Las variables pueden tomar solamente los valores
"0" y "1", lo cual define un espacio discreto.

4: N-Cubos 4
N-Cubos
Tcnica visual usada para identificar cuando se puede
minimizar usando el teorema de unificacin (o fusin)

distancia entre
01 11 nodos adyacentes
0 1 es siempre 1
Y
1-cubo 2-cubo
X 10
(X) 00 (X, Y)
X

111 1111
0111

3-cubo Y Z 4-cubo
101
(X, Y, Z) Y (W, X, Y, Z)
Z
000 X W
1000 1100
0000 X 0100
4: N-Cubos 5
 N-Cubos y mintrminos
Un n-cubo tiene 2n vrtices.
Cada vrtice de un n-cubo tiene n adyacentes.
Cada mintrmino corresponde a un vrtice.
distancia entre
01 11 nodos adyacentes
0 1 es siempre 1
Y
1-cubo 2-cubo
X 10
(X) 00 (X, Y)
X

111 1111
0111

3-cubo Y Z 4-cubo
101
(X, Y, Z) Y (W, X, Y, Z)
Z
000 X W
1000 1100
0000 X 0100 4: N-Cubos 6
Tablas de verdad y N-Cubos
Teorema de unificacin (X Y + X Y = X) combina
superficies del cubo en bordes mas largos
Ejemplo: F = AB + AB dos superficies de dimensin 0 (nodos)
F se combinan en una superficie de
A B F
01 11 dimensin 1 (lnea)
0 0 1
0 1 0 B
F = AB + AB = B
1 0 1 00 10
A
1 1 0

A varia en la superficie, B no varia.

Esta superficie representa el
ON-set = nodos solidos
OFF-set = nodos vacios literal B.
Dont Care-set = nodos con X

4: N-Cubos 7
3-Cubo
Ejemplo: Lgica de carry para Sumador de 1 bit
(A'+A)BCin

A B Cin Cout AB(Cin'+Cin)

111
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 1 B C 101
1 0 0 0
000 A
A(B+B')Cin
1 0 1 1
1 1 0 1
1 1 1 1 El on-set esta completamente cubierto
por la combinacin (OR) de los tres sub-cubos
de menor dimensionalidad.

Cout = BCin+AB+ACin

4: N-Cubos 8
3-Cubo
Ejemplo:

F(A,B,C) = m(4,5,6,7)
on-set es un cuadrado (un cubo de dimensin 2)
011 111 representa una expresin de una variable
110 (3 dimensiones 2 dimensiones)
010

B C 001
101 A es verdad y no cambia, B y C varan
000 A 100
Este sub-cubo representa
el literal A

4: N-Cubos 9
Sub-cubos de mas dimensiones
Actividad: Que variable(s) representa este
sub-cubo?
4-cubo
1111
0111

Y
Z
W
1000 1100
0000 X 0100

f(W, X, Y, Z)=?

4: N-Cubos 10
 N-Cubos y mapas de Karnaugh
Un mapa de Karnaugh es una mapa aplanado de un N-Cubo
K-mapas estn doblados (conectados) alrededor de sus bordes
difcil dibujar y visualizar para mas de 4 dimensiones
casi imposible para mas de 6 dimensiones
Alternativa a tabla de verdad para ayudar a visualizar
minimizaciones (adyacencias)
ayudan a aplicar el teorema de minimizacin

elementos del on-set con solo un cambio de una variable son

adyacentes (y se pueden agrupar para minimizar)
A B F
A
B 0 1 Porque los minterms
01 11 0 0 1
0
no son adyacentes
1 1 0 1 0
B 0 2 en la tabla de verdad
1 0 0 1 0 1 pero en las otras
00 10 1 3 representaciones si?
A 1 1 0

4: N-Cubos 11
Adyacencias en N-cubos y mapas de
Karnaugh
Conectados de la primera a la ultima columna
Conectados de primera a ultima fila

011 111
A 110
010
000 010 110 100
B C 001
101
C 001 011 111 101
B 000 A 100

4: N-Cubos 12
Cubos y mapas de 4-variables: simplificacin

F(A,B,C,D) = m(0,2,3,5,6,7,8,10,11,14,15)

Actividad: Dibujar el 4-Cubo correspondiente

a los min-terms y simplificar

4: N-Cubos 13
Cubos y mapas de 4-variables: simplificacin

F(A,B,C,D) = m(0,2,3,5,6,7,8,10,11,14,15)

1111
0111

0010
C
D
A
1000
0000 B

4: N-Cubos 14
Mapas de 4-variables: simplificacin

F(A,B,C,D) = m(0,2,3,5,6,7,8,10,11,14,15)

Hay que encontrar el menor numero de

sub-cubos de mayor tamao que cubran el
ON-set (menos trminos con el menor numero
de variables por termino)

1111
0111

0010
C
D
A
1000
0000 B

4: N-Cubos 15
Mapas de 4-variables: simplificacin
F(A,B,C,D) = m(0,2,3,5,6,7,8,10,11,14,15)

F =C + ABD + BD

A 1111
0111
1 0 0 1

0 1 0 0 0010
D
C
1 1 1 1 D
C A
1000
1 1 1 1 0000 B
B

4: N-Cubos 16
4-N-Cubos
4.1 Representacin y cubos de diferentes
dimensiones
4.2 Generalizaciones sobre N-Cubos

4: N-Cubos 17
 Generalizaciones sobre sub-cubos
n

Se pueden efectuar k elecciones de k elementos de un
grupo total de n
Recordando que:
n n!
=
k k!(n k )!
Un conjunto de k variables booleanas puede tomar 2k
valores posibles
Los grupos posibles de k literales, cuando se tienen n
variables (k n) (o sub-cubos con dimensin n-k incluidos
en un n-cubo):
n k n!
2 = 2k
k k!(n k )!
4: N-Cubos 18
 Combinaciones de sub-cubos posibles

Ejemplo:
El numero de combinaciones para elegir sub-cubos con
dimensin 2 de un 3-cubo (sin importar el orden)
n = 3, k = 1 011 111
110 Una de muchas
010
posibilidades!
B C 001
Una variable fija 101

000 100
A

Numero de (n-k)-cubos o 2-cubos posibles son:

3 1 3! A, A, B, B, C, C
2 = 2 = 6
1 1! 4: N-Cubos 19
Generalizaciones
Bloques pueden agruparse de un nmero de
nodos que es una potencia de dos; es decir: 2,
4, 8, 16...
Ejemplo: los grupos de 1 literal cuando k=1, n=4.
4 1 4!
2 = 21 = 8
1 1!(4 1)!

Los 3-cubos posibles son A, B, C, D, A, B, C, D

4: N-Cubos 20
Generalizaciones
Ejemplo: los grupos de 2 literales (k=2), cuando n=4:

4 2 4!
2 = 2 2 = 24
2 2!(4 2)!

Los 2-cubos posibles son: AB, AB, AB, AB, AC, AC,
AC, AC,..., CD

4: N-Cubos 21
 Generalizaciones sobre sub-cubos
Mediante induccin puede plantearse:
Cada mintrmino corresponde a un vrtice.
Un n-cubo tiene 2n vrtices (o nodos).
Cada vrtice de un n-cubo tiene n adyacentes.
Si se fija una variable en un n-cubo, el resto de las (n-1)
variables puede representarse por un cubo de (n-1)
dimensiones.
Si se fijan k de las n variables, las restantes pueden
representarse en un cubo de (n-k) dimensiones.
Un (n-k) cubo est contenido en el cubo de n
dimensiones; se dice por esto que es un sub-cubo.

4: N-Cubos 22