Math & Numbers

Simplificador de álgebra de Boole (con mapa de Karnaugh)

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'.

text· Resultado de textoAbrir herramienta

Inicio rápido

Llama a esta herramienta desde tu código en tres lenguajes.

cURL

curl -X POST 'http://127.0.0.1:3003/es/api/tools/boolean-algebra-simplifier' \
  -H 'Content-Type: application/json' \
  -d '{"inputMode":"expression","expression":"AB + A'\''B","mintermList":"0,1,2,4,5,6","varCount":"3"}'

Referencia de la API

Envía una petición POST con tus entradas en JSON. Los parámetros de tipo archivo requieren una subida previa.

Endpoint

HTTP

POST http://127.0.0.1:3003/es/api/tools/boolean-algebra-simplifier

Parámetros

Nombre	Tipo	Obligatorio	Descripción
inputMode	select	Sí	—
expression	text	Sí	Classic switching-algebra notation: + OR, · or juxtaposition AND, ' or ! NOT, ^ XOR, parentheses. At most 4 distinct variables.
mintermList	text	No	Used in Minterms mode: the indices where the function is 1, e.g. 0,1,2,4,5,6.
varCount	select	Sí	—

Formato de respuesta

Resultado de texto

Integración MCP

Añade esta herramienta a tu servidor Model Context Protocol para que los agentes de IA puedan listarla y llamarla.

Configuración del servidor

Añade este bloque a la configuración de tu cliente MCP:

mcp.json

{
  "mcpServers": {
    "elysiatools-boolean-algebra-simplifier": {
      "name": "boolean-algebra-simplifier",
      "description": "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'.",
      "baseUrl": "http://127.0.0.1:3003/mcp/sse?toolId=boolean-algebra-simplifier",
      "command": "",
      "args": [],
      "env": {},
      "isActive": true,
      "type": "sse"
    }
  }
}

Listar herramientas disponibles

Tras conectar al endpoint SSE, lista las herramientas expuestas:

tools/list

{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/list"
}

Llamar a esta herramienta

Invoca la herramienta por su id; los argumentos se construyen a partir de sus parámetros:

tools/call

{
  "jsonrpc": "2.0",
  "id": 2,
  "method": "tools/call",
  "params": {
    "name": "boolean-algebra-simplifier",
    "arguments": {
  "inputMode": "expression",
  "expression": "AB + A'B",
  "mintermList": "0,1,2,4,5,6",
  "varCount": "3"
}
  }
}

Explorar herramientas Abrir herramienta