摘要： 随着集成电路集成度的提高,逻辑函数的综合也更为复杂。在用代数法求逻辑函数的最佳复盖时,可能因为存在函数过于复杂而得不出解。本文提出一种求存在函数的算法,它可用于任何类型的逻辑表达式,采用树形分解在导出存在函数过程中就进行简化,从而使得出的存在函数比较简单,为复杂逻辑函数的综合提供了一种方法。