范式相邻项相关硕士博士期刊学术论文

Carnot图是逻辑函数化简的一种图表。本文探讨了将该图用于逻辑恒等式的证明。导出了这种方法证明的理论根据,给出了用此方法证明......