{
  "title": "Boolean logic truth tables",
  "human_url": "https://happytails.ai/en/calculators/boolean-logic-truth-tables/",
  "agent_url": "https://happytails.ai/agents/en/calculators/boolean-logic-truth-tables/",
  "language": "en",
  "markdown_url": "https://happytails.ai/en/calculators/boolean-logic-truth-tables.md",
  "content": "Boolean logic truth tables\nBuild complete truth tables, classify formulas and compare logical equivalence with counterexamples.\nHow can we improve this tool?\nReport a problem or share an idea.\nPlease leave out private information. Your message and the tool name go to our team via PostHog.\nHow to use Boolean logic truth tables\nEnter a formula on each line. Use parentheses to make the intended grouping clear.\nRead the complete truth table. T means true and F means false.\nRead classifications and equivalence checks in the report. For a non-equivalent pair, inspect its counterexample.\nUseful next steps\nContinued fraction explorer\nFinite difference table explorer\nWhat the result shows\nA tautology is true for every assignment. A contradiction is false for every assignment. Other formulas are contingent. Equivalent formulas agree on every assignment to their combined variables.\nOperator order\nNOT binds before AND, then XOR, OR, implication and equivalence. Use parentheses when in doubt. Variables such as A and a are different; true, false, 1 and 0 are constants.\nKeep the full result\nCSV contains every assignment; JSON includes classifications and exact counterexamples. The text report explains the formula labels. Processing stays on your device.",
  "content_format": "text/plain",
  "visibility": "public",
  "links": [
    {
      "name": "Continued fraction explorer",
      "url": "https://happytails.ai/en/calculators/continued-fraction-explorer/"
    },
    {
      "name": "Finite difference table explorer",
      "url": "https://happytails.ai/en/calculators/finite-difference-table-explorer/"
    }
  ],
  "tool": {
    "id": "boolean-logic-truth-tables",
    "category": "calculators",
    "built": true,
    "requirements": "One to eight formulas, one per line, using at most 12,000 characters. Use up to 12 case-sensitive ASCII variables, 512 tokens per formula and 64 nested operations. All assignments are enumerated, with one row for a constant formula. Supported operators: NOT, AND, XOR, OR, implication and equivalence, in that precedence order. Implication associates to the right. No input code is executed.",
    "implementation": {
      "fields": [],
      "live": true,
      "background": true,
      "inputMaxLength": 12000,
      "inputErrorCode": "LOGIC_INPUT",
      "note": "One formula per line, up to eight. Use not/!, and/&, xor/^, or/|, -> for implication and <-> for equivalence. Precedence follows that order. Parentheses override it; implication associates to the right. Variables are case-sensitive ASCII names. Up to 12 variables and 4,096 rows; no input code is executed.",
      "experience": {
        "automatic": true,
        "single": false,
        "inputMaxLength": 12000,
        "inputMode": "text",
        "label": "Logical formulas",
        "placeholder": "A -> B\nnot A or B",
        "help": "One formula per line. Use parentheses, Boolean operators and case-sensitive variables. Results update as you type. Up to 12,000 characters.",
        "action": null
      },
      "mode": "automatic",
      "interactive": false
    },
    "execution": "Browser interface",
    "api": null,
    "browser_agent": {
      "supported": true,
      "name": "run_current_tool",
      "discovery": "WebMCP on the human page in a supporting browser",
      "verification": "See audit/API-AUDIT.md; availability is not verification"
    }
  },
  "markdown": "# Boolean logic truth tables\n\n- Human page: https://happytails.ai/en/calculators/boolean-logic-truth-tables/\n- Markdown: https://happytails.ai/en/calculators/boolean-logic-truth-tables.md\n- Structured JSON: https://happytails.ai/agents/en/calculators/boolean-logic-truth-tables/index.json\n- Visibility: public\n\n## Tool capabilities\n\n| Property | Value |\n| --- | --- |\n| Tool ID | `boolean-logic-truth-tables` |\n| Category | calculators |\n| Implementation | Registered implementation. Registration alone is not a production-quality guarantee. |\n| Browser execution | Automatic updates after valid input or file selection. |\n| Browser processing | Browser; see tool notes for network behavior. |\n| HTTP API | Not callable through HTTP. |\n| Browser-agent interface | run_current_tool |\n\n### Implementation notes\n\nOne formula per line, up to eight. Use not/!, and/&, xor/^, or/|, -> for implication and <-> for equivalence. Precedence follows that order. Parentheses override it; implication associates to the right. Variables are case-sensitive ASCII names. Up to 12 variables and 4,096 rows; no input code is executed.\n\n### Inputs and settings\n\nText input: Logical formulas.\n\nExample or placeholder shown in the interface (not a validated fixture):\n\n```text\nA -> B\nnot A or B\n```\n\nOne formula per line. Use parentheses, Boolean operators and case-sensitive variables. Results update as you type. Up to 12,000 characters.\n\nNo additional settings are declared for this tool.\n\n### Browser-agent workflow\n\n1. Open the human page in a browser that supports WebMCP.\n2. Discover the interface exposed by that page; use its actual schema.\n3. Select files on the page first when the tool requires files.\n4. Call `run_current_tool` with valid input and settings.\n5. Inspect the returned result or error and the displayed output. Retrieve files from the displayed download links.\n\nCalls do not automatically copy or download results. Browser permissions still apply. Interface availability alone is not proof of successful execution.\n\n### Planning specification\n\nOne to eight formulas, one per line, using at most 12,000 characters. Use up to 12 case-sensitive ASCII variables, 512 tokens per formula and 64 nested operations. All assignments are enumerated, with one row for a constant formula. Supported operators: NOT, AND, XOR, OR, implication and equivalence, in that precedence order. Implication associates to the right. No input code is executed.\n\nThis describes intended requirements. Use the implementation notes, interface schema and observed output to determine current support.\n\n### Complete machine-readable capability record\n\n```json\n{\n  \"id\": \"boolean-logic-truth-tables\",\n  \"category\": \"calculators\",\n  \"built\": true,\n  \"requirements\": \"One to eight formulas, one per line, using at most 12,000 characters. Use up to 12 case-sensitive ASCII variables, 512 tokens per formula and 64 nested operations. All assignments are enumerated, with one row for a constant formula. Supported operators: NOT, AND, XOR, OR, implication and equivalence, in that precedence order. Implication associates to the right. No input code is executed.\",\n  \"implementation\": {\n    \"fields\": [],\n    \"live\": true,\n    \"background\": true,\n    \"inputMaxLength\": 12000,\n    \"inputErrorCode\": \"LOGIC_INPUT\",\n    \"note\": \"One formula per line, up to eight. Use not/!, and/&, xor/^, or/|, -> for implication and <-> for equivalence. Precedence follows that order. Parentheses override it; implication associates to the right. Variables are case-sensitive ASCII names. Up to 12 variables and 4,096 rows; no input code is executed.\",\n    \"experience\": {\n      \"automatic\": true,\n      \"single\": false,\n      \"inputMaxLength\": 12000,\n      \"inputMode\": \"text\",\n      \"label\": \"Logical formulas\",\n      \"placeholder\": \"A -> B\\nnot A or B\",\n      \"help\": \"One formula per line. Use parentheses, Boolean operators and case-sensitive variables. Results update as you type. Up to 12,000 characters.\",\n      \"action\": null\n    },\n    \"mode\": \"automatic\",\n    \"interactive\": false\n  },\n  \"execution\": \"Browser interface\",\n  \"api\": null,\n  \"browser_agent\": {\n    \"supported\": true,\n    \"name\": \"run_current_tool\",\n    \"discovery\": \"WebMCP on the human page in a supporting browser\",\n    \"verification\": \"See audit/API-AUDIT.md; availability is not verification\"\n  }\n}\n```\n\n## Page guide\n\nBuild complete truth tables, classify formulas and compare logical equivalence with counterexamples.\n\nHow can we improve this tool?\n\nReport a problem or share an idea.\n\nPlease leave out private information. Your message and the tool name go to our team via PostHog.\n\n### How to use Boolean logic truth tables\n\n1. Enter a formula on each line. Use parentheses to make the intended grouping clear.\n2. Read the complete truth table. T means true and F means false.\n3. Read classifications and equivalence checks in the report. For a non-equivalent pair, inspect its counterexample.\n\n## Useful next steps\n\n- [Continued fraction explorer](https://happytails.ai/en/calculators/continued-fraction-explorer/) ([Markdown](https://happytails.ai/en/calculators/continued-fraction-explorer.md))\n\n- [Finite difference table explorer](https://happytails.ai/en/calculators/finite-difference-table-explorer/) ([Markdown](https://happytails.ai/en/calculators/finite-difference-table-explorer.md))\n\n## What the result shows\n\nA tautology is true for every assignment. A contradiction is false for every assignment. Other formulas are contingent. Equivalent formulas agree on every assignment to their combined variables.\n\n### Operator order\n\nNOT binds before AND, then XOR, OR, implication and equivalence. Use parentheses when in doubt. Variables such as A and a are different; true, false, 1 and 0 are constants.\n\n### Keep the full result\n\nCSV contains every assignment; JSON includes classifications and exact counterexamples. The text report explains the formula labels. Processing stays on your device.\n"
}