广义相容算法在实际应用中的改进

摘要

广义相容算法是逻辑综合理论中用于求解函数列阵质蕴涵项的常用算法，它适用范围较广，可直接用于多输出函数的质蕴涵项计算。