Math & Numbers

Simplificateur d'expressions booléennes (table de Karnaugh)

Simplifie les fonctions booléennes en SOM minimale : entrez une expression (A–D, + OU, · ET, ' NON, ≤ 4 variables) ou la liste des minterms Σm ; l'algorithme de Quine-McCluskey extrait les impliquants premiers, retient les essentiels et complète une couverture minimale exacte ; affiche la SOM minimale, la table de Karnaugh en code Gray (2–4 variables), la forme canonique Σm et une vérification sur toutes les affectations. Classiques : AB + A'B → B ; Σm(0,1,2,4,5,6) (3 variables) → B' + C'.

text· Résultat texteOuvrir l'outil

Démarrage rapide

Appelez cet outil depuis votre code en trois langages.

cURL

curl -X POST 'http://127.0.0.1:3003/fr/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"}'

Référence de l'API

Envoyez une requête POST avec vos entrées en JSON. Les paramètres de type fichier nécessitent un upload préalable.

Point d'accès

HTTP

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

Paramètres

Nom	Type	Requis	Description
inputMode	select	Oui	—
expression	text	Oui	Classic switching-algebra notation: + OR, · or juxtaposition AND, ' or ! NOT, ^ XOR, parentheses. At most 4 distinct variables.
mintermList	text	Non	Used in Minterms mode: the indices where the function is 1, e.g. 0,1,2,4,5,6.
varCount	select	Oui	—

Format de réponse

Résultat texte

Intégration MCP

Ajoutez cet outil à votre serveur Model Context Protocol pour que les agents IA puissent le lister et l'appeler.

Configuration du serveur

Ajoutez ce bloc à la configuration de votre client MCP :

mcp.json

{
  "mcpServers": {
    "elysiatools-boolean-algebra-simplifier": {
      "name": "boolean-algebra-simplifier",
      "description": "Simplifie les fonctions booléennes en SOM minimale : entrez une expression (A–D, + OU, · ET, ' NON, ≤ 4 variables) ou la liste des minterms Σm ; l'algorithme de Quine-McCluskey extrait les impliquants premiers, retient les essentiels et complète une couverture minimale exacte ; affiche la SOM minimale, la table de Karnaugh en code Gray (2–4 variables), la forme canonique Σm et une vérification sur toutes les affectations. Classiques : 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"
    }
  }
}

Lister les outils disponibles

Après connexion au point d'accès SSE, listez les outils exposés :

tools/list

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

Appeler cet outil

Appelez l'outil par son id ; les arguments sont construits à partir de ses paramètres :

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

Parcourir les outils Ouvrir l'outil