P. 1
Sistemas digitales basicos

Sistemas digitales basicos

|Views: 12.740|Likes:
Publicado porMauricio Alvarez

More info:

Published by: Mauricio Alvarez on Jul 24, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

08/21/2013

pdf

text

original

productos, ejemplo:

__

___

Z

XY

Y

X

X

+

+

Término suma: Es la suma lógica de dos o más variables; ejemplos:

Z

Y
X +
+

,

A

Z

Y

X

+

+

+

__

___

Expresión de producto de sumas: Es el producto lógico de términos

suma, ejemplo:

)

(

)

(

)

(

___

___

___

___

__

A

Z

Y

X

Z

Y

X

Y

X

X

+

+

+

+

+

+

Término normal: Es un producto o término suma en el que ninguna

variable aparece más de una vez. Ejemplos: XYZ,

__

Y
X +,

D

C

B

A

+

+

+

Mintérmino: Es un término de producto normal con n variables.

Ejemplos:

__

___

Z

Y
X ⋅

,

Z

Y
X ⋅

,

___

___

___

Z

Y
X ⋅

Maxtérmino: Es un término suma normal con n variables. Ejemplos:

W

Z

Y

X

+

+

+

,

___

___

W

Z

Y

X

+

+

+

,

W

Z

Y

X

+

+

+

__

__

___

Existe una relación entre la tabla de verdad y los mintérminos y maxtérminos
de una función:

Un mintérmino puede definirse como un término producto que es “1” en
una de las filas de la tabla de verdad; como es un producto, la única
manera que logramos que sus entradas nos den como resultado un “1”
es haciendo que todas sean “1”, por lo tanto, el mintérmino tendrá las
variables que sean “0” complementadas (Ver figura No. 9)

Un maxtérmino puede definirse como un término suma que es
exactamente “0” en una de las filas de la tabla de verdad; de similar
manera al mintérmino, el resultado del máxtermino debe ser un “0”, así
que todas las variables que sean “1” serán complementadas (ver figura
No. 9)

Figura No. 9 Ejemplo de Mintérminos y Maxtérminos
para dos variables

Ahora si estamos capacitados para entender cómo las formas canónicas son
empleadas para deducir expresiones lógicas que describen un circuito lógico a
partir de la tabla de verdad correspondiente. La primera forma canónica es la
Suma Canónica de la función lógica, la cual es la suma de los mintérminos
correspondientes a las filas de la tabla de verdad en las cuales los resultados
sean un “1”, como ejemplo, la suma canónica de la tabla de verdad de la figura
No. 8 es

XY

F =

La suma canónica se compone de un solo término porque solamente una fila
tiene como resultado un “1”, ahora si aplicamos toda la tabla de verdad en esta
expresión notaremos que la cumple (esto se propone como ejercicio al
estudiante)

La segunda forma canónica es el Producto Canónico de la función lógica, y
consiste en el producto de los maxtérminos correspondientes a las
combinaciones de las entradas para las cuales la salida es un “0”. Por
ejemplo, el producto canónico de la tabla en la figura No. 8 es

)

)(

)(

(

___

___

Y

X

Y

X

Y

X

F

+

+

+

=

De similar manera, se propone al estudiante representar toda la tabla de
verdad en la expresión resultante para confirmar que cumple con las
condiciones de la tabla.

Ahora el punto que debe preocuparnos es si las dos expresiones resultantes
son realmente equivalentes? Para confirmarlo deduciremos de la expresión de
productos de maxtérminos la expresión de suma de mintérminos, así que
nuestra expresión inicial es la siguiente:

)

)(

)(

(

___

___

Y

X

Y

X

Y

X

F

+

+

+

=

Procedimiento:
1. Hemos dicho que las operaciones OR y AND son asociativas (Ver Ecuación.
No. 7), por lo tanto, agruparemos los dos primeros maxtérminos como sigue:

)

)](

)(

[(

___

___

Y

X

Y

X

Y

X

F

+

+

+

=

2. La ecuación No. 5 nos dice que la operación OR es distributiva, así que
asumiremos que el primer maxtérmino es una sola variable y el producto del
mismo por el segundo maxtérmino será distribuido de la siguiente manera

)

)](

)

(

)

[(

___

___

Y

X

Y

Y

X

X

Y

X

F

+

+

+

+

=

3. Con la expresión resultante redistribuiremos el producto de cada variable por
el maxtérmino que lo multiplica:

)

](

[

___

___

___

Y

X

Y

Y

Y

X

YX

XX

F

+

+

+

+

=

4. Ahora aplicando el teorema de Idempotencia y complemento obtenemos

)

](

0

[

___

___

Y

X

Y

X

YX

X

F

+

+

+

+

=

)

](

[

___

___

Y

X

Y

X

YX

X

F

+

+

+

=

5. Simplificando el primer término de la multiplicación tendremos:

)

)](

1(

[

___

___

Y

X

Y

Y

X

F

+

+

+

=

6. Ahora, una variable que es sumada con un “1” y con su complemento nos
da la misma variable, por lo cual

)

](

[

___

Y

X

XY

F

+

=

)

(

___

Y

X

XY

F

+

=

7. Aplicando la ley distributiva tenemos

XYY

X

XY

F

+

=

___

8. Aplicando la ley conmutativa

XYY

X

YX

F

+

=

___

9. y por el teorema del complemento para la multiplicación

XYY

XYY

XYY

Y

F

=

+

=

+

=

0

0

10.y por el teorema de Idempotencia aplicado a la variable Y

XY

F =

Por lo cual obtenemos la misma expresión resultante para la suma canónica de
la tabla en la figura No. 8

Ya tenemos unas herramientas básicas para generar expresiones lógicas de
una tabla de verdad, pero de dónde se genera la tabla de verdad? Por regla
general, la tabla de verdad se deduce de una descripción verbal de un
problema descrito por alguien o por nosotros mismos. Esta descripción puede
ser un listado de combinaciones de varias entradas para las cuales debe estar
activo o desactivo un bit en especial (salida del sistema).

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->