BENEMRITA UNIVERSIDAD AUTNOMA DE PUEBLA

FACULTAD DE CIENCIAS DE LA ELECTRNICA

PRCTICA No.3
Restador de 2-2 bits con decodificador de resultado.
ALUMNOS:
Michelle Segura Osorio
Juan Pedro Fernndez Morales
Viridiana Ramrez Tendilla
Hugo Saavedra Pacheco
Anel Ramrez lvarez

ASIGNATURA:
Sistemas Digitales Combinacionales

PROFESOR:
Teresita de Jess Prez Salgado

Puebla de Zaragoza, 11 de Marzo de 2015

Prctica No. 3 Restador de 2-2 bits con decodificador

de resultado
Objetivo
Crear un restador de 2-2 bits donde apliquemos todo lo que hemos visto en clase
y aprendamos a disear un circuito restador que muestre los resultados en 2
displays.

Antecedentes histricos
MAPAS DE KARNAUGH.
El mapa des un diagrama compuesto por cuadros. Cada cuadro representa un
minitrmino. Ya que cualquier funcin booleana puede representarse como una
suma de minitrminos, se concluye que una funcin booleana puede
representarse como una suma de minitrminos, se concluye que una funcin
booleana se reconoce en forma grfica por el rea encerrada en los cuadros
cuyos minitrminos se incluyen en la funcin. De hecho, el mapa representa un
diagrama visual de todas las formas posibles en que puede expresarse una
funcin en una manera estndar.
La numeracin de los cuadros en el mapa de Karnaugh se numeran en una
secuencia de cdigo reflejado, con solo cambiando de valor entre dos renglones
adyacentes o columnas; en la siguiente figura se ilustra la manera como quedara
representado:
m0
m4
m12
m8

m1
m5
m13
m9

m3
m7
m15
m11

m2
m6
m14
m10

Tabla 1. Numeracin en el mapa de Karnaugh

Se definen cuadros adyacentes para que sean cuadros juntos entre s. Adems,
se considera que el mapa cae en una superficie en las orillas superior e inferior, al
igual que en las orillas derecha e izquierda, tocndose uno a otro para formar
cuadros adyacentes.

MTODO DE TABULACIN
El mtodo de Quine-McCluskey parte de una funcin booleana expresada como
una suma de productos en forma cannica:

El primer paso del mtodo consiste en obtener todos los trminos producto.
El segundo paso consiste en generar la expresin minimizada, es decir,
identificar la combinacin mnima de trminos que representa la funcin.
Comenzamos obteniendo todas las parejas de trminos producto cuyo valor
difiera en una sola variable.
Se agrupan todos los trminos producto que valgan 1 y que tengan el mismo
nmero de variables con valor 1.
Se ordenan los grupos, en orden ascendente, segn el nmerode variables con
valor 1.
Para formar las parejas solo es necesario comparar los trminos producto de
un grupo con los del siguiente.
Una vez hecho esto, se repite el proceso con los grupos resultantes hasta que
no sea posible obtener ms parejas.

LGEBRA BOOLEANA
El lgebra booleana, puede definirse con un conjunto de elementos, un conjunto
de operadores y un nmero de axiomas no probados o postulados. A continuacin
se presentan los principales teoremas y postulados del lgebra booleana:
Postulado 2

(a) x +0 = x
(b) x.1 = x
(a) x + x' =
Postulado 5
(b) x.x' = 0
1
Teorema 1 (a) x + x = x (b) x.x = x
Teorema 2 (a) x + 1 = 1 (b) x.0 = 0
Teorema 3,
(x')' = x
(b) x y = y x
involucin
Postulado 3, (a) x + y = y (b) x (y z) =
conmutativo
+x
(x y) z
(a) x + (y + (b) x + y z =
Teorema 4,
z) = (x + y)
(x + y)(x +
asociativo
+z
z)
Postulado 4, (a) x (y + z) (b) (x y)' = x'
distributivo
=xy+xz
+ y'
Teorema 5,
(a) (x + y)' = (b) x (x + y)
de De
x' y'
=x
Morgan
Teorema 6, (a) x + x y =
absorcin
x
Tabla 2. Postulados y teoremas

COMPUERTAS LGICAS DIGITALES.

Nombre
AND

OR

NOT

Smbolo Grfico Funcin Algebraica Tabla de Verdad

F=XY
XYF
000
010
100
111
F=X+Y
XYF
000
011
101
111
F = X'
XF
01
10
Tabla 3. Principales compuertas

Desarrollo

1.- Empezamos realizando la resta de 2-2 bits

WX
-YZ
_______
C R1 R0
Obtuvimos la resta (R1 y R0) y el carry (C), despus hicimos la tabla de
verdad del restador:
2.- TABLA DE VERDAD DEL RESTADOR DE 2-2 BITS:
W

R1

R0

D10

-1

-2

-3

-1

-2

-1

3.- Sacamos las ecuaciones y despus las simplificamos por el mtodo de mapas de y
lgebra de boole:

Para C:

c (w , x , y , z)= (1,2,3,6,7,11)

C por el mtodo de mapas.

yz
00

wx
00
01

01

11

10

11
10

c ( w , x , y , z )= w
x z + w y + w x yz

Para R1 sacamos la ecuacin y la simplificamos por mapas:

R 1(w , x , y , z)= (2,3,7,8,12,13)

yz
00

wx

11

10

00

01

11

10

01

R 1 ( w , x , y , z )= w
x y + w y + wx y + w y z

Para R0:
R 0(w , x , y , z)= (1,3,4,6,9,11,12,14 )

yz
00

wx

00

01

11

10

01

11

10

RO ( w , x , y , z )=w x z+ x y z + xy z + w
xz

4.- Diagrama lgico:

Aqu se muestra el diagrama lgico de el restador:

5.- TABLA DE VERDAD DEL DECODIFICADOR-DISPLAY DE 7 SEGMENTOS

(ctodo):

D10

Nmero

signo

Signo

6.- Reducimos los mini trminos del decodificador por medio de mapas y

algebra:

a ( x , y , z ) = ( 0,2,3,5,6,7)

yz
00

wx

11

10

00

01

11

10

00

01

00

01

01
11
10

x z

a ( x , y , z ) = y +

b ( x , y , z ) = ( 0,1,2,3,4,7)

yz
wx

11
10

yz

b ( x , y , z ) =x+

c ( x , y , z )= (0,1,3,4,5,6,7)

yz
wx

00

01

11

10

00

01

00

01

11

10

11
10

c=x + y + z

d ( x , y , z )= (0,2,3,5,6)

yz
wx

00
01
11
10

d=x z+ x y + y z+ x y z

1
1

e ( x , y , z )= (0,2,6)
e= y z+ x z
f ( x , y , z )= (0,4,5,6)

yz
00

wx

01

00

01

00

01

11

10

11
10

f ( x , y , z )= y z+ x y + x z

g ( x , y , z )= (2,3,4,5,6)

yz
wx

00
01
11
10

g ( x , y , z )=x z+(x y )

11

10

1
1

IMGENES:
En esta imagen podernos ver la resta en el display de: 0-0=0,

En esta imagen podernos ver la resta en el display de: 0-1= -1:

En esta imagen podernos ver la resta en el display de: 0-2= -2:

En esta imagen podernos ver la resta en el display de: 0-3= -3:

En esta imagen podernos ver la resta en el display de: 1-0=1:

En esta imagen podernos ver la resta en el display de: 2-0= 2:

En esta imagen podernos ver la resta en el display de: 3-0= 3:

Simulacin en proteus del restador:

Bibliografa
1. Daniel D. Gajski. Principios de Diseo Digital, Captulo 4. Prentice Hall,
1997.
2. Sistemas Electrnicos Digitales Captulo 3 Enrique Mandado
Marcombo, 1991
3. Simplificacin de las funciones booleanas [en lnea]. Actualizada:
2013. [Fecha de consulta: 17 de febrero del 2015]. Disponible en:
http://www.ehowenespanol.com/simplificacion-funciones-booleanascomo_44623/
CONCLUSIONES:
Pudimos disear, implementar y simular el restador de 2-2 bits con
xito ya que realizando la implementacin pudimos observar que
nuestros resultados que daba el display eran correctos con la tabla de
verdad que realizamos as que pudimos disear con xito un restador
de 2-2 bits.
BITACORA: