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>