Herramientas gratuitas de lógica booleana: tablas de verdad, simplificador, mapas de Karnaugh
Nueve herramientas gratuitas construidas sobre el motor de Tangibool: se ejecutan en tu navegador, indican sus límites y muestran cómo llegan al resultado.
Escribe una expresión y obtén la tabla de verdad con columnas intermedias, la simplificación con cada ley nombrada, el mapa de Karnaugh con una cobertura sugerida, la FNC y la FND con mintérminos y maxtérminos, las formas solo con NAND y solo con NOR, el diagrama de compuertas y la misma regla como Python, PostgreSQL, SMT-LIB y LaTeX. Dos herramientas más reciben dos expresiones o un argumento: el comprobador de equivalencia indica la primera fila en la que dos fórmulas difieren, y el comprobador de validez indica si una conclusión se sigue de sus premisas y da el contraejemplo cuando no.
Cada resultado lo produce el mismo motor que usa la app, con las mismas comprobaciones exactas: enumeración exhaustiva cruzada con un solucionador SAT, y cada testigo reproducido en un evaluador independiente antes de mostrarse. Nada de lo que escribes sale de tu navegador. Cada página de herramienta lleva además un ejemplo resuelto calculado al compilar la página, así que es útil incluso antes de ejecutar nada.
Los límites son los límites documentados del motor: 12 entradas para tablas de verdad, 4 variables efectivas para mapas de Karnaugh, 4.096 cláusulas para formas normales, 20.000 caracteres por expresión. Por encima de un límite, la herramienta lo dice; nunca recorta en silencio.
Generador de tablas de verdad: cualquier expresión booleana, hasta 12 variables, con columnas intermedias
Escribe cualquier expresión booleana con hasta 12 variables y obtén su tabla de verdad completa, con los veredictos de tautología, contradicción y satisfacibilidad, las formas de mintérminos y maxtérminos, una lectura en lenguaje claro en tres niveles y un diagrama de compuertas.
Calculadora y simplificador de álgebra de Boole paso a paso (cada ley nombrada y verificada)
Una calculadora de álgebra de Boole que muestra cada paso: cada reescritura nombra la ley que aplicó, muestra la expresión antes y después, y el resultado final lleva una comprobación exacta de equivalencia con lo que escribiste.
Solucionador de mapas de Karnaugh: de 2 a 4 variables, agrupaciones, SOP y POS
Dibuja el mapa de Karnaugh de una expresión con de dos a cuatro variables, mira las agrupaciones que sugiere el motor y lee la suma de productos derivada con una comprobación exacta de equivalencia.
Conversor a FNC y FND: formas normales conjuntiva y disyuntiva, mintérminos y maxtérminos
Convierte cualquier expresión a forma normal conjuntiva y a forma normal disyuntiva, con los índices de mintérminos y maxtérminos, las leyes aplicadas y el tamaño de cada forma.
Conversor a solo NAND o solo NOR con demostración de equivalencia
Reescribe una expresión usando solo compuertas NAND, o solo compuertas NOR, con el número de compuertas y una demostración exacta de que la construcción calcula la misma función.
Comprobador de equivalencia lógica: dos expresiones, veredicto exacto, contraejemplo
Comprueba si dos expresiones booleanas son lógicamente equivalentes. Si no lo son, la herramienta muestra la primera fila en la que difieren, reproducida en un evaluador independiente.
Comprobador de validez de argumentos: premisas, conclusión, contraejemplo o demostración
Introduce premisas y una conclusión y averigua si la conclusión se sigue. Si no, la herramienta da el contraejemplo: una asignación que hace verdaderas todas las premisas y falsa la conclusión.
Generador de circuitos lógicos: de expresión booleana a diagrama de compuertas (SVG)
Convierte una expresión booleana en un diagrama de compuertas lógicas, dibujado por el motor como SVG con las formas estándar de compuertas, puertos etiquetados y un nodo por operador.
De expresión booleana a Python, SQL, SMT-LIB y LaTeX
Exporta una regla booleana como módulo de Python, función de PostgreSQL, script SMT-LIB para Z3 y fórmula LaTeX, generados por los mismos exportadores que el producto Tangibool incluye y prueba.
Preguntas
¿Cuál es la diferencia entre estas herramientas y la app?
Las herramientas responden una pregunta sobre una expresión. La app conserva la regla como modelo: edición del diagrama, pruebas guardadas, ejecuciones de cobertura y mutación, historial de versiones, comentarios y exportaciones en trece formatos. El botón «Abrir en Tangibool» de cada resultado lleva la expresión a la app.
¿Las herramientas me rastrean?
Las herramientas no ponen cookies ni envían expresiones. Cuando una herramienta se ejecuta en tangibool.com, un contador sin cookies suma uno al total del día para esa herramienta e idioma, para saber qué herramientas se usan; no lleva identificador ni contenido.
¿Puedo insertar una herramienta en la página de un curso?
Sí. Cada herramienta tiene un botón «Insertar esta herramienta» que te da un fragmento iframe; la herramienta insertada se ejecuta en el navegador del visitante igual que la original.
Generado a partir del motor de Tangibool, semántica tangibool-semantics/1, motor 1.0.0, compilación . Cada tabla, mapa, simplificación y veredicto de estas páginas lo calculó el motor de Tangibool al compilar el sitio, y cada afirmación la volvió a comprobar el mismo verificador exacto que usa la app. Los límites se indican donde aplican. © 2026 Foreranger LTD.