Haz tangible la lógica
Tangibool es un espacio de trabajo para redactar, comprobar, explicar y probar lógica booleana. Empieza con palabras, una fórmula o un diagrama. Después comprueba cada caso, léela en palabras llanas y convierte el caso que la rompe en una prueba.
No necesitas cuenta. Se ejecuta en tu navegador, y tus reglas se quedan en tu dispositivo hasta que elijas la nube.
Pruébalo aquí
«Permitir la entrada a socios e invitados, a menos que estén vetados». Tu versión y la de un compañero parecen casi idénticas. Cambia las entradas y mira si encuentras dónde discrepan.
Leer la fórmula no te lo dirá. Un diagrama por sí solo puede no mostrarlo, y una explicación plausible no es una evidencia. Tangibool comprueba los ocho casos, te muestra los que difieren y te deja conservar cada uno como prueba de regresión.
Entradas: selecciona para cambiar
Resultados
allow_entry := (member OR invited) AND NOT bannedallow_entry := member OR (invited AND NOT banned)Cada caso, comprobado: las dos versiones lado a lado. Difieren en 2 de los 8 casos.
| member | invited | banned | Tu regla | De tu compañero | Coincidencia |
|---|---|---|---|---|---|
| FALSE | FALSE | FALSE | FALSE | FALSE | |
| FALSE | FALSE | TRUE | FALSE | FALSE | |
| FALSE | TRUE | FALSE | TRUE | TRUE | |
| FALSE | TRUE | TRUE | FALSE | FALSE | |
| TRUE | FALSE | FALSE | TRUE | TRUE | |
| TRUE | FALSE | TRUE | FALSE | TRUE | Difiere |
| TRUE | TRUE | FALSE | TRUE | TRUE | |
| TRUE | TRUE | TRUE | FALSE | TRUE | Difiere |
Empieza a tu manera
Cada vista edita el mismo modelo subyacente, así que la fórmula, el diagrama y la lectura en lenguaje claro siempre coinciden entre sí.
Describe una regla en inglés, francés, alemán o español. La IA propone una fórmula, un glosario y preguntas abiertas, con alternativas concretas cuando la redacción es ambigua. Nada se acepta hasta que tú lo confirmas.
Escribe o pega una expresión en notación de programación, matemática o de libro de texto. Los errores se señalan con precisión junto con correcciones sugeridas, y tu última versión válida nunca se pierde en silencio.
Añade entradas y compuertas, conecta puertos y elige una salida. Los ciclos y las conexiones que faltan se explican en lugar de aceptarse, y cada acción de edición también funciona desde el teclado.
Enuncia premisas y una conclusión. Tangibool te dice si se sigue, o te muestra la asignación en la que todas las premisas se cumplen y la conclusión falla.
Más allá de VERDADERO y FALSO
Define cada uno fuera de la fórmula. Tangibool lo compila a entradas VERDADERO/FALSO, deriva los hechos entre ellas y mantiene cada comprobación de dos valores y exacta.
«La edad es al menos 18» se convierte en age_at_least_18, definida como age ≥ 18. Da un número en un escenario y cada umbral sobre esa cantidad se decide con exactitud, con el orden entre umbrales derivado por ti.
Planes, países, actividades de negocio y escalas ordenadas como las calificaciones crediticias o las clases de riesgo. Comprueba la pertenencia con plan IN Paid o un nivel con rating ≥ BBB-, y recibe pruebas de límite y por clase propuestas para ti.
«Al menos dos de tres criterios» es una sola compuerta, AT_LEAST(2; …), no una cadena de XOR. Las tablas de puntos suman las filas que se cumplen, y los umbrales de puntuación son entradas que tus fórmulas usan por su nombre.
Aprobar, Derivar, Rechazar: define un conjunto de resultados como condiciones, una lista de reglas o una tabla de decisión, y Tangibool comprueba que cada caso recibe exactamente un resultado, con un caso reproducido por cada laguna o superposición.
Resultados honestos
Una regla puede estar bien formada y aun así ser incorrecta. Puede pasar tus ejemplos y aun así significar algo que no pretendías. Tangibool mantiene estas respuestas separadas, de modo que una luz verde en una nunca sustituye a otra.
Cuando una comprobación se queda sin tiempo, dice «No determinado», nunca «aprobado». Los resultados de una revisión anterior se marcan como obsoletos. Una simplificación se llama «simplificada», no «mínima».
¿Es válida la fórmula y qué agrupa exactamente?
¿Se cumple la propiedad en todos los casos permitidos? Exacta, con un testigo reproducido.
¿Pasa los ejemplos que tú, y no la fórmula, dijiste que debía pasar?
¿Dice la fórmula lo que la regla significa? Solo una persona puede confirmarlo.
¿Señaló un revisor de IA una omisión o una ambigüedad? Nunca es una comprobación matemática.
Qué papel tiene la IA
Tres tipos de evidencia, nunca mezclados en una sola puntuación. Esa es la regla en torno a la que está construido Tangibool.
La redacción convierte tus palabras en una fórmula candidata, un glosario y preguntas abiertas. Un revisor opcional busca excepciones omitidas o condiciones invertidas. Ambas cosas son propuestas, claramente etiquetadas.
Un motor determinista evalúa, comprueba y explica. Es el mismo motor en tu navegador, en el servidor y en el ejecutor de línea de comandos, y nunca se somete a la confianza de una IA.
Tú confirmas lo que significa la regla y escribes las expectativas. Cambia una palabra, un significado del glosario o un supuesto, y la confirmación se retira hasta que vuelvas a mirar.
¿Prefieres no usar IA en absoluto? Déjala apagada. Todas las funciones deterministas siguen funcionando, y no se envía nada a ningún sitio.
El espacio de trabajo
Compruébala, pruébala, versiónala y entrégala, sin salir del espacio de trabajo ni perder de vista qué revisión comprobaste.
Comprobaciones exactas
Pregunta si dos fórmulas son equivalentes, si una regla puede llegar a ser verdadera, si una conclusión se sigue o si una regla es al menos tan estricta como otra. Obtienes una respuesta definitiva, o la asignación exacta que demuestra lo contrario.
Pruebas
Guarda los escenarios que importan, junto con el origen de cada resultado esperado. Edita la regla y vuelve a ejecutar: una prueba que empieza a fallar se marca como regresión, y la ruta que falla se ilumina en el diagrama.
Control de versiones
Guarda en un mismo commit la fórmula, su redacción original, el glosario, el diagrama y las pruebas. Crea una rama para probar una excepción, compara texto, estructura, disposición y comportamiento, y después combina con los conflictos a la vista en lugar de ocultos.
Exportación
Exporta un solo artefacto o todo desde una misma revisión fija: informes en Markdown y LaTeX, código en Python y PostgreSQL, consultas SMT-LIB, tablas de verdad y diagramas en PNG, JPEG o SVG.
Para quién es
Refactoriza un condicional enredado y demuestra que sigue haciendo lo mismo, u obtén la entrada que lo rompe. Genera Python, SQL o SMT-LIB y ejecuta las mismas pruebas en CI.
Codifica reglas de elegibilidad por instrumento sobre calificaciones de agencias, clasificaciones y actividades del emisor como lógica precisa. Muestra que una regla interna es al menos tan estricta como el folleto o la regulación, encuentra el caso que se cuela, comprueba cada capa de reglas contra la que tiene encima y conserva un registro versionado de cada cambio para su revisión. Los límites calculados en otro sitio, como una proporción de los activos, entran como números que se comprueban contra umbrales.
Convierte una regla escrita de elegibilidad, acceso o flujo de trabajo en lógica que puedes leer, probar y confirmar con las partes interesadas, mientras la redacción original se mantiene justo al lado. Modélala sobre planes, niveles, conteos y puntuaciones con varios resultados, y muestra por qué un caso obtuvo su resultado.
Aprende los operadores, las leyes de De Morgan, las tablas de verdad, los mapas de Karnaugh y el conteo con lecciones que abren modelos reales y comprobables, en nivel principiante, intermedio o avanzado.
Explora las leccionesPrivacidad
Tus reglas pueden describir quién obtiene acceso, crédito o un descuento. Merecen cuidado.
Úsalo sin iniciar sesión. Los proyectos, el historial, las notas y las exportaciones se quedan en tu navegador hasta que decidas copiar un proyecto a la nube.
No se envía nada a un proveedor de IA hasta que tú mismo activas ese proveedor, y entonces solo el texto que la función necesita.
Sin analítica de producto. Los registros de nuestro servidor nunca contienen tus fórmulas, notas, prompts ni nombres de variables.
Lee la política de privacidadPrecios
Usa Tangibool gratis en tu navegador. Los planes de pago, desde $9.99 al mes, añaden proyectos en la nube, almacenamiento y borradores con IA. Los lectores y comentaristas siempre son gratis, y los estudiantes y docentes verificados tienen un 50% de descuento en Pro.