Simplificacin de circuitos lgicos

Algebra de Conmutacin
ARQUITECTURA DEL COMPUTADOR

1
 Tabla de Contenido
Introduccin
Algebra de conmutacin
Manipulacin algebraica
Operaciones lgicas
Implementacin de funciones lgicas
Introduccin a los Mapas de Karnaugh
Propiedades de las compuertas NAND y NOR

2
 Introduccin
En la unidad anterior llegamos hasta la transformacin de un
problema digital en su equivalente tabla de verdad, en un formato
binario, esto sera suficiente para construccin de sistemas que usen
memorias de solo lectura (ROM), para realizar la implementacin
de estos sistemas con otro tipo de componentes (compuertas
lgicas) es necesario tener una descripcin algebraica de estos
sistemas.
De lo dicho anterior, podemos concluir que necesitamos el lgebra
para:
Interpretar o describir una red de compuertas que componen el
sistema digital.
Permite simplificar y minimizar la cantidad de lgica usada en un
sistema.
Es bsica en el proceso de implementacin de una red de
compuertas.

3
 Definicin del Algebra de Conmutacin
Es el conjunto axiomtico que normaliza las
operaciones que podrn existir en un ambiente con
variables binarias, esto es, variables que puedan asumir
nicamente dos valores, incluso, variables que
fsicamente no son binarias, pero pueden ser
representadas en trminos binarios.

4
 Operadores del Algebra de
Conmutacin
OR (suma lgica)
Smbolos: + , V
a + b (se lee: a or b), y es 1 s y slo s a=1 b=1 ambos.
AND (producto lgico)
Smbolos: . , , o simplemente dos variables seguidas
a . b (se lee: a and b), y es 1 s y slo s a=1 y b=1.
NOT (negacin, complemento, inversin)
Smbolos:
a (se lee: not a , a negado), y es 1 s y slo s a=0.

5
 Tablas de verdad para las operaciones
OR. AND y NOT
a b a+b a b ab
0 0 0 0 0 0
0 1 1 0 1 0
1 0 1 1 0 0
1 1 1 1 1 1

a a
0 1
1 0

6
 Propiedades del Algebra de
Conmutacin
(Postulados y Teoremas)

7
 Propiedad Conmutativa
Las operaciones OR y AND son conmutativas

P1a. a + b = b + a
P1b. a . b = b . A
Note que el valor para las combinaciones en la tabla de
verdad para las segundas y terceras lneas son iguales

8
 Propiedad Asociativa (1)
Las operaciones OR y AND son asociativas
P2a. (a+b)+c = a+(b+c)
P2b. (a.b).c = a.(b.c)
Esta propiedad es mencionada como la Ley Asociativa,
declara que el orden de los factores no altera el
resultado.
Esta propiedad nos ayuda a establecer algunas
particularidades de las operaciones OR y AND.

9
 Propiedad Asociativa (2)
OR
a+b+c+d+. Es 1 si cualquiera de las variables es 1 y es
0 slo si todas las variables son 0.
AND
abcd . Es 1 si todas las variable son 1 y es 0 si
cualquiera de las variables es 0.

10
 Las compuertas (1)
Es el elemento bsico en los sistemas digitales.
Es un elemento con una sola salida que implementa
una de las funciones bsicas como AND y OR.
Est disponibles en configuraciones de dos, tres, cuatro
y ocho entradas.

11
 Las compuertas (2)
Smbolos para OR y AND

12
 Implementacin para la propiedad 2b

13
 Smbolo para la compuerta NOT

El circulo al final del tringulo es la representacin de la negacin

14
 Identidad
Existen 2 elementos neutros, el 0 y el 1,
cumplindose la propiedad en dos de los casos,
quedando como 1 y 0 lgicos en los otros dos (ver
teorema 2):
P3a. a.1 = a (identidad)
P3b. a+0 = a (identidad)

15
 Nulo
Casos en que no se cumple la propiedad de elemento
neutro, pero existen y se definen de esta forma.
P4a. a.0 = 0
P4b. a+1 = 1

16
 Complemento
Existe el elemento complementario para cada
variable binaria y el resultado para cada operacin es
el que sigue.
P5a. a + a = 1
P5b. a . a = 0

17
 Idempotencia
La suma o producto de dos variables iguales equivale a
la misma variable
P6a. a+a = a
P6b. a.a = a

18
 Involucin
Para todo elemento de un lgebra de boole se cumple
que:
P7. (a)=a

19
 Distributiva
Ambas operaciones son distributivas
P8a. a(b+c) = (ab)+(ac)
P8b. a+bc = (a+b)(a+c)
(Este postulado no existe para el lgebra comn)

20
 Adyacencia
Se define de la siguiente forma:
P9a. ab + ab= a
P9b. (a+b)(a+b) = a

21
 Simplificacin
Es una combinacin de las propiedades distributivas y
asociativas, se usa comnmente en la simplificacin de
funciones.
P10a. a + a b = (a + a) (a+b) = a+b
P10b. a (a + b) = a a + a b = ab

22
 Absorcin
Ley de Absorcin.
P11a. a + ab = a
P11b. a(a + b) = a

23
 Ley de Moorgan
Ley De Moorgan.
P12a. (a + b + c + ...) ' = a' . b' . c' . ...
P12b. ( a . b . c. ... ) ' = a' + b' + c' + ...

24
 Manipulacin de Funciones
Algebraicas

25
 Conceptos importantes
Literal o variable
Trmino de producto
Trmino estndar de productos o minitrmino
Sumatoria de productos
Sumatoria cannica o sumatoria de trminos de
productos estndares.
Sumatoria de productos mnima o expresin
simplificada.
Nota: cada uno de estos conceptos tiene un concepto
dual para la suma.

26
 La simplificacin
El proceso de la simplificacin consiste en aplicar los
postulados y teoremas del lgebra de conmutacin para
llegar a la expresin ms simple de la ecuacin, est,
se presentar normalmente en su forma de sumatoria
de productos mnima.

27
 Ejemplo de simplificacin
F = xy(z+x+zy)
F=xyz+xyx+xyzy
F=xyz+xy+xyz
F=xyz+xy
F=xy
Simplificar:
xyz + xyz + xyz + xyz + xyz

28
 Sobre la simplificacin
No existe una metodologa para realizar la
simplificacin.
Slo la prctica es la manera de alcanzar la
simplificacin ms ptima.
La aplicacin del lgebra de conmutacin no garantiza
el llegar a la simplificacin ptima.

29
 Implementacin de Funciones con
Compuertas

30
 Redes con AND, OR y NOT
Una vez que se define la suma de productos mnima se
debe de definir el diagrama lgico, compuesto por una
red de compuertas que describan la funcin.

31
 Ejemplo de un circuito de dos niveles
f xyz xyz xyz xyz
X

32
 Niveles
El nmero de niveles corresponde al mximo nmero
de compuertas que una seal debe pasar desde su
entrada hasta la salida.
En el caso anterior tenemos dos niveles, esto
asumiendo que tenemos disponibles en la entradas los
complementos de la literales, cuando no se dispone de
los complementos es necesario complementar con
compuertas NOT.

33
 Problema
f xyz xyz xyz xyz xyz
a) Diagrama de la suma de productos
b) Diagrama de la suma de productos mnimo

34
 Una red multinivel
h z wxy v( xz w)

Las redes multinivel son el resultado de implementar funciones que no estn

en la forma ni de suma de productos ni de productos de sumas.

35
 De la Tabla de Verdad a la Expresin
Algebraica
En la mayora de los casos, un problema digital es
presentado en la forma de una declaracin o como una
tabla de verdad, esto nos obliga a tener la habilidad de
llevar los datos de una tabla de verdad a una expresin
algebraica.
En la tabla de verdad, cada combinacin de las
variables de entrada corresponde a un termino de
producto estndar.
Es posible extraer una sumatoria de productos
estndares sumando cada termino de producto cuyo
resultado en la tabla de verdad es igual a 1.

36
 Miniterminos a b c Minitermino Nmero

0 0 0 ABC 0
En la tabla se muestra la 0 0 1 ABC 1
equivalencia entre las
combinaciones de una tabla de 0 1 0 ABC 2
verdad y los minitrminos que
estn asociados a cada uno de 0 1 1 ABC 3
los productos estndares de
una expresin algebraica. 1 0 0 ABC 4
Los miniterminos pueden ser
referidos tambin por sus 1 0 1 ABC 5
nmeros, que estn mostrados
1 1 0 ABC 6
en la columna de la derecha.
1 1 1 ABC 7

37
 Ejemplo 1
A B C f f La expresin algebraica ser:

0 0 0 0 1 f(A,B,C) = m(1,2,3,4,5)
= ABC+ABC+ABC+ABC+ABC
0 0 1 1 0

0 1 0 1 0
f(A,B,C) = m(0,6,7)
0 1 1 1 0 = ABC+ABC+ABC

1 0 0 1 0
Para la mayora de los casos la
1 0 1 1 0
suma de los minitrminos no
1 1 0 0 1 representa la sumatoria mnima de
productos.
1 1 1 0 1

38
 Ejemplo 2, con condiciones
irrelevantes (dont care)
a b c f

0 0 0 x

La expresin algebraica ser: 0 0 1 1

f(a,b,c) = m(1,2,5) + d(0,3) 0 1 0 1

0 1 1 x

1 0 0 0

1 0 1 1

1 1 0 0

1 1 1 0

39
 Problema
Desarrollar las expresiones algebraicas para EJE1,
EJE2 y EJE3.

40
 Finalizacin del proyecto EJE1
Z2= ABCD+ABCD+ABCD+ABCD+ABCD
Z2 suma mnima = ACD+BCD+ABC+ABD
Diagrama lgico

41
 Introduccin a los Mapas de
Karnaugh

42
 Mapas de Karnaugh
Es un mtodo grfico usado para la simplificacin de
funciones de conmutacin.
Propuesto por Maurice Karnaugh en 1953.
Los mapas de Karnaugh se compone de un cuadrado
por cada minitrmino posible de una funcin.
2 variables, 4 cuadrados
3 variables, 8 cuadrados
4 variables, 16 cuadrados

43
 Mapa de Karnaugh para dos variables
A A
B 0 1
AB AB m0 m2 0 0 2

AB AB m1 m3 1 3
B 1

Aqu tenemos tres vistas de una mapa de dos variables, las casillas sombreadas,
por ejemplo, corresponden al minitrmino 2 donde A=1 y B=0

44
 Representando funciones en un Mapa
de Karnaugh (1)
Cuando se quiere llevar una funcin a un mapa, se
coloca un 1 en el casillero correspondiente al
minitrmino que result como 1 en la funcin.
Los otros casilleros se dejan en blanco
Si existen condiciones irrelevantes, es necesario poner
una X en los minitrminos correspondientes.

45
 Representando funciones en un Mapa
de Karnaugh (2)

a A
b 0 1 B 0 1

0 1 0 1 X

1 1
1 1

F(a,b) = m(0,3) F(A,B) = m(0,3) + d(2)

46
 Mapa de Karnaugh para 3 variables

AB AB
C 00 01 11 10 C 00 01 11 10
0 ABC ABC ABC ABC 0 0 2 6 4

ABC ABC ABC ABC 1 3 7 5

1 1

La idea con la codificacin es poder usar el P9a. ab+ab=a

47
 Mapa de Karnaugh para 4 variables
AB AB
CD 00 01 11 10 00 01 11 10
CD
00 ABCD ABCD ABCD ABCD 00 0 4 12 8

01 ABCD ABCD ABCD ABCD 01

1 5 13 9

ABCD ABCD ABCD ABCD

11 11 3 7 15 11

ABCD ABCD ABCD ABCD

10 10 2 6 14 10

48
 Ejemplo de adyacencia para un mapa
de 4 variables
Los 1 en dos celdas adyacentes corresponden a un solo trmino de producto.

AB AB
CD 00 01 11 10 CD 00 01 11 10
00 00 1

01 01
1 1

11 11

10 10 1

ACD ABD
49
 Extendiendo el concepto de
adyacencia para agrupar ms celdas

AB AB
C 00 01 11 10 C 00 01 11 10
0 0

1 1 1 1 1 1 1 1
1 1

AC AC C

50
 Otros ejemplos para grupos de 4
AB AB
CD 00 01 11 10 CD 00 01 11 10
00 1
00 1 1

01 01
1 1 1 1 1

1 1 1 1 1
11 11

10 1 10 1 1

AB AD BD BD

51
 Grupos de 8
AB AB
CD 00 01 11 10 CD 00 01 11 10
00 1 1
00 1 1 1 1

01 01
1 1

1 1
11 11

10 1 1 10 1 1 1 1

A D

52
 Ejemplo de simplificacin usando
Mapas de Karnaugh
xyz + xyz + xyz + xyz + xyz
xy xy
z 00 01 11 10 z 00 01 11 10
0 1 1 0 1 1

1 1 1 1 1 1
1 1

xy
z 00 01 11 10
0 1 1

1 1 1 1 xy + xy + xz

53
 Problema
f = abc + abc + abc + abc
Para la funcin f encontrar:
La suma de productos mnima usando un mapa d karnaugh.

Retomaremos el estudio de los Mapas de Karnaugh un

poco ms adelante

54
 Compuertas NAND, NOR y OR
EXCLUISIVAS

55
 Compuerta NAND y NOR
Como la otras compuertas que estudiamos, tambin estn disponibles
en el comercio con dos, tres, cuatro y ocho entradas.

Smbolos para NAND

Smbolos para NOR

56
 Importancia de las NAND y NOR
Todas las funciones Booleanas pueden ser substituibles
por una funcin equivalente que utilice nicamente
compuertas NAND y/o NOR, esto con los siguientes
objetivos:
Disminucin del nmero de componentes en una tarjeta de
circuito impreso.
Dar facilidad de mantenimiento futuro y
Disminuir el consumo de energa.
La transformacin de cualquier funcin se efectuar
mediante la correcta utilizacin del teorema de
Moorgan.

57
 Algunas equivalencias

58
 Metodologa para transformar una
expresin a NAND
1. Una vez obtenida la expresin correspondiente del problema
digital, se realiza a todo el conjunto una doble inversin o
negacin.
2. Como nos encontramos en el caso de implementar con puertas
NAND, si la expresin resultante est en funcin de productos,
las dos negaciones deben dejarse tal cual. Si, por el contrario, es
una suma, se aplica el teorema de Moorgan sobre dicha suma.
3. Continuar 2, hasta la obtencin de una funcin compuesta
exclusivamente como productos negados.

59
 Metodologa para transformar una
expresin a NOR
1. Con la expresin correspondiente se realiza a todo el conjunto
una doble inversin o negacin.
2. Si la expresin resultante est en funcin de sumas, las dos
negaciones deben dejarse tal cual. Si se trata de un producto,
tendremos que aplicar el teorema de Moorgan sobre el producto.
3. Continuar 2 (realizando el proceso anterior) hasta la obtencin de
una funcin compuesta exclusivamente por sumas negadas.

60
 Compuerta OR-Exclusiva y NOR-Exclusiva

a b a xor b a b a xnor b
0 0 0 0 0 1
0 1 1 0 1 0
1 0 1 1 0 0
1 1 0 1 1 1

61