命题集约简相关硕士博士期刊学术论文

求命题集所有可能的约简是二值命题逻辑的一个重要课题．目前的算法都是逐一求单个约简，汇总起来得到所有可能约简．文中应用形式概念的......