BJ图相关论文
介绍函数最大项展开式与K图、规范RM展开式与bj图的特点与性质,分析K图和bj图的相似性,举例说明基于重心的K图和bj图间转换方法,并在......
分析了K图的性质,发现在K图中过某格的所有聚合圈相应的各乘积项所含变量与该格对应的最小项均有相同的极性,在此基础上提出了得到......
利用bj图的读图规则和积项中变量数图对bj图的性质作了进一步的研究,提出了若干新的性质,给出了相应的证明.此外,文中还讨论了它们......
分析了逻辑函数的OC展开式与RM展开式,利用异或运算和符合运算的性质,推导了dj展开系数与bj展开系数的关系.在此基础上提出了基于......
在互斥变量K图、bj图的基础上提出了逻辑函数的互斥变量dj图,给出了全/部分互斥变量dj图的化简方法及实例.此外,文中还讨论了互斥......
从函数最小项系数与基于(0,1)空间的谱系数以及bj系数的关系出发,引进了n-bj系数,进而提出了(0,1)空间的谱系数与bj系数的互换算法......
冗余函数和自反函数是特殊的布尔函数,本文阐述了冗余函数和自反函数的定义,提出了冗余函数和自反函数的性质,讨论了冗余函数和自反函......
自双反函数和自反函数为特殊布尔函数.本文讨论了自双反函数和自反函数的定义和性质,给出了基于bj图获得变量全部取反的逻辑函数f(x1^......
线性函数是布尔代数中常用的特殊函数之一,本文根据线性函数、部分线性函数的定义与性质,提出了检测线性函数与部分线性函数六个定理......
旋转对称函数为特殊布尔函数,本文阐述了旋转对称函数的定义,提出了旋转对称函数的性质,并给出了相应的证明,讨论了该函数在k图、b......
在研究或、符合代数系统的基础上,本文根据逻辑函数bj系数和dj系数的关系,提出了bj图和dj 图之间的图形转换方法,并举例说明转换......
本文讨论了基于“与”-“或”-“非”代数系统和基于“与”-“异或”代数系统的两类基本对称函数的定义和任意对称函数在这两类对......
分析了逻辑函数在部分变量取反时的bj图和降维bj图,在此基础上提出了用bj图和降维bj图计算逻辑函数的一阶布尔差分和二阶布尔差分的......
阐述了自双反函数的bj图系数的特征,给出了基于缺项聚合圈的判定方法,并提出了自双反函数bj图与K图的互换图形方法。研究表明,图形互......
图形化简法是逻辑函数化简的有效工具。bi图和西图分别是RM展开式、CRM展开式的图珏表示。通过对RM展开式、CRM展开式系数关系的分......
在互斥变量K图的基础上提出了逻辑函数的互斥变量bj图,给出了全/部分互斥变量bj图的化简方法及实例.此外,文中还讨论了互斥变量K图......