What can I do with this MCP?

You can use `generate_truth_table` to see every possible outcome for a boolean expression or `summarize_expression` to find its logical properties.

How do I define variables?

Variables are identified as unique alphanumeric characters within your expression string.

Is there a limit to the expression complexity?

The `generate_truth_table` tool has built-in limits to prevent excessive computation for expressions with a very high number of variables.

Boolean Truth Table Generator MCP Connector for Claude

A+

Generates exact truth tables and analyzes logical properties of boolean expressions.

3 tools Official Updated Oct 1, 2026 Official Vinkius Partner

More Details Connect to Claude

This MCP server provides tools to analyze and evaluate boolean logic. Use parse_expression to check the structure and variable count of a logic string, generate_truth_table to produce a complete truth table for all input combinations, and summarize_expression to identify if a formula is a tautology, contradiction, or contingent.

booleanlogictruth-tablemathematicsparsing

Connect to Claude

Subscribe on Vinkius, then add this connector to Claude.ai or Claude Code.

① Claude.ai (web app)

Go to Settings → Connectors → Add custom connector
Paste the MCP endpoint URL below

https://edge.vinkius.com/vk_preview_JvIuvcEePpYLzyc6VCkiPc5jfWhKyMSVkK6IS16K/mcp

② Claude Code (terminal)

claude mcp add --transport http boolean-truth-table-generator https://edge.vinkius.com/vk_preview_JvIuvcEePpYLzyc6VCkiPc5jfWhKyMSVkK6IS16K/mcp

③ Claude Desktop

Add to claude_desktop_config.json:

{
  "mcpServers": {
    "boolean-truth-table-generator": {
      "url": "https://edge.vinkius.com/vk_preview_JvIuvcEePpYLzyc6VCkiPc5jfWhKyMSVkK6IS16K/mcp"
    }
  }
}

Get full access on Vinkius

The preview token above works for testing. Powered by Vinkius.

Details

Tools: 3
Grade: A+
Score: 100/100
Updated: Oct 1, 2026

Related Connectors

Isaac Newton Prover MCP

1 tools Official

A decision report said 'it works well.' That is prose, not proof. This tool forces it to formalize into precise rules, derive from first principles, and unify all cases under one framework — no case-by-case exceptions, no special handling.

A+ View details →

NEW

Board Game Player Count MCP

4 tools Official

Monitor player occupancy and table capacity across all game sessions.

A+ View details →

Event Seating Planner MCP

4 tools Official

Automated deterministic seating arrangement generator.

A+ View details →

Inside Bar Breakout Strategy MCP

3 tools Official

Detect volatility contraction and explosive breakouts using inside bar patterns.

A+ View details →