另一个空子句中的一个空子句是否等同于一个空子句？（以 CNF 形式）

【问题标题】：Is an empty clause within another empty clause is equivalent to an empty clause ?(In CNF form)另一个空子句中的一个空子句是否等同于一个空子句？（以 CNF 形式）
【发布时间】：2021-10-05 10:03:17
【问题描述】：

子句是 { { } } ≡ { } 吗？子句采用 CNF 形式。我尝试过思考，所以根据我的最终解决方案应该是该陈述是正确的。理解正确吗？

【问题讨论】：

标签： java logic computer-science discrete-mathematics conjunctive-normal-form

【解决方案1】：

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

{ {} } 是单个空析取的合取，相当于单个空析取，其值为析取的identity element（考虑/记住那是什么）。
{} 为空连词，其值为连词的标识元素。

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

【讨论】：