Quine-McCluskey-rs

纯Rust编写的Quine-McCluskey算法实现。

将其添加到项目中

cargo add quinemccluskey-rs

如何使用

假设您想最小化以下函数

则求值为1的项，其二进制表示为0和2。

use quinemccluskey_rs::simplify_bool_term;

let minterms = vec![0, 2];
let n_variables = Some(2);

let simplified = simplify_bool_term(&minterms, n_variables);

assert_eq!(simplified, [(0b00, 0b01)]);

输出表示该方案有一个最小项，其中仅存在B的否定形式。因此X = B'。

如果解决方案是[(0b110, 0b000), (0b000, 0b001)]，则将其转换为X = AB + C'