1 stable release
1.0.2 | Apr 18, 2023 |
---|
#5 in #truth-table
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.2–4.5MB
~72K SLoC