我最近一直在尝试学习逻辑,但我遇到了一个我做不到的查询,我不太确定我哪里出错了。将查询转换为 CNF 时,遇到这种特殊情况会怎么做?
(a AND NOT(b AND c)) AND (d OR e)
= (a AND NOT b) OR (a AND NOT c) AND (d OR e)
=
我将如何重新安排它以使其成为 CNF 形式?我做错了什么吗?
谢谢你的帮助,肖恩
我最近一直在尝试学习逻辑,但我遇到了一个我做不到的查询,我不太确定我哪里出错了。将查询转换为 CNF 时,遇到这种特殊情况会怎么做?
(a AND NOT(b AND c)) AND (d OR e)
= (a AND NOT b) OR (a AND NOT c) AND (d OR e)
=
我将如何重新安排它以使其成为 CNF 形式?我做错了什么吗?
谢谢你的帮助,肖恩