问题
问答题 简答题
子句集的化简的步骤?‘
答案
参考答案:(1)消去连接词“→”和“↔”(2)减少否定符号的辖域(3)对变元标准化(4)化为前束范式(5)消去存在量词(6)化为Skolem标准形(7)消去全称量词(8)消去合取词(9)更换变量名称
子句集的化简的步骤?‘
参考答案:(1)消去连接词“→”和“↔”(2)减少否定符号的辖域(3)对变元标准化(4)化为前束范式(5)消去存在量词(6)化为Skolem标准形(7)消去全称量词(8)消去合取词(9)更换变量名称
根据下表,回答116-120题。
2005-2008年全年主要港口7月货运吞吐量
|
下列说法与资料相符的是:
A.沿海港口合计吞吐量2008年1月的同比增长额高于2007年的
B.2005-2008年,每年7月内河港口合计吞吐量在全国港口货运吞吐总量中所占的比重逐渐降低
C.2008年7月,天津港在全国港口货运吞吐总量中的比重为四年以来同期最高
D.与2005年7月相比,表中2008年7月货运吞吐量增长率最高的港口是一个内河港