Simplificacin de circuitos lgicos

Algebra de Conmutacin
Unidad 2

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

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.

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.

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.

Tablas de verdad para las operaciones

OR. AND y NOT

a+b

ab

Propiedades del Algebra de

Conmutacin
(Postulados y Teoremas)

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

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.

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
P3b. a+0 = a

15

(identidad)
(identidad)

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
Y
Z
X
Y
Z
X
Y
Z
X
Y
Z

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)
b)

34

Diagrama de la suma de productos

Diagrama de la suma de productos mnimo

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
En la tabla se muestra la
equivalencia entre las
combinaciones de una tabla de
verdad y los minitrminos que
estn asociados a cada uno de
los productos estndares de
una expresin algebraica.
Los miniterminos pueden ser
referidos tambin por sus
nmeros, que estn mostrados
en la columna de la derecha.

37

Minitermino

Nmero

ABC

ABC

ABC

ABC

ABC

ABC

ABC

ABC

Ejemplo 1

38

La expresin algebraica ser:

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

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

Para la mayora de los casos la

suma de los minitrminos no
representa la sumatoria mnima de
productos.

Ejemplo 2, con condiciones

irrelevantes (dont care)

39

La expresin algebraica ser:

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

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

AB

AB

AB

AB

m0

m2

m1

m3

0
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
b
0
1

B
0

F(a,b) = m(0,3)

46

X
1

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

Mapa de Karnaugh para 3 variables

AB
11

10

ABC

ABC

ABC

ABC

ABC

ABC

00

01

ABC

ABC

AB
11

10

00

01

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

47

Mapa de Karnaugh para 4 variables

AB
01

00

ABCD

ABCD

ABCD

ABCD

01

ABCD

ABCD

ABCD

ABCD

11

ABCD

ABCD

ABCD

ABCD

10

ABCD

ABCD

ABCD

ABCD

CD

48

11

10

00

AB
11

10

12

13

11

15

11

10

14

10

00

01

00

01

CD

Ejemplo de adyacencia para un mapa

de 4 variables
Los 1 en dos celdas adyacentes corresponden a un solo trmino de

producto.
AB
CD

00

01

11

10

00

CD
00

01

00

01

01

11

11

10

10

ACD
49

AB

ABD

11

10

Extendiendo el concepto de
adyacencia para agrupar ms celdas

AB
00

01

11

10

0
1

00

01

11

10

0
1

AC

50

AB

AC

Otros ejemplos para grupos de 4

AB
CD

00

11

10

00

01

11

10

AB

51

01

AB
CD
00

01

11

01

11
10

AD

00

BD

10

BD

Grupos de 8
AB
01

00

00

01

01

11

11

10

10

52

10

00

CD

11

AB
CD

11

10

00

01

Ejemplo de simplificacin usando

Mapas de Karnaugh
xyz + xyz + xyz + xyz + xyz
xy
00

01

xy

10

11

00

xy
00

53

01

01

11

11

10
1

10
1

xy + xy + xz

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.

2.

3.

59

Una vez obtenida la expresin correspondiente del problema

digital, se realiza a todo el conjunto una doble inversin o
negacin.
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.
Continuar 2, hasta la obtencin de una funcin compuesta
exclusivamente como productos negados.

Metodologa para transformar una

expresin a NOR
1.
2.

3.

60

Con la expresin correspondiente se realiza a todo el conjunto

una doble inversin o negacin.
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.
Continuar 2 (realizando el proceso anterior) hasta la obtencin de
una funcin compuesta exclusivamente por sumas negadas.

Compuerta OR-Exclusiva y NOR-Exclusiva

61

a xor b

a xnor b