-1

是子句 { { } } ≡ { } 吗？子句是 CNF 形式的。我试着想了想，所以最终的解决方案，根据我的说法应该是该陈述是正确的。理解是否正确？

4

1 回答 1

0

这取决于您使用的特定符号（来自一本书？来自讲座？）但在这种情况下，我希望它是：

  1. { {} } 是单个空析取的合取，相当于那个空析取，它的值是析取的标识元素（考虑/记住那是什么）。

  2. {} 是空连词，它的值是连词的标识元素。

因为这些值不同，所以子句不等价。

于 2021-10-05T18:08:51.967 回答