c# - 如何将布尔公式转换为 CNF 或 DNF

Question

假设我有一个布尔公式 a 或 (b 和 c)

我希望将其转换为 CNF，即（a 和 b）或（a 和 c）

是否有任何现有的图书馆可以实现这一目标？

Answer 1

如果您想自己实现它，这里有一个如何使用 Linq 表达式公式的示例。示例程序派生并简化了公式，这并不完全是您想要做的，但已经足够接近有用了。

PS.：如果我没记错的话，在给定起始公式的情况下，有多种方法可以在 CNF 或 DNF 中表达相同的公式。您可能希望以某种方式对其进行规范化，以获得始终一致的东西。