generate_truth_table
Generate a complete truth table for any boolean logic expression and determine whether it is a tautology, contradiction, or satisfiable.
Instructions
Generates a complete truth table for a boolean logic expression and analyzes whether it is a Tautology, Contradiction, or Satisfiable.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| expression | Yes | The boolean logic expression (e.g., "A => (B => A)") | |
| maxVariables | No | Safety limit on max variables to compute truth table for (default: 12) |