文章/答案/技术大牛

发布

社区首页 >问答首页 >如何将一系列逻辑表达式转换/形式化为可用于DPLL算法的格式？

问如何将一系列逻辑表达式转换/形式化为可用于DPLL算法的格式？
EN

Stack Overflow用户

提问于 2020-07-19 14:10:53

回答 1查看 21关注 0票数 0

下面是一组逻辑语句：

A: b为false

B: C为false

C: B或A为真

我的任务是将其形式化，以便"DPLL“可以确定是否存在不会导致矛盾的解决方案(哪些规则是真的，哪些是假的)。

问题是:我不知道该怎么做。在线求解器需要某种格式的表达式，就像下面这样：http://www.inf.ufpr.br/dpasqualin/d3-dpll/

如何将我的语句转换为这些数字？

logic

satisfiability

回答 1

Stack Overflow用户

发布于 2020-07-19 21:33:11

您可能会混淆这里的符号:我假设这里有三个语句和三个变量。我将为变量使用小写字母，为语句使用大写字母，以清楚地说明这一点：

Statement A: not b
Statement B: not c
Statement C: a or b

现在用数字替换小写字母：

Statement A: not 2
Statement B: not 3
Statement C: 1 or 2

not应写为负号，or应替换为冒号。现在可以在您链接的SAT求解器中输入生成的三行：

-2
-3
1, 2

它输出1, -2, -3作为解决方案，因此变量a必须为真，而b和c必须为假。

票数 0

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/62976890

复制

相似问题

问如何将一系列逻辑表达式转换/形式化为可用于DPLL算法的格式？
EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问如何将一系列逻辑表达式转换/形式化为可用于DPLL算法的格式？EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问如何将一系列逻辑表达式转换/形式化为可用于DPLL算法的格式？
EN