试题详情
简答题子句集的化简的步骤?‘
  • (1)消去连接词“→”和“↔”(2)减少否定符号的辖域(3)对变元标准化(4)化为前束范式(5)消去存在量词(6)化为Skolem标准形(7)消去全称量词(8)消去合取词(9)更换变量名称
  • 关注下方微信公众号,在线模考后查看

热门试题