论文部分内容阅读
近代数字理论的研究与发展历来与研究的工具与方法息息相关,从传统的与或非代数系统中的真值表方法、卡诺图到与一异或代数系统中的b<,j>图,以及由程捷等提出的d<,j>图,它们的提出都极大地推动了近代数字理论研究方法论上的重大进步。而表格方法作为研究近代数字理论的方法,其应用范围也相当广泛。
本文重点论述了在或一符合代数系统中的表格方法及其应用。
结合或-符合代数系统的性质特点,提出了和项表的概念,论述了和项表的特点和性质,同时描述了如何实现和项表与传统逻辑表格表示——真值表之间转换的方法与流程,提出了降维和项表与互斥变量和项表的概念和如何对于和项表实现降维操作的方法。此外,本文在回顾GFOC的基础上,提出了在固定极性下,利用表格方法实现各种极性下函数和项表的转换,从转换结果中按照和项及变量数最少的标准实现GFOC的化简。参考利用d<,j>图化简互斥变量逻辑函数的方法,提出了利用表格法化简互斥变量逻辑函数的方法,实现了对于互斥变量逻辑函数的化简。最后结合笔者曾经的对于通用逻辑门的研究,提出了如何利用降维表格法寻找三变量通用逻辑门的方法;同时论述了表格方法在检测对称函数、其他特殊逻辑函数以及计算函数一阶、二阶布尔偏导数的应用。
通过这些研究,可以看到表格方法作为一种类似于K图、b<,j>图、d<,j>图的逻辑函数研究工具,在近代数字理论的发展过程中同样具有重要意义和广阔的应用空间。