For the complete documentation index, see llms.txt.
Minimise 2-5 variable boolean functions from minterms, maxterms, or a truth table with Quine-McCluskey, returning prime implicants and the Gray-coded K-map grid.
One POST adds Karnaugh Map (K-Map) Solver to your app, site, workflow, or agent — formula, validation, edge cases, and docs already handled.
prefer a UI? Open the Karnaugh Map (K-Map) Solver on miniwebtool.com →
POST https://api.miniwebtool.com/v1/tools/karnaugh-map-k-map-solver/run
| Field | Type | Req. |
|---|---|---|
nvars
number of variables, 2-5
|
int |
— |
input_mode
minterms | maxterms | truthtable
|
str |
— |
minterms
comma-separated minterm indices
|
str |
— |
maxterms
comma-separated maxterm indices, for input_mode=maxterms
|
str |
— |
dontcares
comma-separated don't-care indices
|
str |
— |
truth_table
output column as 0/1/x values, for input_mode=truthtable
|
str |
— |
form_type
SOP | POS
|
str |
— |
65536 bytes.hash_only{
"request_id": "01K...",
"tool": "karnaugh-map-k-map-solver",
"tool_version": "2026-04-22",
"credits_used": 1,
"result": { ... }
}
1,000 free calls/mo · no card · key arrives by email
curl -X POST https://api.miniwebtool.com/v1/tools/karnaugh-map-k-map-solver/run \
-H 'Authorization: Bearer mwt_live_YOUR_KEY' \
-H 'Content-Type: application/json' \
-d '{"nvars":4,"input_mode":"minterms","minterms":"0, 1, 2, 5, 6, 7, 8, 9, 10, 14","form_type":"SOP"}'
import requests
resp = requests.post(
'https://api.miniwebtool.com/v1/tools/karnaugh-map-k-map-solver/run',
headers={'Authorization': 'Bearer mwt_live_YOUR_KEY'},
json={'nvars': 4, 'input_mode': 'minterms', 'minterms': '0, 1, 2, 5, 6, 7, 8, 9, 10, 14', 'form_type': 'SOP'},
)
resp.raise_for_status()
data = resp.json()
print(data)
const resp = await fetch(
'https://api.miniwebtool.com/v1/tools/karnaugh-map-k-map-solver/run',
{
method: 'POST',
headers: {
'Authorization': 'Bearer mwt_live_YOUR_KEY',
'Content-Type': 'application/json',
},
body: JSON.stringify({"nvars":4,"input_mode":"minterms","minterms":"0, 1, 2, 5, 6, 7, 8, 9, 10, 14","form_type":"SOP"}),
}
);
const data = await resp.json();
console.log(data);
<?php
$ch = curl_init('https://api.miniwebtool.com/v1/tools/karnaugh-map-k-map-solver/run');
curl_setopt_array($ch, [
CURLOPT_POST => true,
CURLOPT_RETURNTRANSFER => true,
CURLOPT_HTTPHEADER => [
'Authorization: Bearer mwt_live_YOUR_KEY',
'Content-Type: application/json',
],
CURLOPT_POSTFIELDS => json_encode([
'nvars' => 4,
'input_mode' => 'minterms',
'minterms' => '0, 1, 2, 5, 6, 7, 8, 9, 10, 14',
'form_type' => 'SOP'
]),
]);
$resp = curl_exec($ch);
curl_close($ch);
print_r(json_decode($resp, true));
require 'net/http'
require 'json'
require 'uri'
uri = URI('https://api.miniwebtool.com/v1/tools/karnaugh-map-k-map-solver/run')
http = Net::HTTP.new(uri.host, uri.port)
http.use_ssl = (uri.scheme == 'https')
req = Net::HTTP::Post.new(uri)
req['Authorization'] = 'Bearer mwt_live_YOUR_KEY'
req['Content-Type'] = 'application/json'
req.body = {
'nvars' => 4,
'input_mode' => 'minterms',
'minterms' => '0, 1, 2, 5, 6, 7, 8, 9, 10, 14',
'form_type' => 'SOP'
}.to_json
resp = http.request(req)
puts JSON.parse(resp.body).inspect
package main
import (
"bytes"
"encoding/json"
"fmt"
"io"
"net/http"
)
func main() {
body, _ := json.Marshal(map[string]interface{}{
"nvars": 4,
"input_mode": "minterms",
"minterms": "0, 1, 2, 5, 6, 7, 8, 9, 10, 14",
"form_type": "SOP",
})
req, _ := http.NewRequest("POST", "https://api.miniwebtool.com/v1/tools/karnaugh-map-k-map-solver/run", bytes.NewReader(body))
req.Header.Set("Authorization", "Bearer mwt_live_YOUR_KEY")
req.Header.Set("Content-Type", "application/json")
resp, err := http.DefaultClient.Do(req)
if err != nil { panic(err) }
defer resp.Body.Close()
out, _ := io.ReadAll(resp.Body)
fmt.Println(string(out))
}
import java.net.URI;
import java.net.http.*;
var client = HttpClient.newHttpClient();
var req = HttpRequest.newBuilder()
.uri(URI.create("https://api.miniwebtool.com/v1/tools/karnaugh-map-k-map-solver/run"))
.header("Authorization", "Bearer mwt_live_YOUR_KEY")
.header("Content-Type", "application/json")
.POST(HttpRequest.BodyPublishers.ofString("{\"nvars\":4,\"input_mode\":\"minterms\",\"minterms\":\"0, 1, 2, 5, 6, 7, 8, 9, 10, 14\",\"form_type\":\"SOP\"}"))
.build();
var resp = client.send(req, HttpResponse.BodyHandlers.ofString());
System.out.println(resp.body());
https://api.miniwebtool.com/v1/tools/karnaugh-map-k-map-solver/run
Authorization: Bearer <key> and Content-Type: application/json. Copy-paste snippets in 7 languages are under Code examples.
{request_id, tool, tool_version, credits_used, result}. The typed output lives in result.
Minimise 2-5 variable boolean functions from minterms, maxterms, or a truth table with Quine-McCluskey, returning prime implicants and the Gray-coded K-map grid. Use it to add this utility without rebuilding formulas, validation, examples, and documentation.
1 credit per successful call. Failed calls (validation errors, 5xx) don't bill.
Required fields: (none). Full schema at /v1/openapi.json.
Yes — same input, same output, forever. Tool version 2026-04-22; output shape is stable within a major version.
Yes. Connect to https://api.miniwebtool.com/v1/mcp over the Model Context Protocol. The agent discovers `karnaugh-map-k-map-solver` with its JSON Schema automatically, so the model can plan while MiniWebtool handles the exact tool result.
JSON with a stable envelope: `{request_id, tool, tool_version, credits_used, result}`. Errors are RFC 7807 `application/problem+json`.
Every endpoint on this site is also exposed via the
Model Context Protocol at
https://api.miniwebtool.com/v1/mcp.
Claude, Cursor, and any MCP-capable agent can discover this tool
(karnaugh-map-k-map-solver)
and its JSON Schema automatically — no client codegen.
# List tools the agent can call
curl -s https://api.miniwebtool.com/v1/mcp \
-H 'Content-Type: application/json' \
-d '{"jsonrpc":"2.0","id":1,"method":"tools/list"}' \
| jq '.result.tools[] | select(.name=="karnaugh-map-k-map-solver")'