布尔:布尔代数计算器和助手 源码

布尔 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 =~>