含无关项布尔函数的对称变量检测算法
DOI: 10.3785/j.issn.1008-9497.2017.02.011
Keywords: 对称变量,有序特征值矩阵,布尔函数,真值表,任意项
Abstract:
摘要 为简化布尔函数中12类对称变量的检测过程，提出了含无关项布尔函数基于最小项展开系数的对称变量检测算法.该算法通过判别布尔函数有序特征值矩阵的约束条件以实现对称变量的快速检测.应用结果表明，与现有方法相比，算法在适用的布尔函数变量数、检测类型、检测含无关项布尔函数和检测过程的复杂度方面表现较优
Full-Text
