# Generador de tablas de verdad

Genera la tabla de verdad completa de una expresión booleana (hasta 6 variables, 64 filas): soporta + OR, ^ XOR, ·/*/& o yuxtaposición AND, !/~/' NOT y paréntesis; las variables se listan alfabéticamente, cada fila muestra la asignación y el valor F, y se dan las formas canónicas Σm (minterms) y ΠM (maxterms). Clásicos: AB + A'C tiene Σm(1,3,6,7); A ^ B ^ C es la función de paridad impar Σm(1,2,4,7).

> Página canónica: https://elysiatools.com/es/tools/truth-table-generator

- **Categoría:** Math & Numbers

- **Palabras clave:** tabla de verdad, expresión booleana, puertas lógicas, minterms, maxterms, forma canónica, lógica digital, circuitos lógicos, matemáticas discretas, paridad

## Descripción general

El generador de tablas de verdad evalúa expresiones booleanas de hasta 6 variables para producir tablas completas de hasta 64 filas, mostrando la asignación binaria de cada variable, el resultado de la función y las formas canónicas en minitérminos (Σm) y maxitérminos (ΠM).

## Entradas

- **Expresión booleana (A–F, hasta 6 variables)** (text): Classic switching-algebra notation: + OR, ^ XOR, · or juxtaposition AND, ' or ! NOT, parentheses. At most 6 distinct variables.

## Cuándo usarlo

- Al diseñar o simplificar circuitos lógicos combinacionales en electrónica digital.
- Al verificar equivalencias lógicas y resolver ejercicios de álgebra de Boole o matemáticas discretas.
- Al extraer las representaciones canónicas de suma de productos (Σm) o producto de sumas (ΠM) para mapas de Karnaugh.

## Cómo funciona

- Introduce la expresión booleana utilizando variables alfabéticas (de la A a la F) y operadores lógicos admitidos como +, ^, ·, &, ! o yuxtaposición.
- El analizador procesa la jerarquía de operadores, resuelve paréntesis y ordena las variables de entrada alfabéticamente.
- Se evalúa cada combinación binaria posible fila por fila para generar la salida F y calcular las listas canónicas de minitérminos Σm y maxitérminos ΠM.

## Casos de uso

- Comprobación del comportamiento lógico de multiplexores, decodificadores y comparadores digitales.
- Validación de funciones de paridad par o impar implementadas mediante cadenas de compuertas XOR.
- Obtención rápida de índices de minitérminos para la minimización de funciones mediante mapas de Karnaugh o algoritmos tabulares.

## Preguntas frecuentes

### ¿Qué operadores lógicos están admitidos en la expresión?

Admite suma lógica OR (+), suma exclusiva XOR (^), producto AND (·, *, &, o yuxtaposición como AB), negación NOT (!, ~, ') y paréntesis para agrupar.

### ¿Cuál es el número máximo de variables permitidas?

Permite hasta 6 variables distintas (de la A a la F), generando tablas de hasta 64 combinaciones binarias.

### ¿En qué orden se muestran las variables en la tabla?

Las variables identificadas en la expresión se ordenan automáticamente en orden alfabético ascendente en las columnas de entrada.

### ¿Qué representan las formas canónicas Σm y ΠM?

Σm lista los índices decimales de las filas donde la función F vale 1 (minitérminos), mientras que ΠM lista los índices donde F vale 0 (maxitérminos).

### ¿Se requiere un símbolo explícito para la operación AND?

No es obligatorio; puedes usar la yuxtaposición directa de variables (por ejemplo, AB) además de los operadores ·, * o &.

## Herramientas relacionadas

- [Removedor de Encabezados](https://elysiatools.com/es/tools/header-remover): Eliminar encabezados de datos CSV para crear archivos limpios sin encabezados. Perfecto para importaciones de bases de datos, tuberías de procesamiento de datos.
- [Generador de TOC Markdown](https://elysiatools.com/es/tools/markdown-toc-generator): Genera una tabla de contenidos desde los encabezados Markdown con enlaces ancla estilo GitHub
- [Generador de Slug (con chino a Pinyin)](https://elysiatools.com/es/tools/slug-generator): Genera slugs limpios para URL a partir de cualquier texto, con conversión integrada de chino a Pinyin. Colapsa separadores, pasa a minúsculas y trunca por palabras con longitud máxima opcional.
- [Generador por lotes de codigos](https://elysiatools.com/es/tools/barcode-batch-generator): Genera por lotes Code 128, EAN-13, UPC-A, ITF-14, QR Code y Data Matrix desde CSV o texto multilinea con salida PNG ZIP o PDF
- [Simplificador de álgebra de Boole (con mapa de Karnaugh)](https://elysiatools.com/es/tools/boolean-algebra-simplifier): Simplifica funciones booleanas al SOP mínimo: introduce una expresión (A–D, + OR, · AND, ' NOT, ≤ 4 variables) o directamente la lista de minterms Σm; el algoritmo de Quine-McCluskey obtiene los implicantes primos, toma los esenciales y completa una cobertura mínima exacta, mostrando el SOP mínimo, el mapa de Karnaugh en código Gray (2–4 variables), la forma canónica Σm y una verificación sobre todas las asignaciones. Clásicos: AB + A'B → B; Σm(0,1,2,4,5,6) (3 variables) → B' + C'.
- [Conversor de Proporción de Dilución (1:X ↔ 1/X ↔ %)](https://elysiatools.com/es/tools/dilution-ratio-converter): Convierte entre las notaciones de dilución de laboratorio: proporción 1:X, fracción 1/X y porcentaje, junto con el factor de dilución y las partes de soluto/diluyente. Admite las dos convenciones de 1:X (X = partes totales, o 1 parte de soluto + X de diluyente); al indicar el volumen final calcula los volúmenes a mezclar. Ejemplo clásico: 1:5 = 1/5 = 20 %; para 100 mL se mezclan 20 mL de concentrado + 80 mL de diluyente.
- [Constructor de firmas de correo HTML](https://elysiatools.com/es/tools/email-signature-html-builder): Genera una firma de correo HTML limpia y lista para copiar-pegar que se ve correctamente en Gmail, Outlook y Apple Mail — con avatar/logo, iconos sociales (auto-detectados desde tus enlaces), color de acento, tema claro/oscuro/auto, y un diseño basado en tablas con estilos en línea seguro para correo. Copia el HTML y pégalo en tu cliente.
- [Algoritmo de Euclides extendido (ax + by = gcd(a, b))](https://elysiatools.com/es/tools/extended-euclidean-algorithm): Resuelve la identidad de Bézout a·x + b·y = gcd(a, b) para enteros con cualquier signo: entrega la tabla completa de pasos de división (cada fila cumple r = a·s + b·t), el gcd y el lcm. Con el lado derecho opcional c se convierte en solucionador de ecuaciones diofánticas: si gcd | c da la solución particular y la general x = x₀ + (b/g)t; si no, informa claramente de que no hay solución entera. Clásico: 240 × (−9) + 46 × 47 = 2.

## Ejemplos

- [Ejemplos de Procesamiento de Imágenes Web Python](https://elysiatools.com/es/samples/web-image-processing-python): Ejemplos de procesamiento de imágenes Web Python usando PIL/Pillow incluyendo lectura, guardado, redimensionamiento y conversión de formato
- [Ejemplos de Procesamiento de Imágenes Android Java](https://elysiatools.com/es/samples/android-image-processing-java): Ejemplos de procesamiento de imágenes Android Java incluyendo lectura/escritura, escalado y conversión de formato
- [Ejemplos de Procesamiento de Imágenes Android Kotlin](https://elysiatools.com/es/samples/android-image-processing-kotlin): Ejemplos de procesamiento de imágenes Android Kotlin incluyendo lectura/escritura, escalado y conversión de formato
- [Ejemplos de Procesamiento de Imágenes Web Rust](https://elysiatools.com/es/samples/web-image-processing-rust): Ejemplos de procesamiento de imágenes Web Rust incluyendo lectura/escritura, escalado y conversión de formato