2 Boole

Automatismos Industriales
Algebra de Boole (Automatismos combinacionales)
lgebra de Boole
(Automatismos combinacionales)
Prof. Jos A. Rodrguez Mondjar
UPCO ICAI Departamento de Electrnica y Automtica 1
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
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)
Complemento
x+x=1
xx=0
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
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
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)
XNOR (coincidentes)
a
b
c=ab
c = ab + ab
c = (a b)
c = ab + ab
Convertir expresin a puertas lgicas

x
f=xy+xyz+xy
x
y
z
Variables y funciones lgicas en el mundo real
Interruptor modelado como

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)
Bombilla encendida -> b = 1
Bombilla apagada -> b = 0
Funcin O con interruptores
Funcin Y con interruptores
Comprobar las tablas de la

verdad
Funcin complemento
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).
f1=ab
b
Mismo interruptor
b
f2=b
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
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
a
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
0
0
1
1
b
0
1
0
1
f
0
0
1
1
f = ab + a = a(b+1) = a1 = a
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.
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)
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

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.
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
10
Ejemplos de simplificacin por Karnaugh II

AB
00
CD
01
11
10
00
01
11
10
f = c + db + abd
Adyacentes
f = abcd + abcd+abcd+
AB
00
CD
01
11
10
00
01
11
10
+abcd+abcd+abcd
f =abc+abd+cda+cdb
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
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
Rels y contactos
Rel: todo dispositivo que utilizando,
ya sea un impulso elctrico que le es

Esquema
enviado a distancia, o la accin de
otros fenmenos ajenos (como
elctrico
presin, temperatura, etc) acta de
modo automtico como interruptor,
Ecuacin
M=I
accionando o desconectando un
lgica
circuito.
De modo manual o automtico retorna
Esquema
a su posicin inicial, una vez
I
terminada la accin del impulso del
de rels
accionador; a esta operacin se le
Variable
llama rearme o desbloqueo.
de entrada
Clasificacin:
Esquema
I
Rels:gobiernan circuitos de baja
de contactos
potencia.
Contactores: circuitos de alta
Contacto
potencia.
M
M
Variable
de salida
M
Bobina
12
Rel con ms detalle
Ecuacin
lgica
24VDC
24VDC
M=I
A=I
Esquema
P = I
elctrico
Esquema
de rels
I
Esquema
de contactos
Tipos de rels y estructura
Calsificacin segn
tecnologa:
Electromagnticos
Neumticos
Trmicos
Electrnicos
Clasificacin segn misin:

Instantneos
Temporizados
En automatismos industriales
tienen dos funciones:
Separacin galvnica.
Elemento de memoria (se
contar ms adelante)
Partes de un rel (contactor)

Contactos principales
Cierre o apertura del circuito
principal.
Contactos auxiliares
Gobierno del contactor y su
sealizacin.
Circuito electromagntico
Sistema de soplado
Apaga el arco al abrir el
circuito. Aunque se separen los
contactos, la corriente sigue
pasando a travs del aire
ionizado, cuando la carga es
inductiva. Esto aumenta la
resistencia y por tanto el calor
originado, que puede daar los
contactos.
Soporte o estructura del

aparato.
13
Circuito electromagntico de un rel
Puede trabajar en continua o

en alterna.
Estructura:
Contactos
moviles
BOBINA
Ncleo
Chapa magntica aislada
Armadura
NUCLEO
Chapa magntica aislada
Bobina
En alterna se coloca una

espira de sombra para evitar la
vibracin por los pasos por 0
de la corriente alterna.
Los contactos pueden estar

normalmente abiertos o
normalmente cerrados.
Permite realizar la operacin
complemento fcilmente.
ARMADURA Contactos
fijos
Ejemplo combinacional con contactos y bobinas I

f = a + bc
Esquema de interruptores
o rels
Esquema elctrico
f
Esquema de contactos
a
a
b
f
c
14
Pulsadores, interruptores y contactos.
Pulsadores slo se mantiene

la accin mientras se pulsa.
Interruptores: la accin se
mantiene despus de
conmutar.
Contactos: mecnicamente
acoplado al pulsador/
interruptor se pueden colocar
contactos que cambian al
cambiar el estado del
pulsador/interruptor.
Pulsador
Parte mecnica
Contacto normalmente
abierto
Contacto normalmente
cerrado
Parte elctrica
Normalmente abierto.
Normalmente cerrado
Interruptor
Ejemplo combinacional con contactos y bobinas II

Esquema de interruptores
o rels
f = ab + ac+bd
a
Esquema elctrico
f
c
15
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
f=yx+yz
Esquema elctrico
a
a
a
a
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
16
Escribir funciones lgicas de control en la prctica
Primero: Analizar las condiciones bajo las cuales no debe

funcionar el sistema
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
Ejemplo
Una cinta trasportadora que

se pone en marcha al pulsar
el pulsador de arranque o
cuando recibe una orden de
arranque remota
PA: Pulsador 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(PA+RA)
17

2 Boole

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

2 Boole

Uploaded by

Copyright:

Available Formats

Automatismos Industriales

Algebra de Boole (Automatismos combinacionales)

Prof. Jos A. Rodrguez Mondjar

UPCO ICAI Departamento de Electrnica y Automtica 1

Algebra de Boole (Automatismos combinacionales)

Se ha modelado la realidad como 0s y 1s

Prof. Jos A. Rodrguez Mondjar

UPCO ICAI Departamento de Electrnica y Automtica 2

Algebra de Boole (Automatismos combinacionales)

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:

Prof. Jos A. Rodrguez Mondjar

UPCO ICAI Departamento de Electrnica y Automtica 3

Algebra de Boole (Automatismos combinacionales)

Postulados (axiomas) de Huntington

Prof. Jos A. Rodrguez Mondjar

UPCO ICAI Departamento de Electrnica y Automtica 4

Algebra de Boole (Automatismos combinacionales)

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

Prof. Jos A. Rodrguez Mondjar

UPCO ICAI Departamento de Electrnica y Automtica 5

Algebra de Boole (Automatismos combinacionales)

Variables, expresiones lgicas, tablas de verdad

Variable lgica (booleana)

Expresin (funcin) lgica

Tabla de verdad (con todas las

Prof. Jos A. Rodrguez Mondjar

A una misma tabla de la verdad

UPCO ICAI Departamento de Electrnica y Automtica 6

Algebra de Boole (Automatismos combinacionales)

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)

Prof. Jos A. Rodrguez Mondjar

UPCO ICAI Departamento de Electrnica y Automtica 7

Algebra de Boole (Automatismos combinacionales)

Convertir tabla de verdad en expresin lgica I

Prof. Jos A. Rodrguez Mondjar

Forma cannica con minterm:

UPCO ICAI Departamento de Electrnica y Automtica 8

Algebra de Boole (Automatismos combinacionales)

Convertir tabla de verdad en expresin lgica II

1. Tmese cada combinacin

Prof. Jos A. Rodrguez Mondjar

UPCO ICAI Departamento de Electrnica y Automtica 9

Algebra de Boole (Automatismos combinacionales)

AND de tres o ms entradas

Prof. Jos A. Rodrguez Mondjar

UPCO ICAI Departamento de Electrnica y Automtica 10

Algebra de Boole (Automatismos combinacionales)

Convertir expresin a puertas lgicas

Prof. Jos A. Rodrguez Mondjar

UPCO ICAI Departamento de Electrnica y Automtica 11

Algebra de Boole (Automatismos combinacionales)

Variables y funciones lgicas en el mundo real

Interruptor modelado como

Bombilla modelada como una

Funcin O con interruptores