Conviene haber comprendido C++, Arduino y prototipos.
CONTENIDO ORIGINAL
Avanza en orden. Cada lección está redactada para Palta es Cool, utiliza ejemplos propios y termina con una actividad cuya respuesta puedes desplegar.
ANTES DE EMPEZAR
Ubícate antes de avanzar
Al terminar deberías poder relacionar Lógica booleana con Condiciones y resolver un caso nuevo.
Reserva entre 75 y 120 minutos o divide el laboratorio en dos sesiones.
04 / PREPARA EL LABORATORIO
Las primeras cuatro secciones no requieren software. Para prototipos usa Tinkercad o Arduino IDE.
Abrir la guía de herramientas →Diagnóstico rápido: ¿cómo se relacionan Lógica booleana y Condiciones? ＋
No necesitas acertar todavía. Escribe una hipótesis de dos líneas y compárala con tu respuesta al finalizar; si puedes corregirla y justificar el cambio, hubo aprendizaje.
Aprende el tema paso a paso
Fortalecerás el razonamiento lógico y aprenderás a representar sistemas que reaccionan a eventos mediante estados y transiciones explícitas.
Al terminar podrás
- Una condición compuesta puede comprobarse con una tabla de verdad
- Una máquina de estados evita combinaciones imposibles
- Una regla legible reduce errores antes de programar
01
Lógica booleana
Una condición compuesta puede comprobarse con una tabla de verdad
AND exige que ambas proposiciones sean verdaderas; OR acepta al menos una; NOT invierte. Las equivalencias de De Morgan ayudan a revisar negaciones y los paréntesis hacen visible la prioridad.
Define cada proposición con una pregunta verificable.
Enumera combinaciones cuando la regla sea crítica.
Evita dobles negaciones y condiciones con significado oculto.
¿NOT(A AND B) equivale a NOT A AND NOT B?
Mostrar respuesta ＋
No. Por De Morgan equivale a NOT A OR NOT B: basta que una de las dos condiciones originales no se cumpla.
02
Estados y eventos
Una máquina de estados evita combinaciones imposibles
El estado resume la situación relevante; un evento puede activar una transición si se cumple una condición; la transición produce acciones y un nuevo estado. No todo evento es válido en todos los estados.
Lista estados mutuamente comprensibles.
Define evento, condición, acción y destino.
Incluye estado inicial, final y manejo de eventos inesperados.
¿Por qué guardar varios booleanos puede ser peor que un estado único?
Mostrar respuesta ＋
Porque podrían quedar combinaciones contradictorias, como enviado=true y borrador=true. Un estado explícito limita las situaciones válidas.
03
Simplificar y probar
Una regla legible reduce errores antes de programar
Se nombran condiciones intermedias, se eliminan repeticiones y se separa decisión de acción. Luego se prueban todas las ramas, especialmente fronteras y combinaciones negadas.
Un nombre como puedeComprar explica intención.
La evaluación de corto circuito evita trabajo o accesos inválidos.
Una tabla de decisión cubre reglas con varias condiciones.
¿Una expresión compacta es siempre más clara?
Mostrar respuesta ＋
No. Reducir caracteres puede ocultar intención. Variables intermedias y una tabla de decisión suelen ser mejores que una línea ingeniosa.
Tu recorrido en tres ideas
- Una condición compuesta puede comprobarse con una tabla de verdad
- Una máquina de estados evita combinaciones imposibles
- Una regla legible reduce errores antes de programar
Modela un préstamo sin estados contradictorios
Conecta tablas de verdad, condiciones compuestas, invariantes, eventos y transiciones seguras.
CASO
Un objeto puede estar disponible, reservado, prestado, vencido o bloqueado por mantenimiento.
Procedimiento
- Define estados excluyentes y el invariante que debe conservarse.
- Enumera eventos válidos e inválidos desde cada estado.
- Construye tabla de transición y decide qué salidas dependen del estado o del evento.
Evidencia mínima
- Cobertura de cada par estado-evento.
- Recuperación desde un estado inesperado.
- Pruebas de secuencias, no solo transiciones aisladas.
Mostrar razonamiento modelo ＋
Un único estado evita booleanos como prestado=true y disponible=true. Cada evento tiene destino, acción o rechazo explícito, y una recuperación segura trata datos antiguos o fallos.
Para ir más lejos¿Qué cambia si una reserva expira automáticamente?
CIERRE DE LA SECCIÓN
Comprueba que puedes usarlo
Antes de continuar, revisa estos tropiezos frecuentes y resuelve un caso sin copiar los ejemplos.
Omitir paréntesis en condiciones con AND y OR.
Representar estados excluyentes con booleanos contradictorios.
Ahora hazlo sin guía
Modela el ciclo de un préstamo con tabla de decisión y máquina de estados, incluidos eventos inválidos.
Mostrar pauta de corrección ＋
Una respuesta sólida:
- Las condiciones cubren combinaciones relevantes.
- Estados y transiciones tienen nombres precisos.
- Cada evento define acción, destino o rechazo.