klen3:三值逻辑与 C++ 中的 3 元素 Kleene 代数 (K3)

克莱恩3 使用 C++ 中的 3 元素 Kleene 代数 (K3) 实现三值逻辑。 它采用值True 、 False和Unknown 。 用法 只需将klen.h复制到您的包含文件夹中。 然后，将其包含在您要使用的位置： # include " klen.h " using Kleene::True; using Kleene::False; using Kleene::Unknown; 例子 main.cc有一些示例和测试。