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

Question

说我有一个布尔公式  a或（b和c）

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

是否有任何现有的库可以实现这一目标？

Answer 1

如果您想自己实现它，下面是一个如何使用Linq表达式公式的示例。 sample program推导并简化了公式，这不完全是您想要做的，但足够接近有用。

P.S ..：如果我记得我的逻辑正确，有多种方法可以在给定起始公式的CNF或DNF中表达相同的公式。您可能希望将其标准化，以获得始终保持一致的内容。