问题 问答题 简答题

子句集的化简的步骤?‘

答案

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

单项选择题
判断题