标签: 综合逻辑