Generador de tablas de verdad
Introduce una expresión lógica para obtener su tabla de verdad y una forma simplificada
Cargando la herramienta…
Introduce una expresión lógica (booleana) para obtener su tabla de verdad, sus formas canónicas, una expresión simplificada y un mapa de Karnaugh. Úsalo para comprobar soluciones de ejercicios de lógica digital o de matemática discreta.
Cómo se usa
- Escribe una expresión como A'B + AB' + C en «Expresión lógica». Abre «Operadores y notaciones» para ver los símbolos que puedes usar.
- La «Tabla de verdad» aparece al instante, con la indicación de si la expresión es una tautología. «Valores» cambia entre 1 / 0 y T / F.
- En «Formas», consulta la suma de productos y el producto de sumas simplificados. Con 4 variables o menos, el «Mapa de Karnaugh» muestra los grupos.
- Pon una «Segunda expresión» en «Comprobar equivalencia» para comparar dos expresiones, o pulsa «Copiar tabla» o «Copiar LaTeX».
Cómo funciona
- Las variables son letras sueltas A–Z, hasta 6. Las letras escritas juntas significan AND, así que AB es A AND B.
- Orden de prioridad, de mayor a menor: NOT, AND, XOR, OR, implicación, si y solo si. Usa paréntesis en caso de duda.
- La simplificación usa el método de Quine–McCluskey. Si la búsqueda tarda demasiado, se detiene antes, y una nota indica que el resultado puede no ser el más corto.
Preguntas frecuentes
- ¿Cuántas filas tiene una tabla de verdad?
- Con n variables tiene 2 elevado a n filas: 8 filas con 3 variables, 16 con 4 y 64 con 6.
- ¿Cómo se simplifica una expresión booleana?
- Combina los términos que solo se diferencian en una variable. AB + AB' es verdadera siempre que A es verdadera, sea cual sea B, así que se simplifica a A.
- ¿Qué diferencia hay entre minitérmino y maxitérmino?
- Un minitérmino es una fila en la que el resultado es 1, escrita como un AND de todas las variables; un maxitérmino es una fila en la que el resultado es 0, escrita como un OR. Los minitérminos unidos con OR dan la SOP canónica.
- ¿Puedo comprobar las leyes de De Morgan?
- Sí. Introduce ¬(A ∧ B) ↔ (¬A ∨ ¬B) y se muestra como tautología. También puedes poner los dos lados por separado en «Comprobar equivalencia».