#parser #evaluator #solver #truth-table

logical_solver

Rust based logic parser, evaluator, and truth table constructor!

1 stable release

1.0.2 Apr 18, 2023

#39 in #evaluator

GPL-3.0 license

24KB
153 lines

Logical solver

Logical solver is a rust library for solving and parsing logical equations.

Supported operations

Predicate Usage
Conjunction(AND) ∧ and
Disjunction(OR) ∨ or
Negation(NOT) ¬ not
Conditional(IF...THEN) ⇒/→ =>
Biconditional(IF AND ONLY IF) ⇔/↔ <=>
Variables (for truth tables)* [A-Z]+

*Variables can be one or more capital letters.

Usage

let expr = parse_expression("true => not false or (true and false)");
let result = enumerate(expr, HashMap::new());
assert_eq!(result, true);
let vars = vec!(String::from("A"), String::from("B"))
let expr = parse_expression("A => not B");
let states = permutate(vars);
let result = solve_truth_table(expr, vars);
assert_eq!(result, [true, true, true, false]);

For full examples check /examples folder. Run them with: cargo run --example <example_name>

Dependencies

~2.1–4.5MB
~71K SLoC