Algebra Boo Le

Programacin Industrial
Algebra de Boole/Automatismos cableados
lgebra de Boole
Automatismos cableados
Introduccin
Se ha modelado la realidad como 0s y 1s

La salida es una funcin de las entradas
Cmo se forma la funcin?
lgebra de Boole
Cmo se simplifica?
lgebra de Boole
Cmo se implanta?
Depende de la tecnologa elegida
Algebra de Boole
Un lgebra est definida por:

Un conjunto de elementos
Un conjunto de operaciones que actan sobre los miembros de
y que cumplen unas ciertas propiedades
El Algebra de Boole (caso ms simple) se define por:

Un conjunto B con slo dos elementos {0,1}
Un conjunto de operaciones (lgicas) {+,,} definidas sobre B
2 operaciones binarias (f(x,y)):
(+) funcin suma, funcin O, funcin OR
() funcin multiplicacin, funcin Y, funcin AND
1 operacin monaria (f(x)):
( ) funcin negacin, funcin NO, funcin NOT
tales que para x,y,z B se cumplen las siguientes propiedades:

Postulados de Huntington
Postulados (axiomas) de Huntington
Conjunto cerrado:
xy B, x+y B, x B
Ley conmutativa:
x+y=y+x
xy=yx
Complemento
x+x=1
xx=0
Ley asociativa:
(x+y)+z=x+(y+z)
(xy)z=x(yz)
Ley distributiva:
(x+y)z=xz+yz
x+yz=(x+y)(x+z)
En la siguiente transparencia
se definen las operaciones
bsicas. Todas ellas cumplen
los postulados de
Huntington. Puede haber otra
definicin que tambin los
cumpla.
Identidad:
x+0=x
x1=x
Definicin operaciones bsicas/tablas de verdad
Funcin suma lgica, O o OR

a
b
c = a+b
b
0
1
0
1
a+b
0
1
1
1
a
0
0
1
1
b
0
1
0
1
ab
0
0
0
1
a
0
1
a
1
0
1 + 1 = 1 !!
Para activar la salida, a o b

tienen que estar activas
Funcin producto lgico, Y o

AND
a
a
0
0
1
1
c = ab
Para activar la salida, a y b

tienen que estar activas
Funcin complemento, NO o
NOT
a
b = a
5
Variables, expresiones lgicas, tablas de verdad
Variable lgica (booleana)

Variable perteneciente a B
Por tanto, slo puede tener dos
valores: 0 y 1
Expresin (funcin) lgica

(booleana)
Combinacin de variables lgicas
pertenecientes a B y de operaciones
lgicas (+ parntesis):
f = xy+xyz+xyz ( implcito)
Tabla de verdad equivalente a la
anterior.
Formas estndar de representacin:
Producto de sumas
Suma de productos
Tabla de verdad (con todas las

posibilidades) y expresin lgica
son equivalentes entre s.
A una misma tabla de la verdad

le corresponden varias expresiones
lgicas
Equivalencia entre expresiones
Dos expresiones son equivalentes si sus tablas de verdad

son iguales
a
b
c
a+bc
(a+b)(a+c)
f1 = a+bc
f2 = (a+b)(a+c)
O si se puede llegar de la una a la otra (ambas direcciones)

f2=(a+b)(a+c)=aa+ac+ba+bc=a+ac+ba+bc=a(1+c+b)+bc=a+bc
7
Convertir tabla de verdad en expresin lgica I

x
f=xyz+xyz+xyz+xyz+xyz
Forma cannica con minterm:

1. Tmese cada combinacin
que d 1 a la salida y frmese
un producto de variables, de
forma que si una variable vale
0 en aquella fila se coloca su
complemento y si vale 1 se
coloca la variable sin
complementar.
2. Escrbase la funcin que
resulta de sumar todos los
productos.
Hay muchas expresiones
equivalentes f=xy+xyz+xy
Convertir tabla de verdad en expresin lgica II
1. Tmese cada combinacin

que d 0 a la salida y frmese
un producto de variables, de
forma que si una variable vale
0 en aquella fila se coloca su
complemento y si vale 1 se
coloca la variable sin
complementar.
2. Escrbase la funcin que
resulta de sumar todos los
productos, negando el valor
de la funcin.
f=xyz+xyz+xyz
Simplificada: f=(xy+xyz)
f=(xyz+xyz+xyz)
Ms puertas
AND de tres o ms entradas

f=abc
f=a+b+c+d
c = (ab)
OR exclusiva - XOR
(diferentes)
a
b
NOR
a
b
c=a+b
OR de tres o ms entradas
b
c
d
NAND
a
a
b
c = (a+b)
c=ab
c = ab + ab
XNOR (coincidentes)
a
b
c = (a b)
c = ab + ab
10
Convertir expresin a puertas lgicas

x
f=xy+xyz+xy
x
y
z
11
Variables y funciones lgicas en el mundo real

Funcin O
Interruptor modelado como
con
interruptores
una variable lgica (a)
Interruptor cerrado -> a = 1

Interruptor abierto -> a = 0
a es la variable asociada al
interruptor
a
Bombilla modelada como una

variable lgica (b)
Funcin Y
con
interruptores
Comprobar
las tablas de
la verdad
Bombilla encendida -> b = 1

Bombilla apagada -> b = 0
b
12
Funcin complemento
Fsicamen es el mismo
pulsador: 2 contactos NA y NC
Se puede realizar la funcin

complemento de forma
mecnica: se dispone de la
variable complementada y sin
complementar
mecnicamente( contacto
abierto, contacto cerrado).
En muchos casos resulta
difcil con interruptores y sin
provocar cortocircuitos
realizar la funcin
complemento: manejar f1 y
f1 en el mismo circuito,
donde f1 se ha construido a
partir de f1. En estos casos
se necesitan rels (caso de
circuito elctrico).
f2=b
f1=ab
13
Lgica positiva/Lgica negativa
Si una variable lgica est a 1 significa que la accin o

estado asociado a dicha variable se est cumpliendo. Si es
0 indica que no se cumple.
En electrnica 1 significa tensin positiva ( tpico 5V) y 0 significa
tensin cero o tensin negativa.
Interruptor abierto igual a 0.
Interruptor cerrado igual a 1.
Lo anterior es una convencin. Se puede cambiar 0 por 1.

Lgica negativa: 1 - 0 voltios, 0 - 5 voltios.
1 - Interruptor abierto 0 - Interruptor cerrado. Tpico para detectar
fallos de alimentacin.
Alimentacin
Planta
Unidad de
control
Bombilla alarma
14
Simplificacin
Problema: Juan quiere

instalar 2 interruptores en su
habitacin (a y b) para
encender una bombilla (f) de
tal forma que slo se
encienda cuando:
a y b estn simultneamente
cerrados.
a est cerrado
Juan que es un lanzado hace

la instalacin
Juan est muy contento
porque la instalacin
funciona perfectamente hasta
que llega su amigo Antonio y
le pregunta para qu sirve el
interruptor b
a
b
f
0
0
0
0
1
0
1
0
1
1
1
1
f = ab + a = a(b+1) = a1 = a
15
Propiedades tiles del Algebra de Boole
Idempotencia
a+a=a
aa=a
Maximalidad del 1
a+1=1
Minimalidad del 0
Involucin
Leyes de Morgan
a+ab=a
a(a+b)=a
a+0=a
a=a
(a+b)=ab
(ab)=a+b
(a+b+c+...)=abc...
(abc...)=a+b+c+...
Absorcin
Todas estas propiedades se

comprueban mediante la
aplicacin de las propiedades
del Algebra de Boole
(postulados de Hungtinton) o
recurriendo a las tablas de la
verdad (en todos los casos
posibles se cumple la
igualdad).
Permiten simplificar
fcilmente.
16
Simplificando
Asociativa y distributiva: f=xy(z+z)+xyz+xy(z+z)

Complemento: f=xy+xyz+xy
Complemento: f=y(x+x)+xyz
f=y+xyz
f=(xyz+xyz+xyz)
Asociativa y distributiva: f=(xy(z+z)+xyz)

Complemento: f=(xy+xyz)
Leyes de Morgan: f=(xy)(xyz)
Leyes de Morgan: f=(x+y)(x+y+z)
f=xx+xy+xz+yx+yy+yz
f=xz+y+xy+yx+yz
f=xz+y(1+x+x+z)
f=xz+y Es equivalente a la de arriba (ver tabla de la verdad)
17
Implantaciones alternativas de f
A
F = A' B C + A B' C' + A B' C + A B C' + A B C

B
F1
Suma de productos cannica
F2
Suma de productos minimizada
F3
Producto de sumas cannica
F4
Producto de sumas minimizado

18
Simplificacin mediante el mtodo de Karnaugh
Hay muchos mtodos para simplificar (aplicando

directamente los postulados del Algebra)
Programas de simplificacin automtica
El mtodo de Karnaugh es un mtodo grfico muy til para
funciones de 2 a 4 variables lgicas.
Se basa en buscar trminos adyacentes en la tabla de la verdad.

Los trminos adyacentes son aquellos que tienen las mismas
variables con el mismo estado de complemento, excepto una.
xyz y xyz son adyacentes
Los trminos adyacentes se pueden simplificar fcilmente

xyz+xyz = xy(z+z) = xy
Para buscar fcilmente los trminos adyacentes se dispone la tabla

de la verdad de tal forma que los valores de las variables de
entrada vecinos resulten adyacentes. Esta tabla recibe el nombre
de tabla o mapa de Karnaugh.
19
Ejemplos de simplificacin por Karnaugh I
Construir el mapa de Karnaugh.

Colocar los ceros y unos de la tabla
de verdad sobre el mapa de
Karnaugh.
Formar grupos (paralelogramos)
con las casillas que tienen 1, de tal
forma que contengan el mximo
nmero de elementos y ste sea
potencia de 2.
Casillas de un grupo pueden formar
parte de otro.
Cada grupo representa un producto.
ste est formado por las variables
que no cambian de valor en dicho
grupo. Si est a 1 la variable se
escribe tal cual, y si est a 0, se
complementa.
b
0
f=b
adyacente
yz
00
01
11
10
f = y + xz
20
10
Ejemplos de simplificacin por Karnaugh II

AB
00
CD
01
11
10
00
01
11
10
f = c + db + abd
Adyacentes
AB
00
CD
f = abcd + abcd+abcd+
01
11
10
00
01
11
10
+abcd+abcd+abcd
f =abc+abd+cda+cdb
21
Ejemplos de simplificacin por Karnaugh III
Dont care: combinacin de

entradas que nunca se dan.
Pueden ser utilizadas para
simplificar las funciones
lgicas: se toma su valor como
1 o como 0, en funcin de lo
que ms interese.
AB
00
CD
01
11
10
00
01
11
10
f = a + c + bd + bd
22
11
Funciones lgicas y tiempo
Si las entradas de la funcin lgica varan en el tiempo, la

funcin lgica tambin vara.
Al variar la entrada, la salida tardar un cierto tiempo en
cambiar, dependiendo de la tecnologa.
Retardo de la funcin lgica: tiempo que media entre el
cambio en la entrada de la funcin y el cambio en el valor
de dicha funcin. Depender del tipo de cambio.
a
b
f=a+b
f = a+b
t
retardo1
retardo2
23
Rels y contactos
Rel: todo dispositivo que utilizando,
ya sea un impulso elctrico que le es

Esquema de
enviado a distancia, o la accin de
conexin
otros fenmenos ajenos (como
presin, temperatura, etc) acta de
modo automtico como interruptor,
accionando o desconectando un
Ecuacin
M=I
M
circuito.
lgica
De modo manual o automtico retorna
a su posicin inicial, una vez
terminada la accin del impulso del
Esquema
Variable
accionador; a esta operacin se le
elctrico /
I
de
entrada
llama rearme o desbloqueo.
Esquema de
rels
Clasificacin:
Variable
M
Rels:gobiernan circuitos de baja
de salida
potencia.
Esquema
M
Contactores: circuitos de alta
I
de contactos
potencia.
(PLC)
Contacto
Bobina
24
12
Ejemplo combinacional con contactos y bobinas II

Esquema de elctrico
f = ab + ac+bd
Esquema de Conexiones
Esquema de contactos
a
f
c
25
Variables negadas con interruptores
Una variable asociada a un interruptor no puede ser 0 y 1

simultneamente, si no es un doble interruptor con un
contacto normalmente abierto y otro normalmente cerrado
a
Conmutador
Esquema
elctrico
a
a
f=yx+yz
f
a
a
a
Esquema de contactos
a
26
16
Funciones lgicas y la prctica
Una funcin lgica de ms de 4 variables es comn en la prctica

Ir por la tabla de la verdad y obtener la funcin lgica es inviable.
Imposible de aplicar Karnaugh.

Hay programas para simplificar (orientados al diseo digital).
Solucin prctica
Obtener directamente desde la especificacin del problema una funcin
lgica representativa que, por supuesto, no ser la ptima
Refleja directamente el funcionamiento del sistema
A veces, aplicando Karnaugh aparecen expresiones que son difciles de

interpretar desde el punto vista del sistema a controlar
Problema de escribir la funcin lgica directamente

Habr contemplado todos los casos?
Ejemplo: Poner en marcha un motor cuando no se debe
Muy grave si hay un obrero manipulndolo
Con la tabla no haba problemas porque se contemplaban todos los

posibles valores de las entradas
Solucin:
Intentar prevenir que la funcin tome valor 1 en casos indeseados.
Cmo? Analizando y separando las condiciones de parada
27
Escribir funciones lgicas de control en la prctica
Primero: Analizar las condiciones bajo las cuales no debe

funcionar el sistema (variable a controlar)
Si ninguna de estas condiciones se cumple entonces es posible arrancar el
sistema
Ejemplo:
No arrancar el motor si est activado su rel trmico de temperatura

No poner en marcha una bomba si no hay agua en su depsito
Segundo: Analizar las condiciones que hacen que el sistema

funcione (1 lgico) cuando no hay ninguna condicin de parada
activa.
Ejemplo:
Interruptor de arranque
Pieza en la posicin correcta
Formato de la funcin lgica final:

f = CondicinParada1*CondicinParada2*...*(Condicin Arranque1 +
+ CondicinArranque2 + ...)
Si no se cumple ninguna de las condiciones de parada y se cumple alguna de las
condiciones de arranque se pone en marcha el sistema
28
17
Ejemplo
Una cinta trasportadora que

se pone en marcha al cerrar
el interruptor de arranque o
cuando recibe una orden de
arranque remota
IA: Interruptor de arranque
RA: seal remota de arranque
M: seal arranque motor
La cinta no debe funcionar si

el motor tiene
sobrecalentamiento
TM: contacto rel trmico
motor. Se abre el contacto
cuando hay sobrecalentamiento
M = TM(IA+RA)
29
Resumen automatismos combinacionales
Primero: Identificar las entradas de la planta:

Variables a controlar: bomba, motor, piloto, etc.
Salidas del control
Segundo: Identificar las salidas de la planta:

Variables a partir de las cuales se construyen las funciones lgicas
que rigen las salidas
Entradas del control
Tercero: Construir las funciones lgicas que rigen las

salidas del control a partir de las entradas del control
Primero: las condiciones que hacen que la salida no se active.
(PRIMERO ASEGURAR LA PARADA)
Segundo: las condiciones que hacen que la salida se active.
Simplificarlas si es posible y no se pierde la legibilidad del control.
Cuarto: Implementar
Lgica de rels, sistema digital, PLC
30
18

Algebra Boo Le

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Algebra Boo Le

Загружено:

Авторское право:

Доступные форматы

Programacin Industrial

Algebra de Boole/Automatismos cableados

Algebra de Boole/Automatismos cableados

Se ha modelado la realidad como 0s y 1s

Algebra de Boole/Automatismos cableados

Un lgebra est definida por:

El Algebra de Boole (caso ms simple) se define por:

tales que para x,y,z B se cumplen las siguientes propiedades:

Algebra de Boole/Automatismos cableados

Postulados (axiomas) de Huntington

Algebra de Boole/Automatismos cableados

Definicin operaciones bsicas/tablas de verdad

Funcin suma lgica, O o OR

Para activar la salida, a o b

Funcin producto lgico, Y o

Para activar la salida, a y b

Algebra de Boole/Automatismos cableados

Variables, expresiones lgicas, tablas de verdad

Variable lgica (booleana)

Expresin (funcin) lgica

Tabla de verdad (con todas las

A una misma tabla de la verdad

Algebra de Boole/Automatismos cableados

Equivalencia entre expresiones

Dos expresiones son equivalentes si sus tablas de verdad

O si se puede llegar de la una a la otra (ambas direcciones)

Algebra de Boole/Automatismos cableados

Convertir tabla de verdad en expresin lgica I

Forma cannica con minterm:

Algebra de Boole/Automatismos cableados

Convertir tabla de verdad en expresin lgica II

1. Tmese cada combinacin

Algebra de Boole/Automatismos cableados

AND de tres o ms entradas

Algebra de Boole/Automatismos cableados

Convertir expresin a puertas lgicas

Algebra de Boole/Automatismos cableados

Variables y funciones lgicas en el mundo real

una variable lgica (a)

Interruptor cerrado -> a = 1

Bombilla modelada como una

Bombilla encendida -> b = 1

Algebra de Boole/Automatismos cableados

Se puede realizar la funcin

Algebra de Boole/Automatismos cableados

Lgica positiva/Lgica negativa

Si una variable lgica est a 1 significa que la accin o

Lo anterior es una convencin. Se puede cambiar 0 por 1.

Algebra de Boole/Automatismos cableados

Problema: Juan quiere

Juan que es un lanzado hace

Algebra de Boole/Automatismos cableados

Propiedades tiles del Algebra de Boole

Todas estas propiedades se

Algebra de Boole/Automatismos cableados

Asociativa y distributiva: f=xy(z+z)+xyz+xy(z+z)

Asociativa y distributiva: f=(xy(z+z)+xyz)

Algebra de Boole/Automatismos cableados

F = A' B C + A B' C' + A B' C + A B C' + A B C

Suma de productos cannica

Suma de productos minimizada

Producto de sumas cannica

Producto de sumas minimizado

Algebra de Boole/Automatismos cableados