本源蕴涵相关硕士博士期刊学术论文

本文提出了一个有效的化简布尔函数的算法。本源蕴涵项是通过小项的编码运算获得的。使用该算法可得到一个函数的近似最小化解,其......