Fundamentos lgicos

Dpto. Ingeniera Elctrica, Electrnica, Automtica y Fsica Aplicada

www.elai.upm.es
lgebra de Boole
Buena parte de los automatismos responden a la lgica
binaria
Las variables binarias de entrada son ledas y producen
variaciones en las seales binarias de salidas
 lgebra booleana: AND, OR y NOT
y a b y a b ya
a b y a b y a y
0 0 0 0 0 0 0 1
0 1 0 0 1 1 1 0
1 0 0 1 0 1
1 1 1 1 1 1
a

a b b y
y

AND OR NOT
Algebraica

Electrnica y
Mtodos de representacin (1)
Mtodos de representacin
Esquema de contactos
Diagrama de escalera (KOP)
Plano de funciones (FUP)
Lista de instrucciones

E1 E1 E1
E1 E2

E2 E2 E2

A1 A1 A1

A1 E1 E 2 E1 E 2
Mtodos de representacin (2)
Diagrama de escalera (KOP)
Similar al esquema de contactos. Segmentos horizontales
Mtodos de representacin (3)
Plano de funciones (FUP)
Smbolos electrnicos versus DIN 40700-40719
Mtodos de representacin (4)
Lista de instrucciones (AWL)
Propiedades del lgebra de Boole

Conmutatividad Asociatividad Distributividad

ab ba a (b c) (a b) c a (b c) (a b) (a c)
a b b a a (b c) (a b) c a (b c) (a b) (a c)

AND OR NOT Leyes de Morgan Ley de Absorcin

aa a aa a
a 1 a a 1 1 aa + =
a b a b
aa 0 a0 a + =
a0 0 a a 1 a b a b
Funciones derivadas

NOR y a b NAND y a b

a b y a b y
0 0 1 0 0 1
0 1 0 0 1 1
1 0 0 1 0 1
1 1 0 1 1 0
Demostrar

XOR y a b a b a b XNOR y a b a b a b
a b y a b y
0 0 0 0 0 1
0 1 1 0 1 0
1 0 1 1 0 0
1 1 0 1 1 1
Sistemas lgicos de control todo/nada
Se clasifican en: S
Combinacionales C
Secuenciales
En los sistemas combinacionales, las salidas dependen
nicamente de los estados de sus entradas
= (1 , 2 , . . , )
En los sistemas secuenciales, las salidas dependen de las
entradas y del propio estado del sistema. El estado del
sistema es implementado mediante bits de memoria.
= (1 , 2 , , , 1 , ,

)
Las tablas de verdad expresan los resultados de la
operacin lgica.
 Ejemplo de sistema combinacional
1. Determinar la tabla de verdad de este esquema elctrico
2. Representarlo en esquema de contactos
3. Simular con FluidSim
Resolucin
A B L
0 0 1 L A B AB A B
0 1 0
1 0 0
1 1 1
Resolucin
A B L
0 0 1 L A B AB A B
0 1 0
1 0 0
1 1 1
Formas cannicas(1/2)

Dos mtodos:
1. Suma de productos
2. Productos de sumas
a b y
SUMAS DE 0 0 0
PRODUCTOS (SP) 0 1 1
Trminos por cada 1 1 0 1
de la salida 1 1 0

n
XOR y a b a b a b
F Ci Ci 1 2 m
1
Formas cannicas (2/2)

PRODUCTOS DE SUMAS (PS)

XOR y a b a b a b
Trminos por cada 0 de la salida
Se niega la funcin resultante y se simplifica a b y
aplicando Morgan
0 0 0
0 1 1
n 1 0 1
F Ci Ci 1 2 m
1
1 1 0

PS : y ( a b) ( a b)
y ( a b) ( a b)
y ( a b) ( a b)
y ( a b) ( a b)
EJERCICIO

a b c y
0 0 0 1
0 0 1 1
0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 0

SP? PS?

y abc abc
 SIMPLIFICACIN (Karnaugh)
Desarrollo de Sumas de Prod (SP)
SP : y (a b c) (a b c) (a b c) (a b c) (a b c)
Construir Tabla de Karnaugh (SP)
Agrupar casillas a 1 adyacentes en
a b c y
potencias de 2 (1,2,4,8,)
0 0 0 0
Simplificar expresin SP eliminando
las variables que cambien de valor 0 0 1 1
en las agrupaciones 0 1 0 1
0 1 1 1
1 0 0 0
c c
1 0 1 1
a b 1 1 1 0 0
1 1 1 1 1 1
a b

a b 1

a b 1 y c (a b)
 EJERCICIO

SP : y (a b c d ) (a b c d ) (a b c d ) a b c d y
0 0 0 0 0
(a b c d ) (a b c d ) (a b c d ) 0 0 0 1 1

(a b c d ) (a b c d ) (a b c d ) 0 0 1 0 0
0 0 1 1 1
0 1 0 0 0
0 1 0 1 1
0 1 1 0 1

cd cd cd cd 0 1 1 1 1
1 0 0 0 0
a b 1 1 1 0 0 1 1
1 0 1 0 0
a b 1 1 1 1 0 1 1 1
1 1 0 0 0
a b 1 1
1 1 0 1 1

a b 1 1 1 1 1 0 0
1 1 1 1 1

y d (a b c)
Sistemas de control todo/nada
Los sistemas de control todo/nada se clasifican en:
Combinacionales
Secuenciales
En los sistemas combinacionales, las variables de salida
slo depende de las variables de entrada:
= (1 , 2 , . . , )
Tablas de verdad & mapas de Karnough
Ejemplo de sistema combinacional
Disear un sistema de tres interruptores (B1,B2 y B3) y una
bombilla (L), de manera que se encienda L cuando al menos hay dos
interruptores activados.

B1

B2

B3
Ejemplo de sistema combinacional
1. Tabla de verdad B1 B2 B3 L

0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 1
2. Mapa de Karnough
B1\B2 B3 00 01 11 10
0 0 0 1 0
1 0 1 1 1

L B1 B2 B2 B3 B1 B3
Ejemplo de sistema combinacional
3. Simulacin (FliudSIM)

+24V 3 4 5 6 7

B1

B1

B2
BB1 BB2 BB3

B2

B3

B3
B1 B2 B3
Ejemplo de sistema combinacional
4. Simulacin (STEP 5)
Ejercicio de examen
En una nave se han instalado tres depsitos de aceite de oliva
(d1, d2 y d3). Cada uno de ellos tiene instalado una boya en la
parte superior para indicar que est completamente lleno. Para
sealizar de forma simple el estado del conjunto de los
depsitos se ha colocado un panel a la entrada de la nave que
tiene tres pilotos de colores diferentes: Rojo (R), Naranja (N) y
Verde (V). La lgica de los pilotos es la siguiente:

El piloto V se activa cuando el nmero de depsitos llenos sea 0.

El piloto N se activa cuando el nmero de depsitos llenos sea 1.
El piloto R se activa cuando el nmero de depsitos llenos sea mayor que 1.

Obtenga las ecuaciones lgicas simplificadas del control de los

tres pilotos.
Sistemas secuenciales
En los sistemas secuenciales, las variables de salida
depende de las variables de entrada y de las memorias del
sistema
= (1 , 2 , , , 1 , ,

)
Realizar la tabla de verdad con las entradas y con las
marcas de estado
Simplificar
Ejemplo de sistema secuencial
Disear un sistema marcha-parada, con parada preferente. Se tiene
dos pulsadores: P1 (MARCHA) y P2 (PARADA). Si se pulsa P1 se
activa una salida M. Si se pulsa P2 la salida est desactiva. Si ambos
pulsadores son activados, la salida est desactivada

P1

P2

M
Ejemplo de sistema secuencial
1. Tabla de verdad P1 P2 M(t) M(t+1)

0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 1
1 1 0 0
1 1 1 0
2. Mapa de Karnough
M(t)\P1 P2 00 01 11 10
0 0 0 0 1
1 1 0 0 1

M (t 1) P 2t M t P1t
Ejemplo de sistema secuencial
3. Simulacin (FluidSIM)
Ejemplo de sistema secuencial
4. Simulacin (STEP 5)
MQUINAS DE ESTADO FINITAS
Dpto. Ingeniera Elctrica, Electrnica, Automtica y Fsica Aplicada
www.elai.upm.es