UNIVERSIDAD DE CARABOBO

ELEMENTOS DISCRETOS II
FACULTAD EXPERIMENTAL DE CIENCIA Y TECNOLOGIA
Febrero, 2015
DEPARTAMENTO DE COMPUTACION
Preparadores: - Armando Garca
Solucin Taller 2: lgebra de Boole y Autmatas
1- En una planta de refinacin de petrleo se realizan tres procesos P0, P1 y P2 y dependiendo de ciertas
combinaciones en la ejecucin de los mismos, se puede caer en un estado de alerta o en un estado de
peligro. Para controlar esta planta se tienen tres sensores: S0, S1 y S2, de tal manera que si el sensor Si
toma el valor de 1, significa que se est ejecutando el proceso Pi, para i = 0, 1, 2. Por otra parte, los
estados de alerta y de peligro, se presentan bajo los siguientes criterios:
Cuando dos o ms procesos se estn ejecutando; o cuando se ejecuta P2 y no se ejecuta P1 ni P0, se est
en un estado de peligro.
Cuando P1 y P0 se ejecutan de manera excluyente y P2 no se est ejecutando, se est en un estado de
alerta.
Ante esta situacin, la compaa de petrleo ha decidido contratar sus servicios para que desarrolle un
proyecto sobre un circuito lgico que permita activar la seal de peligro y la seal de alerta.
Para ello se pide:
a) Identificar Variables de entrada b) Identificar funcin de salida c) Tabla de verdad d) Simplificacin
por medio de mapas de Karnaugh e) Circuito lgico con compuertas lgicas.

Solucin:
Entradas (1 pto):
P0 = (1) Se ejecuta el proceso 1,
P1= (1) Se ejecuta el proceso 2,
P2= (1) Se ejecuta el proceso 3.

Salidas (1 pto):
A (p0, p1, p2) = (1) Se est en un estado de alerta.
P (p0, p1, p2) = (1) Se est en un estado de peligro.

Tabla de Verdad (2 ptos)

p0 p1 p2 A P

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

1
1
1
1
1
1
1

#Procesos Ejecutando
0
1
1
2
1
2
2
3

Caso Especial

Simplificacin con Mapas de Karnaugh.(2 ptos)

P
p2

p0p1
0
1

00 01 11
1
1 1 1

10
1

A p0p1
00 01 11 10
p2
0
1

Circuito (2 ptos)
p0

p1

p2

A(p0, p1, p2)

P(p0, p1, p2)

2- Sea = {0,1}. Disear un autmata que reconozca aquellas secuencias cuya cantidad de 1 sea
mltiplo de 3 y que la cantidad de 0 sea par. Para ello, defina:
a) Grafo del autmata
b) Tabla de transicin de estados
c) Codificacin de los estados en binario
d) Tabla de las funciones de transicin de estados y de la funcin de salida

Solucin:
a) Grafo del Autmata (5 ptos)

b) Tabla de Transicin de Estados (2 ptos)

c) Codificacin de los estados en binario

(2 ptos)
Debido a que hay 6 estados, es necesario utilizar
3 bits para la codificacin en binario.

1
1
0

000
001
010
011
100
101

0
0
0
0

d) Tabla de las funciones de transicin de estados y de la funcin de salida (3 ptos)

Estado actual

Estado Prximo

q2q1q0
000

q2*q1*q0*
011

001

Entrada
x

Flip-Flops D
D2D1D0

Salida
S

011

100

100

010

101

101

011

000

000

100

001

001

101

010

010

000

001

001

001

010

010

010

000

000

011

100

100

100

101

101

101

011

011