综合逻辑