在数字集成电路设计中，逻辑综合是对逻辑函数描述的转换和优化，生成与逻辑功能描述等价优化的逻辑结构级描述。逻辑综合的作用是在功能等价的条件下减少电路中的元件数目，从而使电路体积减少，能耗降低，故障率下降，稳定度提高。 本文对集成电路多输出函数逻辑优化算法进行了系统深入的分析研究，研究主要内容包含多输出逻辑函数实质蕴涵项的选取，覆盖问题的求解，以及使覆盖无冗余。在对算法进行分析研究的基础上，对部分算法进行改进；实现了逻辑优化结果的最小造价，降低时空复杂度。 在多输出逻辑表示的数学模型和优化策略实现的基础上，描述了怎样用二值逻辑优化软件OPLG实现多值逻辑函数的优化方法，讨论了多输出函数的蕴涵项扩展的实现算法，讨论了多输出函数的全域判断算法及多输出逻辑函数的无冗余覆盖选择算法，对逻辑函数的三种求补算法进行了分析综合，并对逻辑函数求补算法进行了部分的改进，同时对基于最小项逻辑函数优化的测试技术进行了研究和讨论。