CNF / DNF

Convierte una expresión booleana en formas normales disyuntiva (DNF) y conjuntiva (CNF) canónicas. Calcular muestra ambas; Copiar toma la fórmula completa, incluso fuera del área visible. Ejemplo carga y calcula (a & b) | !c; Borrar elimina entrada y resultados. Abre Tabla de verdad para ver todas las asignaciones.

Variables con letras, cifras y guiones bajos, empezando por letra o guion bajo. Se ignoran mayúsculas; true/false, T/F y palabras de operadores están reservadas. Operadores: ! o ¬ (NO), & o ∧ (Y), ^ o ⊕ (XOR), | o ∨ (O), -> o → (implicación), <-> o ↔ (equivalencia). Se aceptan AND/OR/NOT/XOR/NAND/NOR/XNOR. Precedencia: NO, Y/NAND, XOR, O/NOR, implicación, equivalencia; implicación asociativa a la derecha. Usa paréntesis para aclarar el orden.

La DNF canónica incluye un término Y por cada fila verdadera; la CNF una cláusula O por cada fila falsa. Para a -> b: DNF (¬a ∧ ¬b) ∨ (¬a ∧ b) ∨ (a ∧ b), CNF ¬a ∨ b. Variables en orden alfabético; asignaciones de todo-cero a todo-uno. 1 y 0 indican verdadero y falso. Son formas equivalentes pero no minimizadas; tautologías o contradicciones pueden seguir siendo largas. Usa el mapa de Karnaugh para minimizar.

Máximo seis variables (64 asignaciones), 4096 caracteres y 256 tokens, comprobados antes del trabajo recursivo. Una fórmula canónica generada puede superar estos límites al pegarla de nuevo. Cálculo local. La expresión original, el estado calculado o borrador y la tabla abierta se conservan en el almacenamiento local del navegador al navegar, recargar o cambiar de idioma. Los resultados y errores ya solicitados se recalculan desde esa expresión acotada; editar elimina las salidas anteriores. Al superar el límite automático de 100000 caracteres, el borrador sigue activo en la aplicación, pero recargar restaura la copia anterior. Exporta JSON antes. El portapapeles persiste por separado hasta reemplazarlo.

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