Mapa de Karnaugh

Introduce una expresión booleana o elige Minterminos y 2–4 variables. Calcular crea un mapa compacto y una DNF mínima completa. Copiar toma toda la fórmula. Ejemplo carga las cuatro esquinas0,2,8,10: resultado ¬b ∧ ¬d. Inicial vuelve a a & b y borra el resultado. Minterminos vacíos: función siempre falsa.

La cabecera superior izquierda indica variables de filas y columnas. Orden Gray: 0,1 o00,01,11,10; primera y última filas/columnas son vecinas. Pulsa celdas1 o enfócalas con Tab y Enter/Espacio para seleccionar un grupo. Es válido un rectángulo de potencia de dos celdas, todas1, incluso por bordes/esquinas. Borrar grupo elimina la selección. Selección inválida: aviso en vez de término inventado. Abre Grupos de la DNF y pulsa un término para resaltar sus celdas; se permite solapamiento.

Sintaxis: !/¬ NO, &/∧ Y, ^/⊕ XOR, |/∨ O, ->/→ implicación, <->/↔ equivalencia, paréntesis,0/1 y palabras de operadores. Precedencia en ese orden; implicación asociativa a la derecha. Nombres ASCII sin distinguir mayúsculas, palabras reservadas. Variables alfabéticas, la primera es el bit más significativo del mintermino. Constantes o una variable se completan con a/b sin uso hasta dos variables sin cambiar la función.

Se enumeran rectángulos válidos y se busca cobertura mínima exacta con grupos máximos (implicantes primos). Mínimo de términos Y, luego de literales en empates; se muestra una de las posibles soluciones mínimas. Sin don't-cares, minimización POS/CNF ni garantía de circuitos sin riesgos de transición. Máximo cuatro variables/16celdas,4096caracteres/256tokens. Minterminos: índices enteros decimales separados por espacios/comas/punto y coma, sin hex/fracciones/signos; duplicados inocuos. Límites antes de análisis recursivo. Cálculo local, entrada no guardada en cookies/URL; portapapeles persiste hasta reemplazarlo.

Los modos expresión y minterminos conservan por separado entradas originales, estados calculados o borradores y celdas uno seleccionadas en el almacenamiento local del navegador. Editar elimina resultado y selección activos. Ejemplo reemplaza solo la sesión de minterminos; Restablecer borra ambas sesiones. Copia JSON de ambos modos; importación hasta 32 MiB. Al superar 100000 caracteres de almacenamiento automático, el borrador sigue activo en la aplicación, pero recargar restaura la copia anterior. Exporta JSON antes.

Solo se conservan los valores introducidos en este navegador. No se guardan los resultados calculados ni los historiales.