布尔 bool是WIP布尔代数计算器和证明助手。 目前，它可以列出和等于公式的真值表，并应用一些布尔代数定理来操纵这些公式。 目标 最终目标是拥有一个命令行实用程序或解析器，它可以检查和显示布尔公式的减少量。 这样的会话可能看起来像： (B+(BC)) (B + 0)' =~> 0 // ok (B+(BC)) (B + 0)' =~> BB' =complement> 0 // ok (B+(