Calculadora Lógica
Generador de tablas de verdad gratuito para lógica proposicional y álgebra de Boole. Para cualquier expresión: la tabla de verdad, sus propiedades, sus formas equivalentes, el mapa de Karnaugh y el diagrama de circuito; y para cualquier argumento, una demostración por tableau semántico. Todo en tu navegador.
Introduce una expresión lógica para analizarla (compatible con lógica proposicional, álgebra booleana)
Guía
Haz clic en un operador para probar su ejemplo en la calculadora. Cada uno muestra todas las formas de escribirlo.
Aprende lógica paso a paso
Un recorrido guiado desde tu primera proposición hasta las tablas de verdad y el álgebra booleana, y cómo se usa la lógica en programación, matemáticas y filosofía.
Generador de tablas de verdad
Construye la tabla de cualquier fórmula tuya, con las propiedades, las formas equivalentes y el mapa de Karnaugh al lado.
Ejercicios de práctica
Practica con ejercicios de tablas de verdad, álgebra booleana, equivalencias lógicas y demostraciones. Sigue tu progreso y realiza sesiones de entrenamiento adaptativo.
Tabla de Verdad a Expresión
Convierta cualquier tabla de verdad en una expresión lógica. Genere fórmulas booleanas en Forma Normal Disyuntiva (FND) o Forma Normal Conjuntiva (FNC) a partir de su tabla de verdad personalizada.
Acerca de
Una calculadora de lógica, calculadora proposicional y calculadora booleana integral. Perfecta para estudiantes y profesionales que trabajan con lógica proposicional, álgebra booleana, lógica de predicados, tablas de verdad y expresiones lógicas.
Contacto e Informar Problemas
¿Encontraste un error o tienes comentarios? Nos encantaría saber de ti. Envíanos un correo a [email protected]. Las consultas se prefieren en inglés.
Preguntas frecuentes
Encuentra respuestas a las preguntas más habituales sobre el uso de la Calculadora Lógica
¿Qué operadores lógicos admite la calculadora?
La calculadora admite todos los operadores lógicos estándar: NO (¬, !), Y (&, ∧), O (|, ∨), IMPLICA (→, ->) y BICONDICIONAL (↔, <->). Puedes usar estos operadores para construir expresiones lógicas complejas.
¿Cómo escribo símbolos como ∧ y → en un teclado normal?
No hace falta. Cada símbolo tiene una escritura en ASCII que la calculadora entiende: & para ∧, | para ∨, ! o ~ para ¬, -> para → y <-> para ↔. Las constantes ⊤ y ⊥ pueden escribirse como true y false, o como T y F. Si prefieres los símbolos, el teclado de operadores que hay bajo el campo de entrada los inserta por ti.
¿Puedo comprobar si dos expresiones lógicas son equivalentes?
¡Sí! Usa la función de comprobación de equivalencia separando dos expresiones con '==' para determinar si son lógicamente equivalentes. La calculadora comparará sus tablas de verdad para verificar la equivalencia.
¿Puede la calculadora comprobar si un argumento es válido?
Sí. Escribe las premisas separadas por comas, luego un torniquete y después la conclusión, como en 'p, p -> q ⊨ q'. El torniquete también puede escribirse como |= o |-. La calculadora indica si la conclusión se sigue, qué premisas hacen realmente falta, si todas las premisas pueden ser verdaderas a la vez y, cuando el argumento falla, muestra contramodelos que hacen verdadera cada premisa y falsa la conclusión.
¿Qué significan 'satisfacible' y 'válido'?
Una expresión satisfacible puede hacerse verdadera bajo al menos una asignación de valores de verdad. Una expresión válida (tautología) es verdadera bajo todas las asignaciones posibles. La calculadora comprueba ambas propiedades automáticamente para tus expresiones.
Datos
Usamos almacenamiento local para guardar tu historial. Si quieres borrar esos datos, usa el botón de abajo.