4个版本 (稳定版)
使用旧的Rust 2015
| 1.1.0 | 2021年6月18日 |
|---|---|
| 1.0.1 | 2018年5月23日 |
| 0.1.0 | 2018年5月22日 |
在数学类中排名第772
每月下载量26,357
在101个Crates中使用（直接使用3个）
8KB
107 行
三值逻辑
此库提供了强大的克莱尼三值逻辑，包含布尔值true和false以及额外的unknown变体。通常，unknown的语义是指当前值既不是真也不是假，但可能会后来变为其中一个。特别是，我们有false && unknown等于false，尽管第二个值是unknown，我们仍然可以评估整个表达式。
在文档中提供了真值表。
此库可以在稳定版的Rust上编译。
许可证
根据以下之一许可：
- Apache许可证第2版 (LICENSE-APACHE 或 https://apache.ac.cn/licenses/LICENSE-2.0)
- MIT许可证 (LICENSE-MIT 或 https://open-source.org.cn/licenses/MIT)，任选其一。
贡献
除非你明确声明，否则你提交的任何有意包含在作品中的贡献将根据上述协议双许可，不附加任何其他条款或条件。
参考文献
M. Fitting，“Kleene的三值逻辑及其子代，”Fundamenta informaticae，第20卷第1、2、3期，第113–131页，1994年。