检测含无关项特殊布尔函数的表格算法

摘要：

从冗余函数、线性函数、自反函数、自双反函数四类特殊布尔函数的定义出发,讨论了检测含无关项特殊布尔函数的表格算法.该算法应用表格列出布尔函数1值最小项及无关项的二进制编码,取反1值最小项及无关项二进制编码中的相应位产生新项.通过比较新项与原最小项之间的异同实现特殊布尔函数的检测.应用实例表明,表格算法具有快速便捷、适用于多变量函数及易于计算机编程操作等优点.

关键词：无关项、冗余函数、线性函数、自反函数、自双反函数、表格算法

所属期刊栏目：34

分类号：O174(数学分析)

在线出版日期：2019-03-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：15-18