Math & Numbers

Упрощатель булевых выражений (карта Карно)

Упрощает булевы функции до минимальной ДНФ: введите выражение (A–D, + ИЛИ, · И, ' НЕ, ≤ 4 переменных) или список минтермов Σm; алгоритм Куайна-Мак-Класки находит простые импликанты, берёт существенные и достраивает точное минимальное покрытие; выводятся минимальная ДНФ, карта Карно в коде Грея (2–4 переменных), каноническая форма Σm и проверка на всех наборах. Классика: AB + A'B → B; Σm(0,1,2,4,5,6) (3 переменные) → B' + C'.

text· Текстовый результатОткрыть инструмент

Быстрый старт

Вызовите этот инструмент из своего кода на трёх языках.

cURL

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

Отправьте POST-запрос с входными данными в JSON. Параметры типа «файл» требуют предварительной загрузки.

Endpoint

HTTP

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

Параметры

Имя	Тип	Обязательный	Описание
inputMode	select	Да	—
expression	text	Да	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	Да	—

Формат ответа

Текстовый результат

JSON

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

Интеграция MCP

Добавьте этот инструмент на свой сервер Model Context Protocol, чтобы ИИ-агенты могли перечислять и вызывать его.

Конфигурация сервера

Добавьте этот блок в конфигурацию вашего MCP-клиента:

mcp.json

{
  "mcpServers": {
    "elysiatools-boolean-algebra-simplifier": {
      "name": "boolean-algebra-simplifier",
      "description": "Упрощает булевы функции до минимальной ДНФ: введите выражение (A–D, + ИЛИ, · И, ' НЕ, ≤ 4 переменных) или список минтермов Σm; алгоритм Куайна-Мак-Класки находит простые импликанты, берёт существенные и достраивает точное минимальное покрытие; выводятся минимальная ДНФ, карта Карно в коде Грея (2–4 переменных), каноническая форма Σm и проверка на всех наборах. Классика: AB + A'B → B; Σm(0,1,2,4,5,6) (3 переменные) → B' + C'.",
      "baseUrl": "http://127.0.0.1:3003/mcp/sse?toolId=boolean-algebra-simplifier",
      "command": "",
      "args": [],
      "env": {},
      "isActive": true,
      "type": "sse"
    }
  }
}

Получить список инструментов

После подключения к SSE-endpoint выведите список доступных инструментов:

tools/list

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

Вызвать этот инструмент

Вызовите инструмент по его id; аргументы формируются из его параметров:

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

Обзор инструментов Открыть инструмент