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