我在理解下一个练习时遇到了问题。我们如何理解是否需要建议？
应用DPLL算法通过以下建议证明 ~ p 是必然的：
( ~q | ~r ) & ( ~q | r ) & ( ~p | q ) & p
q = 真
( ~q | ~r ) & ( ~q | r ) & p
删除~q
~r & r & p
r = 真
〜r＆p
删除~r
p 最终结果。
有人可以解释一下是否包含p以及为什么？
我在理解下一个练习时遇到了问题。我们如何理解是否需要建议？
应用DPLL算法通过以下建议证明 ~ p 是必然的：
( ~q | ~r ) & ( ~q | r ) & ( ~p | q ) & p
q = 真
( ~q | ~r ) & ( ~q | r ) & p
删除~q
~r & r & p
r = 真
〜r＆p
删除~r
p 最终结果。
有人可以解释一下是否包含p以及为什么？