－合取范式 　－子句集