Anda di halaman 1dari 41

Logo 1

Alumnos 1 IE Curso 2001-2002, I.E.S Murgi 16-1-2001


o

ndice

1. Introduccin. 2. Ley de composicin interna.


2.1. Propiedades de las leyes de composicin interna. 2.1.1. 2.1.2. 2.1.3. 2.1.4. 2.1.5. 2.1.6. 2.2. 2.2.1. 2.2.2. Asociativa: Distributiva: Conmutativa: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4 5
6 6 6 6 6 6 7 7 7 7

Elemento neutro: . . . . . . . . . . . . . . . . . . . . . . . Elemento simtrico . . . . . . . . . . . . . . . . . . . . . . Elemento regular : (o simplicable) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Si en el conjunto E existe neutro para la operacin '*' este es nico . . . . . . . . . . . . . . . . . . . . . . . . . . . . Si la ley denida en E es asociativa el elemento simtrico es nico . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Teoremas importantes

3. Ley de composicin externa 4. Estructura Algebraica. 5. Sistemas de numeracin. 6. El lgebra de Boole


6.1. 6.2. 6.3. Postulados del lgebra de Boole segn [3]Huntington en 1904. El conjunto 6.3.1. 6.3.2. 6.3.3. .

7 7 7 8
8 9 13 13 13 14 . . . . . . . . . . . . . . . . . . . .

de los contactos es un lgebra de Boole.

Leyes o teoremas del lgebra de Boole Primer Ley de absorcin Segunda Ley de absorcin

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Leyes de Morgan . . . . . . . . . . . . . . . . . . . . . . .

7. Funciones Lgicas
7.1. 7.2. 7.3. 7.4. 7.5. 7.6. 7.7. 7.8. 7.9. Variables lgicas Funciones Lgicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Forma estndar de las funciones Boolianas.

14
15 16 17 18 20 20 20 24 24

Ejemplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Simplicacin de las funciones Boolianas . . . . . . . . . . . . . . Minimizacin por mtodos algebraicos Minimizacin por Quine-McCluskey . . . . . . . . . . . . . . . Minimizacin por Karnaugh . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Ahora si podemos ir al Logo . . . . . . . . . . . . . . . . . . . . .

8. El movimiento se demuestra andando


8.1. 8.2. 8.3. 8.4. 8.5. Sistema de bombeo . . . . . . . . . . . . . . . . . . . . . . . . . . Sistema de Triado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Dispositivo de transferencia de piezas . . . . . . . . . . . . . . . . Control de una prensa Apertura de puerta de garaje

26
26 29 31 34 36

1.

Introduccin.
En ningn caso pretendo que este articulo sea un manual de Logo para eso ya est la amplia documentacin con que SIEMENS pone en el mercado todos sus productos.

Lo que si se pretende, es, hacer ver que el lenguaje de puertas lgicas en que programa Logo, es fcil si tenemos en cuenta que, de las tecnicas de diseo de circuitos combinacionales se dispone de programas

que permiten minimizar sin esfuerzo las funciones Boolianas. Se van a tratar todos los temas, que permitan al alumno entender y manejar las funciones Boolianas, as como implementacin con el menor nmero de puertas lgicas para sistemas combinacionales. Se llevar al alumno a la comprensin de los circuitos secuenciales. Plantearemos varios ejercicios para el aanzamiento de los conceptos. En el circuito de la gura (tomados de la referencia [1].

1 Minimizacin

por mapas de Karnaug con Kmap445

Mando a Unifilar

Receptor l

Bifilar +
carga realice la maniobra deseada. Un contacto ser aquel dispositivo que establezca o corte la corriente a la carga, da igual por el nmero de elementos que est formado.

v Fuente
se pueden identicar tres partes: la fuente de energa, el receptor, y el elemento de mando o contacto. El receptor, en este caso es una lampara de incandescencia. La lampara lucir cuando el contacto est cerrado. En todos los circuitos de control tenemos estos tres elementos. El control est en manos de uno o varios contactos debidamente conectados entre si, de forma que operaran para que la

2.

Ley de composicin interna.


De las mate de nuestra infancia[4], conviene recordar algunas cosas que en aquel tiempo no tenan ni pies ni cabeza y hoy pueden ser tiles. Dado un conjunto

se llama operacin o ley de composicin interna

a toda aplicacin de

E E E.
As pues, una ley de composicin interna en un conjunto a cada par ordenado (a,b) del conjunto conjunto

E,

asigna

E E,

un elemento 'c 'del

que se le llama resultado de operar 'a' con 'b'.

o 1 Ejemplo: La suma en el conjunto de los nmeros naturales es una o operacin de rgimen interno La suma de n naturales siempre es
natural.

o Ejemplo: La operacin que

(a, b) a2 + 2b

en el conjunto

E =

{1, 2, 3, 4}

no es ley de composicin interna ya que, al operar 4 con

3 da 17 y 17 no es del conjunto 'E ' anteriormente dado. x 1 2 3 4 1 3 6 11 18 2 5 8 13 20 3 7 10 15 22 4 9 12 17 24

2.1. Propiedades de las leyes de composicin interna.


2.1.1. Asociativa:
Diremos que una ley de composicin interna es asociativa cuando se verique que:

x, y, z E se verif ica que x (y z ) = (x y ) z

2.1.2. Conmutativa:
Diremos que una ley de composicin interna es conmutativa cuando.

x, y E se verif ica que x y = y x

2.1.3. Distributiva:
Una ley de composicin interna  * de denida en denida en el mismo conjunto

se dice que es

distributiva respecto de otra ley de composicin interna   tambin

si se verica:

x, y, z E se verif ica que x (y z ) = (x y )(y z )

2.1.4. Elemento neutro:


Se dice que

e E

es el elemento neutro de

con respecto a la

operacin  * si:

x E se verif ica que e x = x e = e

2.1.5. Elemento simtrico


El elemento simtrico de un elemento

a E

es un elemento

E tal que a a = a a = e

2.1.6. Elemento regular : (o simplicable)


Sea una ley de composicin interna en un conjunto E. Es evidente que si

b = c ab = ac
decir que b=c.

pero en general de

ab = ac

no podemos

Decimos que un elemento 'a' es simplicable si de

ab = ac b = c

2.2. Teoremas importantes


2.2.1. Si en el conjunto E existe neutro para la operacin '*' este es nico
S/D (sin demostracin )

2.2.2. Si la ley denida en E es asociativa el elemento simtrico es nico


S/D

3.

Ley de composicin externa


Sea K un conjunto dado a cuyos elementos llamamos operadores o escalares y sea E otro conjunto tambin dado. Se llama ley de composicin externa a toda aplicacin del conjunto

K E E
La ley externa asociar al par

(, x)un

elemento 'a' de

4.

Estructura Algebraica.
Un conjunto E en el que se han denido una o ms leyes de composicin interna y una o ms de composicin externa se dice que es una estructura algebraica

5.

Sistemas de numeracin.
El sistema de numeracin que nos interesa desde el punto de vista del lgebra lgica es el binario. Antes vamos a recordar que es lo que quiere decir 345 . En el sistema decimal el primer dgito quiere decir unidades, el segundo decenas, el tercero centenas, el cuarto miles. Si nos jamos bien, lo que hacemos, no es otra cosa que referirnos a las potencias de 10 es decir:

345 = 3102 + 4 101 + 5 100

1. 2. 3.

Lo que multiplica a la potencia cero de 10 le llamamos unidades. Lo que multiplica a la potencia uno de 10 le llamamos decenas. ................................................... dos de 10 le llamamos centenas. El problema es que la base

10

tiene diez dgitos y nosotros necesi-

tamos solo dos dgitos. Las variables lgicas solo pueden tomar dos valores SI o NO tambin ( 0, 1).

22
4 0 1 2 3 4 5 6 7 0 0 0 0 1 1 1 1

21
2 0 0 1 1 0 0 1 1

20
1 0 1 0 1 0 1 0 1

0 22 + 1 21 + 0 20 04+12+01 0 22 + 0 21 + 0 20 0 22 + 0 21 + 1 20 0 22 + 1 21 + 0 20 0 22 + 1 21 + 1 20 1 22 + 0 21 + 0 20 1 22 + 0 21 + 1 20 1 22 + 1 21 + 0 20 1 22 + 1 21 + 1 20

Se pude, aqu, segur hablando de los algoritmos para pasar de binario a decimal pero entiendo que esto no tiene inters cuando hay funciones de MatLab que lo hacen

6.

El lgebra de Boole
En una publicacin de 1854 Investigation of the lawsof Thougt Boole nos muestra su lgebra que es la de los conjuntos y la de la lgica.

6.1. Postulados del lgebra de Boole segn [3]Huntington en 1904.


3

1.

Existe un conjunto

de objetos o elementos, sujetos a una relacin de

equivalencia, denotada = que satisface el principio de sustitucin. 2. 3. Se dene una operacin + de tal forma que Se dene una operacin . de tal forma que

a, b k a + b K

a, b k a b K

2 Incluso algunas calculadoras asequibles 3 Por ser postulados no tiene lugar ningn

tipo de demostracin. Lo que si se har es

comprobar que para el conjunto de los contactos se verican.

4. 5. 6.

Existe un elemento Existe un elemento

0 1

en en

K, K,

tal que, para cada tal que, para cada

a a

en en

K K

, ,

a + 0 = a. a 1 = a.
se verica que:

Son conmutativas las dos operaciones, es decir,

a, b K

a+b=b+a
7.

y que

ab=ba
y que

Se verica la distributiva del producto sobre la suma y al revs. se verica que:

a + (b c) = a + b a + c
existe un elemento

a, b, c K a (b + c) = a b + a c a a = 0 y que a + a = 1

8. 9.

Para cada

aK K

aK

tal que:

El conjunto

al menos tiene dos elementos distintos.


4

6.2. El conjunto C de los contactos es un lgebra de Boole.


Las operaciones que denimos en el conjunto el paralelo o  + que describimos:

son la serie o 

Admitamos que un contacto est en estado corriente, y que est en estado

cuando por l pasa

cuando est abierto y por el no

pasa corriente. Del mismo modo la lampara estar en estado do luzca, pasa corriente y en estado corriente.

1 cuan-

cuando no luzca , no pasa

A 0 0 1 1

B 0 1 0 1

AB
0 0 0 1

A+B
0 1 1 1

4 Bien

activados manualmente, o mediante un electroimn, es lo mismo.

Vemos que estas operaciones estn bien denidas, ya que el contacto formado por la serie de dos contactos es otro contacto y el paralelo tambin es otro contacto. En el conjunto de los Contactos

hay un contacto que es el que

siempre est abierto al que llamamos contacto siempre est cerrado que llamamos contacto postulado cuatro y cinco.

0 y otro contacto que 1 tal que verican el

Las tablas de verdad de estos circuitos sern.

A 0 1

0 0 0

1 1 1

A+0
0 1

A1 0 1

Los postulados de conmutatividad son evidentes, en el sentido que da lo mismo, que un contacto est antes o despus que el otro. La distributividad, sobre todo, la de la suma con respecto al producto la vamos a comprobar con su tabla de verdad.

5 Entendiendo

que Contacto es todo dispositivo que permite establecer o cortar el paso de

la corriente en la carga que controla. Est claro que la serie, o el paralelo de dos contactos, es otro contacto, ya que lo que hace es precisamente controlar el establecimiento o el corte de la corriente en la lampara que controla.

10

a
0 0 0 0 1 1 1 1

b
0 0 1 1 0 0 1 1

c
0 1 0 1 0 1 0 1

bc
0 0 0 1 0 0 0 1

a + (b c)
0 0 0 1 1 1 1 1

a+b
0 0 1 1 1 1 1 1

a+c
0 1 0 1 1 1 1 1

(a + b) (a + c)
0 0 0 1 1 1 1 1

Vemos claramente como la columna cinco y la columna ocho son idnticas. Desde el punto de vista del esquema de contactos, lo que dice la distributiva, es que son equivalentes los circuitos del esquema siguiente.

En cuanto al postulado ocho, decir que efectivamente existe el contacto negado de un contacto dado. El contacto negado de un contacto

a a

dado ser aquel que cuando el contacto estar abierto y viceversa .

este cerrado el contacto

+ b

11

Cuando pulso el contacto y abre el contacto

se apaga la lampara y cuando lo suelto

se enciende la lampara. El electro imn se activa al pasar la corriente

con lo que desconecto la lampara.

Para representar el contacto negao, no hay que recurrir a semejante lo. El smbolo del contacto negao pude ser.

cuando activo

a,

es decir pulso

se desconecta su negao.

Veamos que se verica el postulado noveno.

En el caso de la serie, al pulsar la conexin sigue por siempre est luciendo.

se cierra

pero se abre

luego la

lampara no luce nunca. En el paralelo, cuando pulo

se abre

pero

que acabamos de pulsar, luego la lampara

El conjunto de los contactos es un lgebra de Boole y por tanto nos podemos beneciar de toda la potencia de diseo que ello nos va brindar

12

6.3. Leyes o teoremas del lgebra de Boole


6.3.1. Primer Ley de absorcin
Dados dos contactos

a, b

tendremos que :

a+ab=a a (a + b) = a
La demostracin la vamos a realizar mediante tablas de verdad aunque con los postulados del lgebra de Boole saldra inmediatamente.

a 0 0 1 1

b 0 1 0 1

ab
0 0 0 1

a+b
0 1 1 1

a+ab
0 0 1 1

a (a + b)
0 0 1 1

La igualdad de la columna uno con las cinco y la seis es evidente.

6.3.2. Segunda Ley de absorcin


Para dos contactos

a, b

se verica que:

a+ab=a+b b (a + b) = a b

a 0 0 1 1

b 0 1 0 1

a
1 1 0 0

b
1 0 1 0

ab
0 1 0 0

a+b
0 1 1 1

a+b
1 0 1 1

ab
0 0 0 1

a+ab
0 1 1 1

b (a + b)
0 0 0 1

La identidad entre las columnas seis y nueve y la de la columnas ocho y diez demuestra la segunda ley de absorcin.

13

6.3.3. Leyes de Morgan


a+b=ab ab=a+b
Mediante las tablas de verdad se ve claramente que esto es cierto.

a 0 0 1 1

b 0 1 0 1

a
1 1 0 0

b
1 0 1 0

a+b
0 1 1 1

ab
0 0 0 1

a+b
1 0 0 0

ab
1 1 1 0

ab
1 0 0 0

a+b
1 1 1 0

7.

Funciones Lgicas
Manejamos sucientemente bien el concepto de funcin real de variable real ?. Si tenemos

f (x) = 5x2 + 3

todos sabemos que

pendiente ya que puede tomar valores variable dependiente o funcin de

x es la variable inde < x < y que f (x) es la f (x) =

x.

Hay funciones que tienen problemas de denicin. La funcin

1 3 5x+3 tiene problemas cuando x = 5 ya que para este valor, la 1 funcin se hace innito, aparece algo como f (x) = = 1 0 lo 5 3 5 +3 que nos hace decir, que la funcin f no est denida en ese punto.
En denitiva, una funcin es una regla gracias a la cual se puede conocer el valor de la funcin para cualquier valor de la variable, siempre que no tengamos problemas de denicin.

1 2 . . 30 x

y=3x+2 5 8 . . 92

14

Los papeles de dependiente o independiente se pueden cambiar.

x=

y 2 3 lo que ocurre es que podemos tener problema de denicin.

Si por las especicaciones de un problema, la variable independiente solo puede tomar los valores enteros dar de forma tabular.

x = 0, 1, 2, 3 la funcin se podra

x
0 1 2 3

y = 3x + 2
2 5 8 11

Los contactos elctricos solo pueden tomar dos valores

1, 0

(pasa

no pasa), luego las combinaciones serie paralelo, que se puedan hacer con ellos, se podrn expresar de forma tabular como ya hemos apuntado. Por ejemplo, supongamos que el campo de la variable independiente

sean los colores de las luces de un semforo, y que la variable

dependiente

representa el comportamiento esperado de un moto-

rista aproximndose al semforo. La relacin funcional entre es como se indica en la gura.

x
Verde Amarillo Rojo

y = f (x)
Continua Frena Stop

Los valores que puede tomar

se expresan por las sentencias de-

clarativas < <la luz es verde > >, < <la luz es mbar > >, o < <la luz es roja > >. Anlogamente los valores que puede tomar la motorista se detiene > >,

se-

rn < <el motorista continua > >, < <el motorista frena > >, < <el

7.1. Variables lgicas


Una variable lgica es una variable que tiene tres propiedades distintivas: 1. 2. La variable lgica puede adoptar uno, u otro, de solo dos valores posibles. Los valores se expresan por sentencias declarativas, como en el ejemplo del semforo.

15

3.

Los dos posibles valores expresados por las sentencias declarativas deben ser mutuamente excluyentes. En el caso de un contacto normalmente abierto, diseado para que, establezca contacto o lo impida, tenemos la certeza de que no cabe un estado intermedio. En tal caso decir que el contacto est abierto, es lo mismo que decir, que no est cerrado.

abierto = cerrado

7.2. Funciones Lgicas


En un circuito de cuatro contactos, tenemos cuatro puntos donde, de forma arbitraria, podemos establecer o no conexin. Una lmpara controlada por dicho circuito, lucir en base a: como estn interconectados los contactos y a como los manipulemos.

a c

b d L

La tabla de verdad correspondiente al al circuito anterior se muestra a continuacin.

6 Sobre

la base del razonamiento humano, es decir , basado en la lgica.

16

a 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1

b 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1

c 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1

d 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

L 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1

Con todas las posibilidades cubiertas, vemos como la lampara L actuar segn manipulemos los interruptores a,b,c,d. El esquema de contactos, es, la implementacin de la funcin lgica de la tabla y al revs. La funcin lgica L tambin se puede implementar con puertas lgicas del sigue.

Logo como vemos en el esquema que

a b & ab c ab+c d & (ab+c)d

7.3. Forma estndar de las funciones Boolianas.


Pensando en obtener implementaciones mnimas de la funciones boolianas, tenemos que pensar en partir de una forma estndar para dichas funciones.

17

def.- Literal
Llamamos literal a una variable o a su complemento.

def.- Trmino producto


Llamamos trmino producto a una serie de literales relacionados mediante la operacin AND 

def.- trmino suma


Llamamos trmino suma a una serie de literales relacionados mediante la operacin OR, +

def.- Trmino normal


Es aquel termino producto o suma en el cual ninguna variable aparece ms de una vez.

def.- Mintermino
Llamamos mintermino a todo producto normal que contenga tantos literales como variables tenga la funcin.

def.- Maxtermino
Llamamos maxtermino a toda suma normal que contenga tantos literales como variables tenga la funcin.

Teorema
Cualquier funcin de conmutacin de

variables

f (x1 , x2 , xn )

puede expresarse como una suma de Minter.

Teorema
Cualquier funcin de conmutacin de

variables

f (x1 , x2 , xn )

puede expresarse como un producto de Maxter.

7.4. Ejemplo
Sea una alarma controlada por tres contactos siguientes casos. Ninguno de sus tres sensores estn activos El sensor El sensor

a, b, c

que salta en los

a a

est activo y no lo estn el y el

b, c

estn activos y el

no lo est.

18

Y aunque parezca una contradiccin, la alarma se activar cuando estn activos todos los sensores. Veamos su tabla de verdad y el juego de Minter y Maxter.

a 0 1 2 3 4 5 6 7 0 0 0 0 1 1 1 1

b 0 0 1 1 0 0 1 1

c 0 1 0 1 0 1 0 1

f 1 0 0 0 1 1 0 1

Minter

Maxter

m0 m1 m2 m3 m4 m5 m6 m7

=abc =abc =abc =abc =abc =abc =abc =abc

M0 M1 M2 M3 M4 M5 M6 M7

=a+b+c =a+b+c =a+b+c =a+b+c =a+b+c =a+b+c =a+b+c =a+b+c

No es difcil pensar en que la funcin se pueda expresar como sigue. Suma de productos.

f (a, b, c) = m0 + m4 + m5 + m7 = a b c + a b c + a b c + a b c
Productos de sumas.

f (a, b, c) = M0 M4 M5 M7 = (a + b + c) (a + b + c) (a + b + c) (a + b + c)

a 0 1 2 3 4 5 6 7 0 0 0 0 1 1 1 1

b 0 0 1 1 0 0 1 1

c 0 1 0 1 0 1 0 1

a
1 1 1 1 0 0 0 0

b
1 1 0 0 1 1 0 0

c
1 0 1 0 1 0 1 0

m0 = a b c
1 0 0 0 0 0 0 0

m4 = a b c
0 0 0 0 1 0 0 0

m5 = a b c
0 0 0 0 0 1 0 0

m7 = a b c
0 0 0 0 0 0 0 1

f 1 0 0 0 1 1 0 1

Curiosa esta tabla , los Minter escogidos con el criterio de que el literal est negado cuando la variable tome valor valga

0 y los maxterm es-

cogidos con el criterio de que el literal est negado cuando la variable

1 son un truco perfecto para darse cuenta de que efectivamente

los teoremas anteriores son ciertos.

7 Se

ha hecho con Minter pero se podra haber hecho igual con Maxter

19

7.5. Simplicacin de las funciones Boolianas


Hay varios mtodos para obtener una implementacin con el menor nmero de contactos.

Simplicacin por mtodos algebraicos. Mtodo grco de KARNAUGH Mtodo numrico o tabular de Quine-McCluskey La simplicacin por mtodos algebraicos, no estamos preparados para realizarla. La minimizacin por mtodos grcos es interesante y la abordaremos, incluso hay un programa Kmap445 de 15$ que lo hace. La minimizacin por Quine-McCluskey disponemos de un programa SimFunLogQM

10 Versin 0.2 [beta] que parece que minimiza 11 funciones hasta de 13 variables .
Del mtodo de Quine-McCluskey no creo que podamos ver nada pero si aprenderemos a manejar el SimFunLogQM.

7.6. Minimizacin por mtodos algebraicos


Vamos ha hacer un ejemplo.

f = a + b (a c) = a + b (a + c) = a + a b + c b = a + b c
En el primer signo igual se ha aplicado las leyes de Morgan

ab =

a+b

y que

a=a a+ab=a

En el ltimo signo igual aplicamos que

7.7. Minimizacin por Karnaugh


La minimizacin por Karnaugh se basa en una forma de representar las funciones boolianas mediante mapas de Karnaugh. Los mapas de Karnaugh tienen la propiedad de que los minter se colocan de forma que los vecinos por horizontales o por verticales son adyacentes. Mapa para funciones de dos variables.

8 Y por tanto con menos puertas 9 Aunque solo para funciones de: 10 Autor Francisco Garca -Lagos 11 Del que disponemos de manual

lgicas del Logo tres, cuatro, cinco , variables

20

A B 0 1

0 1

1 3

Mapa para funciones de tres variables.

AB C 0 00 0 01 2 11 6 10 4

Mapa para funciones de cuatro variables.

AB CD 00 00 0

01 4

11 12

10 8

10

1 3

13 15

9 11

11

7 6

10

14

10

Mapa para funciones de cinco variables.

21

BC DE 00 00 0

A=0 01 4 11 12 10 8 00 16 20

A=1 01 28 11 24 10

AB CD 00

10

1 3

13 15

9 11

17 19

21 23

29 31

25 27

10

11

7 6

11

10

14

10

18

22

30

26

10

Los diagramas de cinco variables en el Kmap445 son un poco distinto a como estan en la gura anterior, pero si te das cuenta lo nico que hace l kmap445 es agrupar lo ms parecido al de cuatro variables.

Veamos un ejemplo sencillo que nos va a permitir descubrir la gran utilidad de estos diagramas. Sea la funcin

de tres variables y que viene dada como suma de

productos de los minter

m0 , m 2 , m 3 , m 7
22

f (A, B, C ) =

m(0, 2, 3, 7) = m0 +m2 +m3 +m7 = ABC +ABC +ABC +ABC

Como vemos en el mapa correspondiente

AB C 0 00 01 0 11 2 6 10 4

1 1

17

La funcin se simplica a tres sumandos

f (A, B, C ) = AC + AB +

BC

se puede hacer la simplicacin viendo que cada dos minter

adyacentes eliminan la variable que cambia de valor. Aplicando el lgebra

ya que

m0 , m2 por ser adyacentes al sumarlos pierden la variable ABC + ABC = AC (B + B ) = AC por ser B + B = 1 de

los postulados del lgebra de Boole.

Por lo tanto minimizar mediante mapas K es buscar el conjunto ms pequeo de adyacencias que cubre (contiene) todos los unos de la funcin.
Podemos cubrir de forma que formemos grupos de: dos, cuatro, ocho. diecisis. El grupo de dos elimina una variable. El de cuatro dos variables. el de ocho elimina tres variables y as sucesivamente. Minimizar las siguientes funciones:

f (A, B, C ) =

m(0, 1, 2, 3, 7) m(9, 20, 21, 29, 30, 31) m(2, 3, 7, 10, 11, 15, 18, 19, 23, 24, 25, 26, 27, 28, 29, 30, 31) m(12, 8) m(2, 3, 8, 10, 12) m(1, 3, 6, 7) m(1, 3, 6, 7) m(0, 2, 8, 10) m(1, 5, 9, 13) m(0, 5, 11, 14)

f (A, B, C, D, E ) = f (A, B, C, D, E ) = f (A, B, C ) = f (A, B, C, D) = f (A, B, C, D) = f (A, B, C, D) = f (A, B, C, D) = f (A, B, C, D) = f (A, B, C, D) = f (A, B, C, D) =

m(0, 1, 4, 6)

Para ms ejercicios ver el programa kmap445.

23

7.8. Minimizacin por Quine-McCluskey


Ver programa de Francisco Garca-Lago

7.9. Ahora si podemos ir al Logo


Una vez tenemos minimizada la funcin programarla en Logo no es difcil. Lo nico que tenemos que tener en cuenta, si queremos aprovechar todas las posibilidades que Logo nos brinda, es, recordar algunas cosas: Si al minimizar una funcin, con alguno de los programas de que disponemos, nos salen dos productos

ab+ab

esto se puede imple-

mentar con una puerta OR exclusivo cuya tabla de verdad, la podis ver en la ayuda del Logo, y yo recuerdo aqu.

A 0 0 1 1

B 0 1 0 1

A 0 1 1 0

La implementacin de esta tabla debe ser mediante la puerta lgica XOR .

A B A A B + B A B 1 0

0 1

1 3

Y nunca debemos, (aunque pueda hacerse), implementar como sigue.

24

A & B X

& X

!! Poner cinco puertas lgicas, de forma que en tres de ellas queda una entrada libre, es desperdiciar la memoria del Logo !! Despus de la minimizacin pueden aparecer productos como el siguiente

abc

pues bien, que a nadie se le ocurra implementar esto con

una puerta AND y con tres puertas inversoras. La implementacin se debe hacer con una puerta NOR ya que hemos visto con la leyes de Morgan.

abc = a+b+c

segn

a b & b c

Esto Si

Esto NO

25

En el caso que nos apareciera una suma de variables negadas

a+b+c

estaramos en el caso contrario, utilizaramos una puerta NAND .

a+b+c=abc
Simulamos el esquema introducido y a ver si hace lo que tiene que hacer. Algunas veces complementando dos veces una funcin se puede reducir el n

o de puerta lgicas

8.

El movimiento se demuestra andando

8.1. Sistema de bombeo


Programar Logo de forma que controle dos moto bombas, que extraen agua, la primera de un pozo

y la lleva a un deposito

dicho deposito y la lleva a un segundo deposito

D1 D2 .

, la segunda la extrae de

La condicin de funcionamiento ser la siguiente: 1. Funcionarn la bombas siempre que est lleno el lugar de donde extraen agua y est vaco el deposito a llena (( como es lgico )). 2. Las dos bombas no podrn funcionar simultneamente, ya que la acometida no lo permite Los niveles ser indicados por boyas de tal forma que si indican ' 0 ' el deposito puede recibir agua

12 y si indican ' uno ' es que est lleno y no admite ms agua.

B2 B1 D2

D1

P
12 Esto

no quiere decir que est completamente vaco

26

El detector de llenado funciona de la siguiente forma: deposito est lleno y

D1 = 1

cuando el

D1 = 0 P 0 0 0 0 1 1 1 1

cuando podamos vaciar agua en l. De la misma

manera el detector del pozo y del deposito segundo.

0 1 2 3 4 5 6 7
bomba

D1 0 0 1 1 0 0 1 1

D2 0 1 0 1 0 1 0 1

B1 0 0 0 0 1 1 0 0

B2 0 0 1 0 0 0 1 0

Va

1 1 1 1 B1

En esta tabla nunca coinciden la activacin de la bomba

y la bomba

B2

pero a pesar de ello se quiere evitar riesgos.

Veamos el mapa de karnaugh para la bomba

B1

P D1 D2 0 00 0 01 2 11 6 10 4

Si metemos esta funcin en le Kmap445 nos dice que Ahora vemos el control de la bomba

B1 = P D1 B2 ,su mapa de Karnaugh es el siguiente:

P D1 D2 0 00 0 01 2 11 6 10 4

Si metemos esta funcin en le Kmap445 nos dice que

B1 = D1 D2

27

Luego la implementacin de estas funciones mediante Logo es inmediata.

P B1 D1 &

B2 D2 &

Queda garantizar, que si una bomba est funcionando, jams entre la otra. Para que nunca coincida las dos bombas trabajando, hay que crear una seal que de un cero lgico cuando las dos bombas estn trabajando. y que esa seal bloquee el arranque de la bombas.

B1 B2 0 1

0 1

1 3 B1 2 4 B2 VA

B1 B2 VA 0 00 0 01 2 11 6 10 4

B1 B2 VA 0 5 00 0 01 2 11 6 10 4

BS1

BS2

tal como indica el grco anterior, el circuito de proteccin tendra que quedar como se indica en la el esquema de puertas lgicas siguiente. Las BS1 y BS2 son el control de la bomba uno trabajando con la seguridad de que no va a poder darse el trabajo simultaneo.

28

B1 VA B2 BS1

&

BS2 &

El tratamiento de las salidas incompletamente especicadas, es de '1'o de '0', segn nos interese. Si en el kmap, el estado incompletamente especicado se le ve la utilidad de que sea un '1' para cubrir con un '1' real, pues seguro que simplica, bien en un literal o en alguna puerta lgica.

8.2. Sistema de Triado


Dispositivo de triado de piezas segn sus dimensiones. Un dispositivo destinado a controlar piezas de forma cilndrica puede estar construido segn la gura.

29

Hay dos palpadores (sensores) que controlan: uno el dimetro y el otro la longitud. El palpador que controla el dimetro tiene a su vez dos contactos 'a' y 'b' que : Si la dimensin es buena Si la dimensin excede Si la dimensin es insuciente a=0 a=1 a=0 b=0 b=0 b=1

El palpador que controla la longitud tiene a su vez otros dos palpadores 'c' y 'b' Si la dimensin es buena Si la dimensin excede Si la dimensin es insuciente c=0 c=1 c=0 d=0 d=0 d=1

El dispositivo debe permitir la seleccin de piezas, de manera que : 1. 2. Piezas cuyas cotas sean buenas, active el indicador de buenas 'B' Piezas de las cuales una cota excede el valor nominal, y la otra es buena, o cuyas dos cotas exceden el valor nominal, activen el indicador de utilizable. 'U' 3. Piezas de las cuales una de las dos cotas son inferiores al valor nominal, activen el indicador de rechazada, 'R' Se pide que el alumno programe el Logo para que controle el sistema de triado. Las tablas de verdad para cada uno de los indicadores sern.

ab cd 00 00 0 01 4 11 12 10 8 cd

ab 00 0 01 4 11 12 10 8 cd 00

AB 00 0 01 4 11 12 10 8 00

10

1 1 3

13 15

9 11

10

1 1 3

13 15

9 11

10

1 1 3

13 15

9 11

11

7 6

11

7 6

11 14 10 10

7 6

10

14

10

10

14

10

B = abcd = (a + c) (b + d) U = abd + cdb = (a + c)db = (a + c) b + d R=b+d


30

El termino

b+d

aparece dos veces y se puede reutilizar para obtener 'B'

como para obtener 'U'

b c d

&

&

8.3. Dispositivo de transferencia de piezas


Este dispositivo est constituido como indica la gura siguiente.

31

                                        


P b


m H a

P d

Las piezas descienden por gravedad en un canal. Cada vez que el vstago H se retira cae una pieza a la posicin P y se produce accin sobre el contacto 'a'. La accin sobre 'a' da al vstago V el valor 0 (la orden de retirada). Al nal de la retirada de V hay accin sobre 'c'. La accin sobre 'c' da al vstago H el valor 1 ( la orden de salida ), empuja la pieza y la coloca en P'. Al terminar de salir el vstago H, hay accin sobre el contacto 'b' que da al vstago V el valor 1, y su vstago sale, empujando la pieza y situndola en la posicin P de donde sale por gravedad. Al nal de la salida del vstago V, hay accin sobre el contacto 'd' que da a H el valor 0 ,su vstago se retira y comienza el ciclo.

32

3
a=0 b=1 c=1 d=0 Llegada de H=1 Salida de V=1 V=0

2
H=1 Viaje de H a=1 b=0 c=1 d=0 Salida de H=1 Llegada de V=0

a=0 b=0 c=1 d=0

a=0 b=1 c=0 d=0

Mantener H=0 Llegada de V=1

a=1 b=0 c=0 d=1

Mantener H=0 Viaje de V=0

4
a=0 b=1 c=0 d=1

a=0 b=0 c=0 d=1

a=1 b=0 c=0 d=1 Llegada de H=0

Retorno de H=0 Llegada de V=1 Viaje de retorna de H=0 Mantener V=1

Retorno de V=0

5
tes.

De este esquema tenemos claro que los Kmap de los vstagos son las siguien-

ab cd 00

H
00 01 4 11 10 8

ab cd 4

V
8

01

11 2 3 1

10

Los programas para minimizar funciones lgicas a que hacemos alusin en este articulo estn a vuestra disposicin en la paginas www que a continuacin reseamos.

33

8.4. Control de una prensa


Programa el Logo, para que controle una prensa que se pone en marcha mediante la actuacin simultanea de tres pulsadores,

P1 , P2, P3

P1

es un pedal y

P2 , P 3

son pulsadores manuales.

Para evitar accidentes, se establece: que si se pulsan solamente dos cualesquiera la prensa funcionar, pero se activar una lmpara indicando un maniobra peligrosa. Cuando se pulse un solo dispositivo, tambin salte la sealizacin de peligro, pero no se ponga en funcionamiento la prensa.

P1 0 1 2 3 4 5 6 7
lmpara de sealizacin sern: 0 0 1 0 1 1 1 1

P2
0 0 1 1 0 0 1 1

P3
0 1 0 1 0 1 0 1

P
0 0 0 1 0 1 1 1

A
0 1 1 1 1 1 1 0

Los mapas de Karnaug para el control de la prensa y para el control de la

P = P1 P2 + P3 P2 + P3 P1 = P2 (P1 + P3 ) + P3 P1 A = (P1 + P2 + P3 ) (P1 + P2 + P3 ) = (P1 + P2 + P3 ) (P1 + P2 + P3 )


P1 P2 P3 0 00 0 01 2 11 6 10 4 P P3 P & P1 P2 &

P1 P2 P3 0 00 0 01 2 11 6 10 4 A 1 1 3 7 5 &

A & &

Usando kmap445 quedara como se ve a continuacin para el control de la prensa,

34

Para el control de la lampara con Kmap445 hay que utilizar el botn de ya que es ms rentable implementar como productor de maxter.

35

8.5. Apertura de puerta de garaje


En la gura se representa un sistema de apertura de la puerta de un garaje particular. Para que la puerta se abra, es necesario que estn activados los interruptores

a1 , a2

o los

b1 , b2

simultneamente.

M L a2 ENTRADA b2 SALIDA

a1

b1

El cierre[2] de la puerta se produce automticamente transcurrido un tiempo. Existe una proteccin para evitar que la puerta baje cuando haya un vehculo de bajo de ella. La lmpara

permanecer encendida cuando la puerta est cerrada.

Programar Logo para que controle totalmente la puerta. En este ejercicio es donde se va a poner de maniesto, que es un cir. secuencial y que es un cir. combinacional. Se puede hacer el circuito de control de puerta y lampara, solo con lgica combinacional, pero la temporizacin y el sistema de proteccin a vehculos, necesita de los mdulos especiales

13 de Logo.

13 O

secuenciales

36

En este ejemplo tenemos bastantes situaciones en las que los sensores no se van a encontrar nunca. Para jar ideas entiendo que un vehculo llega a la cochera y el primer sensor que pisa es el

a1

luego el

a2

y automticamente se

abre la puerta y se apaga la lampara. Luego suelta los dos sensores y pisamos los

b2 b1

siendo el ltimo en ser soltado el

b1

el cual entiendo que puede dar la seal

para el cierre temporizado. La salida es el proceso contrario. Podemos suponer que los sensores estn sucientemente distanciados como para que el vehculo no pueda activar uno del grupo de entrada 'a' y otro del grupo de salida 'b' .

a1
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1

a2
0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1

b1
0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1

b2
0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

S
0 0 0 1 0 x x x 0 x x x 1 x x x

B
0 0 1 0 0 x x x 1 x x x 0 x x x

L
1 1 1 0 0 x x x 1 x x x 0 x x x

De esta tabla de verdad podemos pasar a los correspondientes mapas de Karnaug. Se ha supuesto para hacer estos mapas que los contactos activan primero el salida.

a1 a2

se

a1

y sin soltar

a1

se pisa

a2

de forma que cuando pasa el

vehculo se sueltan ambos dos a la vez. Algo similar se ha supuesto para la

a1 a2 b1 b2 00 00 o 0 01 4 11 2 12 10 1 8

a1 a2 b1 b2 00 00 0 01 0 4 11 3 12 13 15 10 4 8

10

1 1 3 3 4 2

13 15

9 11

10

1 2

1 3

9 11

11

7 6

11

7 6

10

14

10

10

14

10

ENTRADA
37

SALIDA

Por primera vez y si os dais cuenta, una misma situacin en los contactos de entrada entrada mandan cosas distintas a salida. Si se est entrando a la cochera, la puerta tiene que abrirse al pisar los dos contactos de entrada y cuando a continuacin se pisen los dos contactos de salida, no hacer caso . Si se est saliendo la puerta tiene que hacer caso a los contactos de salida y no hacer caso a la activacin posterior de los dos de entrada ( Me reero a la casilla 3 del mapaK ). Quiere decir que tenemos que recordar que contactos se pisaron primero. Esto es un circuito secuencial. Vamos a ver que nos dice el Kamap445 para el control de la puerta y de la lmpara sin tener en cuenta nada ms. Despus de abrir Kmap445 seleccionamos la funcin de cuatro variables, despus en el men View seleccinamos Don't-Cares y metemos la funcin P que aparece en la tabla anterior.

Despus de pulsar el boton de optimizacin nos ha quedado que la subida de

14 Para el control de la lmpara no hay que hacer ninguna tabla, simplemente el


negado de la

la puerta est controlada por

S = a1 a2 + b1 b2

como no podra ser de otra forma.

subida de la puerta.

14 Para

este viaje no necesito alforja Seguro que habr pensado alguien

38

Veamos el control de la bajada ( que no es otra cosa que activar el contactor de inversin del giro en el motor que controla la puerta ).

Aqu vemos que la bajada queda controlada por

B = a1 a2 + b1 b2

39

40

Referencias
[1] JEAN BARRY. esquemas de electricidad. Marcombo, 1980. [2] ANTONIO J. GIL PADILLA. ELECTNICA GENERAL 1. Dispositivos
y sistemas digitales. McGraw-Hill, 1991.

[3] Hill Peterson.

TEORIA DE LA CONMUTACIN Y DISEO LGICO.

LIMUSA, 1978. [4] JOSE VALDES JUAN J. SANTOS. MATEMTICAS COU. bruo, 1975.

41