文件名称：布尔：布尔代数计算器和助手
文件大小：236KB
文件格式：ZIP
更新时间：2024-03-05 04:50:49
Rust
布尔 bool是WIP布尔代数计算器和证明助手。 目前，它可以列出和等于公式的真值表，并应用一些布尔代数定理来操纵这些公式。 目标 最终目标是拥有一个命令行实用程序或解析器，它可以检查和显示布尔公式的减少量。 这样的会话可能看起来像： (B+(BC)) (B + 0)' =~> 0 // ok (B+(BC)) (B + 0)' =~> BB' =complement> 0 // ok (B+(BC)) (B + 0)' =demorgan> (B+(BC))B'1 =~> BB' =complement> 0 // ok (B+(BC)) (B + 0)' =demorgan> (B+(BC))B'1 =idempo
【文件预览】：
bool-main
----.gitignore(7B)
----theorems1.png(103KB)
----src()
--------main.rs(39KB)
----Cargo.lock(135B)
----ACKNOWLEDGEMENTS(1KB)
----CODE_OF_CONDUCT.txt(5KB)
----Cargo.toml(220B)
----README.md(1020B)
----LICENSE_MIT_ACKNOWLEDGE(1KB)
----theorems2.png(126KB)