基于b_j图计算逻辑函数布尔差分的新方法

分析了逻辑函数在部分变量取反时的bj图和降维bj图,在此基础上提出了用bj图和降维bj图计算逻辑函数的一阶布尔差分和二阶布尔差分的图形方法.实例表明,该图形方法有直观、简单等特点.它能给出逻辑函数布尔差分的最简与/异或式.

互斥变量b_j图及其应用

在互斥变量K图的基础上提出了逻辑函数的互斥变量bj图,给出了全 部分互斥变量bj图的化简方法及实例.此外,文中还讨论了互斥变量K图与互斥变量bj图的转换方法.

关于b_j图的性质及应用

利用bj图的读图规则和积项中变量数图对bj图的性质作了进一步的研究,提出了若干新的性质,给出了相应的证明.此外,文中还讨论了它们的应用,并用实例作了说明.本文的讨论揭示了bj图的内在规律,有助于开拓bj图的应用领域.

基于图形方法的最小项展开系数与Reed-Muller展开系数之间的转换

通过研究布尔函数二类规范展开形式之间的关系,在综述现有图形转换方法的基础上,对原有的图形方法作了补充,从而进一步揭示了最小项展开系数与Reed-Muller展开系数之间的内在联系,形成了较为完整的图形转换方法.

互斥变量d_j图及其应用

在互斥变量K图、bj 图的基础上提出了逻辑函数的互斥变量dj图,给出了全/部分互斥变量dj图的化简方法及实例.此外,文中还讨论了互斥变量K图、bj图与互斥变量dj 图的转换方法.该法有效地压缩了dj 图的规模,并扩大了dj图的应用范围.

检测逻辑函数对称性的新方法

本文论述了逻辑函数的Ｒｅｅｄ－Ｍｕｌｌｅｒ展开及ｂ＿ｊ系数图，在此基础上提出了直接检测基于Ｒｅｅｄ－Ｍｕｌｌｅｒ展开的逻辑函数的对称性的新方法。

THE TERNARY b_j MAP AND ITS APPLICATIONS

Because man receives the vast amounts of information with visual sense, map representations and map manipulations are widely used in researching of various problems, and for the investigations of logic algebra. For binary logic, the K-map, the b_j coefficient map and the R_j

The Mapping Synthesis of Ternary Functions under Fixed Polarities

This paper proposes a mapping method simplifying the Reed-Muller expansion(“RM expansion”)of a ternary function under fixed polarities and the transformation of the RM expansion coefficients with different fixed polarities.