逻辑求解器

逻辑求解器是一个用于求解和解析逻辑方程的 Rust 库。

支持的操作

变量可以是单个或多个大写字母。

用法

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]);

请查看/examples 文件夹中的完整示例。使用以下命令运行： cargo run --example <example_name>