gpt4 book ai didi

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

转载 作者:行者123 更新时间:2023-11-30 12:49:29 27 4
gpt4 key购买 nike

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

我希望将其转换为 CNFIE。(a 和 b) 或 (a 和 c)

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

最佳答案

如果您想自己实现,这里有一个如何使用 Linq 表达式公式的示例。 sample program推导和简化公式,这并不是您想要做的,但已经足够有用了。

P.S..:如果我没记错的话,在给定起始公式的情况下,可以通过多种方式在 CNF 或 DNF 中表达相同的公式。您可能希望以某种方式对其进行规范化,以获得始终一致的内容。

关于c# - 如何将 bool 公式转换为 CNF 或 DNF,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/11491701/

27 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com