Universidad Jos Carlos Maritegui

TEMA VIII
1. Sntesis de Diseo de Circuitos Lgicos.
Sntesis se entiende como la obtencin de circuitos lgicos, a partir de una
descripcin inicial que utiliza el lenguaje convencional y luego es transferida a una
tabla de verdad.
Una tabla de verdad es una representacin bsica de una funcin lgica, en la cual
se listan las salidas del circuito lgico para las posibles combinaciones de entrada.
Las combinaciones de entrada estn ordenadas por renglones (lneas) y cada
rengln contiene su salida respectiva. Por ejemplo, la tabla de verdad para una
funcin lgica de 3 variables, tendr 8 lneas para 8 combinaciones de entrada,
conteniendo cada lnea, su salida respectiva. En la tabla se ilustra una funcin de 3
variables para el caso mencionado.
Rengln o lnea A B C Funcin de salida Mintrmino Maxtrmino
0

0 0

F(0,0,0)

A'B'C'

A+B+C

0 1

F(0,0,1)

A'B'C

A+B+C'

0 1 0

F(0,1,0)

A'BC'

A+B'+C

0 1 1

F(0,1,1)

A'BC

A+B'+C'

1 0 0

F(1,0,0)

AB'C'

A'+B+C

1 0 1

F(1,0,1)

AB'C

A'+B+C'

1 1 0

F(1,1,0)

ABC'

A'+B'+C

1 1 1

F(1,1,1)

ABC

A'+B'+C'

Funciones de salida, maxtrminos y mintrminos

En general, la tabla de verdad para una funcin lgica de n variables tendr 2n

lneas.
2. Mtodos para Sintetizar Circuitos Lgicos
Los mtodos para sintetizar circuitos lgicos requieren en primer lugar, la
comprensin de algunos conceptos, entre ellos:
o

Literal: Variable o el complemento de una variable.

Ejemplo: X, Y, X, Y.

Dominio de una expresin booleana: Es el conjunto de variables contenido en

una expresin booleana.
Ejemplo: Determine el dominio de la expresin XYZ + XYZW.
El dominio es X, Y, Z, W.

Trmino normal: Un producto o trmino suma en donde ninguna variable

aparece repetida.
Ejemplo de trmino repetido: XYY, ZXXY
Ejemplo de trmino no repetido: XYZ, ZYX

Trmino producto: Un solo literal o el producto lgico (multiplicacin booleana)

de dos o ms literales.

68

Universidad Jos Carlos Maritegui

Ejemplo: X, XY, ZY, XYZ

Un trmino producto es 1 slo para una combinacin de valores de las
variables.
Ejemplo: El trmino producto XY'Z es 1 slo para X=1, Y=0 y Z=1 y es para el
resto de combinaciones. El valor en binario ser 101 5 en decimal.
o

Trmino suma: Un solo literal o una suma lgica (suma booleana) de dos o
ms literales.
Ejemplo: X, X + Y,X+Z, X+Y+Z, X+Y+Z
Un trmino suma es 1 cuando cualquier literal que lo compone es 1.
Ejemplo: El trmino X+Y+Z es 0 para X=0 Y=1 Z=1 y es 1 para el resto de
combinaciones. El valor en binario ser 011 3 en decimal.

Suma de productos: Suma lgica de trminos productos

Ejemplo: X+ XY + ZY + XYZ

3. Forma estndar de la suma de productos

Una suma de productos no se encuentra en su forma estndar cuando alguno de
los trminos producto no contiene alguna de las variables del dominio de la
expresin.
Ejemplo
XYZ + XYZW. El dominio es X, Y, Z, W. El primer trmino producto no
contiene el literal W W'.
Ejemplo
X'YZ'.W + XYZW. En cada uno de los trminos de la expresin aparecen todas
las variables del dominio. Por lo tanto, la suma de productos est en su forma
estndar.
o

Producto de sumas: Producto lgico de trminos suma (Ver tabla 2.2.1).

Ejemplo: X(X+Y)(X+Z)(X+Y+Z)(X+Y+Z).

4. Forma estndar del producto de sumas

Un producto de sumas no se encuentra en su forma estndar cuando alguno de
los trminos suma no contiene alguna de las variables del dominio de la expresin.
Ejemplo
(X+W+Z')(X'+Y+Z+W')(X+Y). El dominio es X, Y, Z, W. El primer trmino suma
no contiene el literal Y Y'. El tercer trmino suma no contiene los literales Z Z' y
W W'.
Ejemplo
(X'YZ'.W)(XY'ZW). En cada uno de los trminos de la expresin aparecen
todas las variables del dominio. Por lo tanto, el producto de sumas est en su
forma estndar.
a) Mintrmino: Es un trmino de producto con n literales en el cual hay n
variables.

69

Universidad Jos Carlos Maritegui

De n variables obtenemos 2n mintrminos.

Ejemplo de mintrminos de 3 variables: XY.Z, X.Y.Z, X.Y.Z, X.Y.Z, X.Y.Z,
X.Y.Z, X.Y.Z, X.Y.Z
b) Maxtrmino: Es un trmino de suma con n literales en el cual hay n variables.
De n variables obtenemos 2n maxtrminos
Ejemplo de maxtrminos de 3 variables: X+Y+Z, X+Y+Z, X+Y+Z, X+Y+Z,
X+Y+Z, X+Y+Z, X+Y+Z, X+Y+Z.

70