Math & Numbers

Boolean Algebra Simplifier (Karnaugh Map)

Minimal SOP via Quine–McCluskey with essential prime implicants, exact minimum cover, Gray-coded Karnaugh map, and full-assignment verification.

text· Text resultOpen tool

Quick start

Call this tool from your code in three languages.

cURL

curl -X POST 'https://api.elysiatools.com/en/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"}'

API reference

Send a POST request with your inputs as JSON. File parameters require a separate upload first.

Endpoint

HTTP

POST https://api.elysiatools.com/en/api/tools/boolean-algebra-simplifier

Parameters

Name	Type	Required	Description
inputMode	select	Yes	—
expression	text	Yes	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	Yes	—

Response format

Text result

JSON

{
  "result": "Processed text content",
  "error": "Error message (optional)",
  "message": "Notification message (optional)",
  "metadata": {
    "key": "value"
  }
}

MCP integration

Add this tool to your Model Context Protocol server so AI agents can list and call it.

Server configuration

Add this block to your MCP client configuration:

mcp.json

{
  "mcpServers": {
    "elysiatools-boolean-algebra-simplifier": {
      "name": "boolean-algebra-simplifier",
      "description": "Minimal SOP via Quine–McCluskey with essential prime implicants, exact minimum cover, Gray-coded Karnaugh map, and full-assignment verification.",
      "baseUrl": "https://api.elysiatools.com/mcp/sse?toolId=boolean-algebra-simplifier",
      "command": "",
      "args": [],
      "env": {},
      "isActive": true,
      "type": "sse"
    }
  }
}

List available tools

After connecting to the SSE endpoint, list the exposed tools:

tools/list

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

Call this tool

Invoke the tool by its id, passing arguments built from its parameters:

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"
}
  }
}

Chain multiple tools in one session with a comma-separated toolId list, e.g. /mcp/sse?toolId=png-to-webp,jpg-to-webp,gif-to-webp (max 20).

Questions or issues? Contact [email protected]

Browse tools Open tool

curl -X POST 'https://api.elysiatools.com/en/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"}'

Name

Type

Required

Description

inputMode

select

Yes

—

expression

text

Yes

Classic switching-algebra notation: + OR, · or juxtaposition AND, ' or ! NOT, ^ XOR, parentheses. At most 4 distinct variables.

mintermList

text

Used in Minterms mode: the indices where the function is 1, e.g. 0,1,2,4,5,6.

varCount

select

Yes

—

{ "mcpServers": { "elysiatools-boolean-algebra-simplifier": { "name": "boolean-algebra-simplifier", "description": "Minimal SOP via Quine–McCluskey with essential prime implicants, exact minimum cover, Gray-coded Karnaugh map, and full-assignment verification.", "baseUrl": "https://api.elysiatools.com/mcp/sse?toolId=boolean-algebra-simplifier", "command": "", "args": [], "env": {}, "isActive": true, "type": "sse" } } }

{ "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" } } }