Rust Truth Table Generator

A fast and efficient command-line tool for generating truth tables from logical expressions.

Features

• Supports common logical operators:
  • Negation (~)
  • Conjunction (^)
  • Disjunction (v)
  • Conditional (->)
  • Bi-conditional (<->)
• Validates expressions and catches invalid syntax
• Outputs formatted truth tables to a result.txt file
• Fast evaluation using recursive descent parsing

Usage

cargo run "<logical_expression>"

Examples:

cargo run "A ^ B"
cargo run --release "A ^ B" # This will run faster, it's optimized

This will generate a file named result.txt containing a truth table like:

|   A   |   B   |   A ^ B   |
|  true | true  |   true    |
|  true | false |   false   |
| false | true  |   false   |
| false | false |   false   |

Implementation Details

• Uses a Trie data structure for efficient operator lookup
• Implements recursive descent parsing to build syntax trees
• Evaluates expressions by traversing the syntax tree
• Generates truth table variations using bitwise operations
• Outputs results to file with buffered writes for performance

Building

cargo build
cargo build --release # The artifact on this is optimized

Testing

Run test expressions to verify outputs match expected truth table values.