Logic Truth Table Generator implementation

Binding contract

This record describes what an executable surface must bind and validate. It does not claim that a public calculator, package, or production route is deployed.

Record owner

Guth Instruments

Lifecycle

verified-clean

Evidence ID

t6-100

Effect

Computation or source lookup only

Input and validation requirements

The 31-variable extreme case requires 2,147,483,648 truth-table rows. If the instrument attempts to allocate or generate that table without rejecting the input, it can exhaust memory, hang, or overflow its row-count representation. The precedence probe also exposes a correctness hazard if NOT/AND precedence is undocumented or parsed inconsistently.

Required corrections

No binding erratum is attached to this unique-name record. Implementers must still preserve the declared units, domain, and failure behavior.

Inspectable interface fixture

The sample below is evidence for interface and validation tests, not a production implementation.

{
  "inputs": {
    "expression": "p AND (q OR NOT r)",
    "variables": [
      "p",
      "q",
      "r"
    ]
  },
  "expected_outputs": {
    "truth_table": [
      {
        "p": false,
        "q": false,
        "r": false,
        "result": false
      },
      {
        "p": false,
        "q": false,
        "r": true,
        "result": false
      },
      {
        "p": false,
        "q": true,
        "r": false,
        "result": false
      },
      {
        "p": false,
        "q": true,
        "r": true,
        "result": false
      },
      {
        "p": true,
        "q": false,
        "r": false,
        "result": true
      },
      {
        "p": true,
        "q": false,
        "r": true,
        "result": false
      },
      {
        "p": true,
        "q": true,
        "r": false,
        "result": true
      },
      {
        "p": true,
        "q": true,
        "r": true,
        "result": true
      }
    ],
    "tautology": false,
    "satisfiable": true,
    "contradiction": false
  },
  "working": "Evaluate rows in binary order. For 000: NOT r = 1; q OR NOT r = 0 OR 1 = 1; p AND 1 = 0 AND 1 = 0. For 001: NOT r = 0; 0 OR 0 = 0; 0 AND 0 = 0. For 010: NOT r = 1; 1 OR 1 = 1; 0 AND 1 = 0. For 011: NOT r = 0; 1 OR 0 = 1; 0 AND 1 = 0. For 100: NOT r = 1; 0 OR 1 = 1; 1 AND 1 = 1. For 101: NOT r = 0; 0 OR 0 = 0; 1 AND 0 = 0. For 110: NOT r = 1; 1 OR 1 = 1; 1 AND 1 = 1. For 111: NOT r = 0; 1 OR 0 = 1; 1 AND 1 = 1. The results contain at least one true row, so satisfiable = true. They are not all true, so tautology = false. They are not all false, so contradiction = false."
}

Other records

Sources and evidence

These pointers bind the page to evidence. They do not grant authority or collapse verification into deployment.

• VERIFIED_LEDGER.json
• evidence-tranche6/tranche6-results.json