组合逻辑减少。