4.7 多输出函数的自动综合
4.7.3 判别质蕴涵项的E算法