Para diseñar una tabla de verdad para un sistema automatizado que permita que un ratón

salga de un laberinto, primero debemos identificar los elementos clave que intervienen en
el proceso. Algunos elementos posibles son:
Sensores: dispositivos que captan información del entorno, como la posición del ratón o la
presencia de obstáculos.
Actuadores: dispositivos que realizan acciones, como mover puertas o activar una fuente
de alimento.
Programa de control: conjunto de instrucciones que guían el comportamiento del sistema
en función de los datos que recibe de los sensores.
En función de estos elementos, podemos plantear una posible tabla de verdad:

En esta tabla, los sensores 1, 2 y 3 corresponden a tres posibles situaciones del laberinto:
sin obstáculos, con un obstáculo a la izquierda y con un obstáculo a la derecha,
respectivamente. Dependiendo de la información que reciban los sensores, el programa
de control activa una de las posibles acciones que puede realizar el sistema, como
avanzar, girar o retroceder.
La última fila de la tabla corresponde al caso en el que el ratón ha logrado la salida del
laberinto y se detiene.

Para realizar un mapa de Karnaugh y una tabla de estado para el ejemplo anterior, es
necesario establecer primero las entradas y salidas del sistema. En este caso, las entradas
son los tres sensores (Sensor 1, Sensor 2 y Sensor 3), mientras que la salida es la acción
que realiza el sistema (Acción).
Mapa de Karnaugh:
Para el mapa de Karnaugh, se toman las tres entradas y se representan en una tabla de
dos dimensiones. Las columnas representan las posibles combinaciones de Sensor 1 y
Sensor 2, mientras que las filas representan posibles combinaciones de Sensor 3. En cada
celda se coloca el valor de la salida correspondiente.

Tabla de estado:
Para la tabla de estado, se deben establecer los estados posibles del sistema y la acción
que realiza en cada estado. En este caso, se pueden establecer tres estados:
Estado 1: Inicio
Estado 2: En movimiento hacia la salida
Estado 3: Objetivo alcanzado (ratón fuera del laberinto)
La tabla de estado quedaría de la siguiente manera:

En esta tabla, el Estado actual representa la situación en la que se encuentra el sistema en

cada momento. La columna de Sensores representa las entradas del sistema, mientras
que la columna de Acción representa la salida que se produce en función de las entradas.
La columna de Próximo estado indica el estado al que se pasa después de realizar la acción
correspondiente. En este caso, el sistema permanece en el Estado 2 en todos los casos,
excepto cuando el ratón alcanza la salida del laberinto, momento en el que se pasa al
Estado 3.