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

发布时间：2020-12-15 21:37:18 所属栏目：百科来源：网络整理

导读：说我有一个布尔公式 ?a或(b和c) 我希望将其转换为CNF 即 (a和b)或(a和c) 是否有任何现有的库可以实现这一目标？解决方法如果你想自己实现它,这里有一个如何使用 Linq表达式公式的例子. sample program推导并简化了公式,这不是您想要做的,但足够接近有用. P

说我有一个布尔公式
?a或(b和c)

我希望将其转换为CNF
即
(a和b)或(a和c)

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

解决方法

如果你想自己实现它,这里有一个如何使用 Linq表达式公式的例子. sample program推导并简化了公式,这不是您想要做的,但足够接近有用.

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

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!