Math & Numbers
Minimal SOP via Quine–McCluskey with essential prime implicants, exact minimum cover, Gray-coded Karnaugh map, and full-assignment verification.
Call this tool from your code in three languages.
curl -X POST 'http://127.0.0.1:3003/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"}'Send a POST request with your inputs as JSON. File parameters require a separate upload first.
POST http://127.0.0.1:3003/en/api/tools/boolean-algebra-simplifier| 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 | — |
Text result
{
"result": "Processed text content",
"error": "Error message (optional)",
"message": "Notification message (optional)",
"metadata": {
"key": "value"
}
}Add this tool to your Model Context Protocol server so AI agents can list and call it.
Add this block to your MCP client configuration:
{
"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": "http://127.0.0.1:3003/mcp/sse?toolId=boolean-algebra-simplifier",
"command": "",
"args": [],
"env": {},
"isActive": true,
"type": "sse"
}
}
}After connecting to the SSE endpoint, list the exposed tools:
{
"jsonrpc": "2.0",
"id": 1,
"method": "tools/list"
}Invoke the tool by its id, passing arguments built from its parameters:
{
"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"
}
}
}Questions or issues? Contact [email protected]