La iluminación del pasillo de un hotel dispone de tres lámparas y cuatro detectores de

presencia. Su funcionamiento es el siguiente: Cuando se activa el detector de presencia D1 se

enciende la lámpara L1. Cuando se activa D2 las lámparas que se encienden son L1 y L2. Si se
activan D3, las lámparas que se encienden serán L2 y L3 y, se apaga L1, y por último, si es D4 el
que se activa, se enciende solamente L3.

En primer lugar confeccionamos la denominada tabla de la verdad que rige el automatismo.

ENTRADAS SALIDAS
D4 D3 D2 D1 L3 L2 L1
0 0 0 0 0 0 0
0 0 0 1 0 0 1
0 0 1 0 0 1 1
0 0 1 1 0 0 0
0 1 0 0 1 1 0
0 1 0 1 0 0 0
0 1 1 0 0 0 0
0 1 1 1 0 0 0
1 0 0 0 1 0 0
1 0 0 1 0 0 0
1 0 1 0 0 0 0
1 0 1 1 0 0 0
1 1 0 0 0 0 0
1 1 0 1 0 0 0
1 1 1 0 0 0 0
1 1 1 1 0 0 0

Después de rellenar la parte izquierda de la tabla con las dieciséis posibles combinaciones de
entrada, rellenamos la parte derecha con los estados que deben adquirir las salidas en
interpretación de las condiciones del funcionamiento. Por ejemplo, fijándonos en la primera
fila escribiremos un 1 en la casilla L1 para indicar que si se activa el indicador de presencia D1,
la lámpara ha de activarse.

Si intentamos simplificar por el método de Karnaugh las funciones lógicas, comprobamos que
una vez situadas las combinaciones de la tabla de la verdad que dan 1 en sus mapas
correspondientes, podemos observar que no podemos realizar ninguna agrupación siendo
imposible la simplificación por este sistema. Utilizando en este caso las reglas del algebra de
Boole.
Simplifiquemos, por el método de Karnaugh la función lógica de la salida L3 que se muestra en
la tabla.

A continuación simplificamos la función de la lámpara L2 aplicando también el método de

Karnaugh.

Por último, simplificamos la función correspondiente a la lámpara L1.