Sei sulla pagina 1di 20

TECSUP - PFR Electrónica Digital

Unidad II

ALGEBRA DE CONMUTACIÓN

1. ALGEBRA DE CONMUTACIÓN

1.1 IMPLEMENTACIÓN DE FUNCIONES LÓGICAS

Llegar a implementar funciones lógicas implica resolver un problema,


cuya solución esta basada en el Algebra de Boole. Con ello se obtiene una
función lógica o de conmutación, la cual, mediante la aplicación de las
compuertas digitales básicas existentes en el mercado, puede hacerse
una representación física de la solución.

1.2 MINIMIZACIÓN

Es posible reducir expresiones de conmutación expresadas en una gran


cantidad de términos a otra con muy pocos términos, siendo ambas
funciones equivalentes, utilizando solamente los teoremas del Algebra de
Boole.

Existen dos formas básicas de minimizar funciones de conmutación:

• Por aplicación de los teoremas y postulados del Algebra de Boole


(algebraicamente).

• Por aplicaron de los métodos tabulares de simplificación (métodos


numéricos).

1.2.1 MINIMIZACIÓN POR APLICACIÓN DEL ALGEBRA DE


BOOLE

Ejemplo:

Minimizar la función

F(a, b, c) = a c + b c + a b

=ac+bc(a+a)+ab

31
Electrónica Digital TECSUP - PFR

=ac+abc+abc+ab

=ac(b+1)+ab(c+1)

=ac+ab

Minimizar la función

F(a, b, c) = a b c + a b c + a b c + a b c + a b c

=a b ( c + c ) + a b ( c + c ) + a b c

=a(b+b)+a b c

=a + a b c por x + xy = x + y

=a + b c

Se establecen los siguientes criterios de minimización:

• Mínimo número de literales en una expresión suma de


productos.

• Mínimo numero de literales en una expresión producto de


sumas.

• Mínimo número de términos en una expresión suma de


productos, suponiendo que no hay otra de tales expresiones
con el mismo número de términos y con menos literales.

Una expresión mínima no necesariamente es única

1.3 MÉTODOS TABULARES DE MINIMIZACIÓN

Estos métodos asignan un número decimal a las combinaciones que


componen la función.

En la literatura se encuentran básicamente tres métodos tabulares:

• Método tabular de Veitch.

32
TECSUP - PFR Electrónica Digital

• Método de los Mapas de Karnaugh.

• Método de Quine MC-Closky.

En esta asignatura analizaremos el método de los Mapas de Karnaugh

1.4 MAPAS DE KARNAUGH

Consiste en un ordenamiento de las combinaciones en forma matricial de


acuerdo al código Gray.

Mapas de Karnaugh para funciones de dos variables

El Mapa de Karnaugh permite realizar agrupaciones de celdas adyacentes


entre si, en grupos que formen potencias de 2 (2 celdas, 4 celdas, 8
celdas, 16 celdas, etc)

El Mapa de Karnaugh para dos variables, las adyacentes posibles de hacer


son:

De 2¹ = 2 celdas: f0f1 – f0f2 – f1f3 – f2f3

De 2² = 4 celdas: f0f1f2f3

33
Electrónica Digital TECSUP - PFR

Mapas de Karnugh para funciones de tres variables

En el Mapa de Karnugh para tres variables, las adyacencias posibles de


hacer son:

De 2¹ =2 celdas: f0f1 – f1f3- f2f3 – f0f2 – f4f5 – f5f7 – f7f6 – f4f6 – f0f4
– f1f5 – f3f7 – f2f6

De 2² = 4 celdas: f0f1f2f3 – f4f5f6f7 – f0f1f4f5 – f1f3f5f7 – f2f3f6f7 – f0f4f2f6

De 2³ = 8 celdas: f0f1f2f3f4f5f6f7

Este mapa puede dibujarse de distintas formas, pero todas entregan las
mismas adyacencias, como se muestra en los ejemplos siguientes.

34
TECSUP - PFR Electrónica Digital

Mapas de Karnugh para funciones de cuatro variables

En el Mapa de Karnugh para cuatro variables, las adyacencias posibles de


hacer son:

De 2¹ = 2 celdas:

f0f1 - f1f3 - f2f3 - f0f2 - f4f5 - f5f7


f6f7 - f4f6 - f8f9 - f9f11 - f10f11 - f8f10
f12f13 - f13f15 - f14f15 - f12f14 - f0f4 - f4f12
f8f12 - f0f8 - f1f5 - f5f13 - f9f13 - f1f9
f3f7 - f7f15 - f11f15 - f3f11 - f2f6 - f6f14
f10f14 - f2f10

de 2² =4 celdas:

f0f1f2f3 - f4f5f6f7 - f8f9f10f11 - f12f13f14f15 - f0f4f8f12 -


f1f5f9f13

f3f7f11f15 - f2f6f10f14 - f0f1f4f5 - f1f3f5f7 - f2f3f6f7 -


f0f4f2f6

f4f5f12f13 - f5f7f13f15 - f6f7f14f15 - f4f6f12f14 - f8f9f12f13 -


f9f11f13f15

35
Electrónica Digital TECSUP - PFR

f10f11f14f15 - f8f10f12f14 - f0f1f8f9 - f1f3f9f11 - f2f3f10f11 -


f0f2f8f10

de 2³ = 8 celdas:

f0f1f2f3f4f5f6f7 - f4f5f6f7f12f13f14f15 - f8f9f10f11f12f13f14f15 -


f0f1f2f3f8f9f10f11

f0f1f4f5f8f9f12f13 - f1f3f5f7f9f11f13f15 - f2f3f6f7f10f11f14f15 -


f0f2f4f6f8f10f12f14

de 24 = 16 celdas:

f0f1f2f3f4f5f6f7f8f9f10f11f12f13f14f15

Mapas de Karnaugh para funciones de cinco variables.

36
TECSUP - PFR Electrónica Digital

Este mapa se transforma en dos figuras:

En el Mapa de Karnaugh para cinco variables, algunas de las adyacencias


posibles de hacer son:

De 2¹ = 2 celdas:

f0f1 - f2f3 - f0f2 - f4f5 - f6f7 - f4f6


f0f4 - f8f12 - f0f8 - f1f5 - f9f13 - f1f9
f16f17 - f18f19 - f16f18 - f20f21 - f22f23 -f20f22
f28f29 - f30f31 - f28f30 - f24f25 - f26f27 -f24f26
f16f20 - f24f28 - f16f24 - f17f21 - f25f29 -f17f25
f0f16 - f2f18 - f3f19 - f4f20 - f6f22 -f7f23
f12f18 - f14f30 - f15f31 - f8f24 - f10f26 -f11f27

Las adyacencias que producen son en cada mapa en forma individual y


entre los dos mapas. Esto es valido para todos los tipos de adyacencias
existentes.

De 2² = 4 celdas:

f0f1f2f3 - f4f5f6f7 - f8f9f10f11 - f12f13f14f15 -


f1f5f9f13

f4f5f12f13 - f5f7f13f15 - f6f7f14f15 - f4f6f12f14 -


f9f11f13f15

f10f11f14f15 - f8f10f12f14 - f0f1f8f9 - f1f3f9f11 -


f0f2f8f10

37
Electrónica Digital TECSUP - PFR

f26f27f30f31 - f24f26f28f30- f16f17f24f25 - f17f19f25f27 -


f16f18f24f26

f0f1f16f17 - f1f3f17f19 - f2f3f18f19 - f0f2f16f18 -


f5f7f21f23

f6f7f22f23 - f4f6f20f22 - f12f13f28f29 - f13f15f29f31 -


f12f14f28f30

f8f9f24f25 - f9f11f25f27 - f1f5f17f21 - f5f13f21f29 -


f1f9f17f25

f3f7f19f23 - f7f15f23f31 - f11f15f27f31 - f3f11f19f27 -


f6f14f22f30

De 2³ =8 celdas:

f0f1f2f3f4f5f6f7 - f8f9f10f11f12f13f14f15 -
f0f1f2f3f8f9f10f11

f0f1f4f5f8f9f12f13 - f2f3f6f7f10f11f14f15 -
f0f2f4f6f8f10f12f14

f16f17f18f19f20f21f22f23 - f24f25f26f27f28f29f30f31 -
f16f17f18f19f24f25f26f27

f0f1f2f3f16f17f18f19 - f12f13f14f15f28f29f30f31 -
f8f9f10f11f24f25f26f27

f0f4f8f12f16f20f24f28 - f3f7f11f15f19f23f27f31 -
f2f6f10f14f18f22f26f30

f0f1f4f5f6f16f17f20f21 - f2f3f6f7f18f19f22f23 -
f0f2f4f6f18f20f22

f8f9f12f13f24f25f28f29 - f10f11f14f15f26f27f30f31 -
f8f10f12f14f24f26f28f30

38
TECSUP - PFR Electrónica Digital

de 24 = 16 celdas:

f0f1f2f3f4f5f6f7f8f9f10f11f12f13f14f15
f16f17f18f19f20f21f22f23f24f25f26f27f28f29f30f31

f0f1f2f3f4f5f6f7f16f17f18f19f20f21f22f23
f4f5f6f7f12f13f14f15f20f21f22f23f28f29f30f31

f8f9f10f11f12f13f14f15f24f25f26f27f28f29f30f31
f0f1f2f3f8f9f10f11f16f17f18f19f24f25f26f27

f0f1f4f5f8f9f12f13f16f17f20f21f24f25f28f29
f1f3f5f7f9f11f13f15f17f19f21f23f25f27f29f31

f2f3f6f7f10f11f14f15f18f19f22f23f26f27f30f31
f0f2f4f6f8f10f12f14f16f18f20f22f24f26f28f30

de 25 = 32 celdas:

f0f1f2f3f4f5f6f7f8f9f10f11f12f13f14f15f16f17f18f19f20f21f22f23f24f25f26
f27f28f29f30f31

39
Electrónica Digital TECSUP - PFR

Mapas de Karnugh para funciones de seis variables.

40
TECSUP - PFR Electrónica Digital

El mapa se transforma en cuatro figuras:

En el Mapa de Karnugh para cinco variables, algunas de las adyacencias


posibles de hacer son:

De 2¹ = 2 celdas:

f0f1 - f1f3 - f0f2 - f4f5 - f6f7 -f4f6


f16f20 - f20f28 - f16f24 - f17f21 - f25f29 -f17f25
f32f33 - f33f35 - f32f34 - f36f37 - f38f39 -36f38
f25f39 - f39f47 - f35f43 - f34f38 - f42f46 -f34f42
f48f52 - f52f60 - f48f56 - f49f53 - f57f61 -f49f57
f0f32 - f2f34 - f3f35 - f4f36 - f6f38 -f7f39
f40f56 - f42f58 - f43f59 - f44f60 - f46f62 -f47f63

de 2² = 4 celdas:

f0f1f2f3 - f4f5f6f7 - f12f13f14f15 - f0f4f8f12 - f1f5f9f13

f20f21f28f29 - f21f23f29f31 - f20f22f28f30 - f24f25f28f29 -


f25f27f29f31

f48f49f50f51 - f52f53f54f55 - f60f61f62f63 - f48f52f56f60 -


f49f53f57f61

f8f9f24f25 - f9f11f25f27 - f8f10f24f26 - f48f52f56f60 -


f4f12f20f28

f0f4f32f36 - f4f12f36f44 - f0f8f32f40 - f1f5f33f37 -


f5f13f37f45

f9f13f41f45 - f1f9f33f41 - f7f15f39f47 - f11f15f43f47 -


f3f11f35f43

f26f27f58f59 - f24f26f56f58 - f20f28f52f60 - f24f28f56f60 -


f16f24f48f56

f40f41f56f57 - f41f43f57f59 - f40f42f56f58 - f32f36f48f52 -


f36f44f52f60

f10f26f42f58 - f11f27f43f59 - f13f29f45f61 - f14f30f46f62 -


f15f31f47f63

41
Electrónica Digital TECSUP - PFR

de 2³ = 8 celdas:

f0f1f2f3f4f5f6f7
f8f9f10f11f12f13f14f15 f1f2f3f8f9f10f11

f16f17f20f21f24f25f28f29
f18f19f22f23f26f27f30f31 f16f18f20f22f24f26f28f30

f48f52f60f56f49f53f61f57
f51f55f63f59f50f54f62f58 f48f52f60f56f50f54f62f58

f0f1f2f3f16f17f18f19
f12f13f14f15f28f29f30f31 f8f9f10f11f24f25f26f27

f0f1f8f9f16f17f24f25
f2f3f11f10f18f19f26f27 f0f2f8f10f16f18f24f26

f4f5f12f13f36f37f44f45 f6f7f14f15f38f39f46f47
f4f6f12f14f36f38f44f46

f8f9f12f13f40f41f44f45
f10f11f14f15f42f43f46f47 f8f10f12f14f40f42f44f46

f0f1f8f9f323f33f40f41
f2f3f10f11f34f35f42f43 f2f8f10f32f34f40f42

f0f1f16f17f32f33f48f49
f2f3f18f19f34f35f50f51 ff2f16f18f32f34f48f50

f0f4f16f20f32f36f48f52
f13f15f29f31f45f47f61f63 f2f10f18f26f34f42f50f58

de 24= 16 celdas:

f0f1f2f3f4f5f6f7f8f9f10f11f12f13f14f15
f16f17f18f19f20f21f22f23f24f25f26f27f28f29f30

f0f1f2f3f4f5f6f7f16f17f18f19f20f21f22f23
f4f5f6f7f12f13f14f15f20f21f22f23f28f29f30f31

42
TECSUP - PFR Electrónica Digital

f8f9f10f11f12f13f14f15f24f25f26f27f28f29f30f31
f0f1f2f3f8f9f10f11f16f17f18f19f24f25f26f27

f0f1f4f5f8f9f12f13f16f17f20f21f24f25f28f29
f1f3f5f7f9f11f13f15f17f19f21f23f25f27f29f31

f0f1f2f3f4f5f6f7f32f33f34f35f36f37f38f39
f0f1f4f5f16f17f20f21f32f33f36f37f48f49f52f53

f16f17f18f19f20f21f22f23f48f49f50f51f52f53f54f55
f0f1f2f3f16f17f18f19f32f33f4f35

f32f33f34f35f36f37f38f39f48f49f50f51f52f53f54f55
f0f2f8f10f16f18f24f26f32f34f40f42f48f50f56f58

de 25 =32 celdas:

f0f1f2f3f4f5f6f7f8f9f10f11f12f13f14f15f16f17f18f19f20f21f22f23f24f25f26
f27f28f29f30f31

f0f1f2f3f4f5f6f7f8f9f10f11f12f13f14f15f32f33f34f35f36f37f38f39f40f41f42
f43f44f45f46f47

f16f17f18f19f20f21f22f23f24f25f26f27f28f29f30f31f48f49f50f51f52f53f54f55f56f5
7f58f59f60f61f62f

f32f33f34f35f36f37f38f39f40f41f42f43f44f45f46f47f48f49f50f51f52f53f54f55f56f5
7f58f59f60f61f62f

de 26 = 32 celdas:

f0f1f2f3f4f5f6f7f8f9f10f11f12f13f14f15f16f17f18f19f20f21f22f23f24f25f26
f27f28f29f30f31f32f33f34f35f36f37f38f39f40f41f42f43f44f45f46f47f48f49f
50f51f52f53f54f55f56f57f58f59f60f61f62f63

Para funciones de más de 6 variables conviene utilizar el método de


Quine Mc-Closky el método de los Mapas de Karnugh sigue las siguientes
reglas:

43
Electrónica Digital TECSUP - PFR

• Se toman todos lo ¨1¨ que no se pueden combinar con ningún otro.

• Se toman todos los grupos de dos ¨1¨ que no pueden formar un grupo
de cuatro.

• Se forman todos los grupos de cuatro ¨1¨ que no pueden formar un


grupo de ocho.

• Cuando se hayan cubierto todos los ¨1¨ se detiene el proceso.

Ejemplo: minimizar la siguiente función utilizando el método de los Mapas


de Karnugh

f(a, b, c, d) = n4 (3, 4, 5, 10, 12, 13, 14, 15)

Para formar la expresión literal se considera solo aquellas variables que


no cambian de valor, en el ejemplo, la función mínima es:

F (a, b, c, d) = a b c d + a c d + a b + b c

Al realizar la minimización de una función puede suceder que exista mas


de una forma mínima irreductible. En este caso se puede elegir cualquiera
de las dos para obtener la función mínima.

Ejemplo: minimizar la función:

F(w, x, y, z) = n4 (3, 6, 7, 10, 11, 14)

44
TECSUP - PFR Electrónica Digital

fa(w, x, y, z) = a c d + b c d + a b c fb(w, x, y, z) = b c d
+ a b c + a c d

Generalmente los Mapas de Karnugh se desarrollan para funciones suma


de productos (OR de AND) aunque pueden desarrollarse para funciones
producto de sumas.

Cuando la función lógica esta expresada como OR de AND deben


aplicarse los siguientes principios:

• Las agrupaciones de celdas (minterms) deben ser tales que cada celda
este incluida al menos en una de las agrupaciones.

• las agrupaciones deben contener la mayor cantidad de minterms como


sea posible.

• cada celda debe estar en la menor cantidad de agrupaciones que sea


posible.

Veamos algunas definiciones interesantes

DEFINICIÓN: una función de conmutación f(x1, x2,…xn) se dice que


CUBRE a otra función g (x1, x2, …xn) (se denota f f g) si toma el valor
1 cada vez que g lo toma.

45
Electrónica Digital TECSUP - PFR

Ejemplo:

Si f f g y g f f entonces f y g son equivalentes.

DEFINICIÓN: sea f(x1, x2, …xn) una función de conmutación y h(x1,


x2, …xn) un producto de literales. Si f cubre a h entonces se dice que h
IMPLICA a f o que h es un IMPLICANTE de f.

DEFINICIÓN: un IMPLICANTE PRIMO P de una función f es un producto


que es cubierto por f tal que la eliminación de cualquier literal de p resulta
en un nuevo producto que no es cubierto por f.

46
TECSUP - PFR Electrónica Digital

Ejemplo: sea

f(w, x, y, z) = n4 (5, 7, 8, 9, 13, 15)

47
Electrónica Digital TECSUP - PFR

En otro término un multiplicante primo es un conjunto de celdas en las


cuales no se puede formar una agrupación mayor; es decir, un implicante
primo es una agrupación mayor o de dimensión máxima en el Mapa de
Karnugh.

Un implicante primo esencial es aquel implicante primo que a lo menos


tiene un vértice que no esta cubierto por otro implicante primo.

En el ejemplo

1.5 FUNCIONES INCOMPLETAS

Existen casos en los que las tablas de verdad se especifican solamente


para una parte del total de combinaciones posibles de las variables de
entrada, y el resto de las combinaciones queda indeterminada por dos
razones posibles:

• N importa el valor que tome la salida para esas combinaciones.

• Esas combinaciones nunca ocurren.

Ejemplo: Minimizar la función:

F(a, b, c, d) =n4 (1, 3, 4, 5, 9, 13, 14) + d (2, 6, 7, 8, 10, 12)

+ c d don’t care

48
TECSUP - PFR Electrónica Digital

Los don´t care pueden tomar el valor 1 o 0 según convenga en la


minimización.

1.6 MULTIFUNCIONES

Con frecuencia, los circuitos poseen más de una salida, es decir están
constituidos por varias funciones lógicas que dependen de las mismas
variables de entrada. Estos circuitos son equivalentes a una multifunción.

Las multifunciones pueden ser completamente definidas o


incompletamente definidas, al igual que las funciones simples, y su
tratamiento es igual que en los casos presentados anteriormente.

Ejemplo: sea la multifunción:

f1(a, b, c, d) = Σ4 (0, 1, 2, 3, 8, 10).

f2(a, b, c, d) = Σ4 (2, 3, 5, 6, 7, 8, 10, 11, 12, 14, 15).

f3(a, b, c, d) = Σ4 (8, 9, 10, 12, 13, 14).

la minimización de esta multifunción se puede realizar tratando cada una


de las funciones independientemente, pero ello no garantiza que se
obtenga el circuito mas censillo y económico.

49
Electrónica Digital TECSUP - PFR

Minimizando separadamente se obtiene:

f1 (a, b, c, d) = a b + b d

f2 (a, b, c, d) = a d + a b d + c

f3 (a, b, c, d) = a c + a d

50

Potrebbero piacerti anche