在vb.net中将逻辑公式转换为DNF

Question

我需要一个函数来转换这样的公式：

(A = 1 AND (B > 4 OR C > 5)) OR (A = 3 AND (B > 4 OR C > 10))

到DNF格式。这个例子的公式可能更复杂。

有关查找有关此转化的算法或代码的任何帮助吗？

提前致谢。

Answer 1

您可能希望查看Class Library for Boolean Function Manipulation，这是一个.NET库，包含将公式转换为真值表并将真值表转换为DNF的方法。

另外还有.NET Framework 4.6.2。转换decision diagrams to DNF的参考实现。如果您想在VB.Net中实现自己的（或在C＃库中从VN.Net调用），这可能会有所帮助。