三值逻辑

此库提供了强大的克莱尼三值逻辑，包含布尔值true和false以及额外的unknown变体。通常，unknown的语义是指当前值既不是真也不是假，但可能会后来变为其中一个。特别是，我们有false && unknown等于false，尽管第二个值是unknown，我们仍然可以评估整个表达式。

在文档中提供了真值表。

此库可以在稳定版的Rust上编译。

许可证

根据以下之一许可：

• Apache许可证第2版 (LICENSE-APACHE 或 https://apache.ac.cn/licenses/LICENSE-2.0)
• MIT许可证 (LICENSE-MIT 或 http://opensource.org/licenses/MIT)，任选其一。

贡献

除非你明确声明，否则你提交的任何有意包含在作品中的贡献将根据上述协议双许可，不附加任何其他条款或条件。

参考文献

M. Fitting，“Kleene的三值逻辑及其子代，”Fundamenta informaticae，第20卷第1、2、3期，第113–131页，1994年。