问题
问答题 简答题
子句集的化简的步骤?‘
答案
参考答案:(1)消去连接词“→”和“↔”(2)减少否定符号的辖域(3)对变元标准化(4)化为前束范式(5)消去存在量词(6)化为Skolem标准形(7)消去全称量词(8)消去合取词(9)更换变量名称
子句集的化简的步骤?‘
参考答案:(1)消去连接词“→”和“↔”(2)减少否定符号的辖域(3)对变元标准化(4)化为前束范式(5)消去存在量词(6)化为Skolem标准形(7)消去全称量词(8)消去合取词(9)更换变量名称