Actividad para que los alumnos descubran cómo la lógica proposicional nos puede ayudar a crear instrucciones para programar el comportamiento de un pequeño robot o un autómata para realizar una tarea de forma eficiente.