或一符合代数系中的表格方法及其应用.pdf

或一符合代数系统中的表格方法及其应用 摘要 近代数字理论的研究与发展历来与研究的工具与方法息息相关，从传统的与 或非代数系统中的真值表方法、卡诺图到与一异或代数系统中的bi图，以及由程 捷等提出的dj图，它们的提出都极大地推动了近代数字理论研究方法论上的重大 进步。而表格方法作为研究近代数字理论的方法，其应用范围也相当广泛。 本文重点论述了在或一符合代数系统中的表格方法及其应用。 结合或一符合代数系统的性质特点，提出了和项表的概念，论述了和项表的 特点和性质，同时描述了如何实现和项表与传统逻辑表格表示—一真值表之间转 换的方法与流程，提出了降维和项表与互斥变量和项表的概念和如何对于和项表 实现降维操作的方法。此外，本文在回顾GFOC的基础上，提出了在固定极性 下，利用表格方法实现各种极性下函数和项表的转换，从转换结果中按照和项及 变量数最少的标准实现GFOC的化简。参考利用di图化简互斥变量逻辑函数的 方法，提出了利用表格法化简互斥变量逻辑函数的方法，实现了对于互斥变量逻 辑函数的化简。最后结合笔者曾经的对于通用逻辑门的研究，提出了如何利用降 维表格法寻找三变量通用逻辑门的方法；同时论述了表格方法在检测对称函数、 其他特殊逻辑函数以及计算函数一阶、二阶布尔偏导数的应用。 通过这些研究，可以看到表格方法作为一种类似于K图、b；图、dj图的逻辑 函数研究工具，在近代数字理论的发展过程中同样具有重要意义和广阔的应用空 间。 关键词：和项表，降维和项表，表格法化简，表格法应用 或一符合代数系统中的表格方法及其应用 Abstract fnle ofthe inModem is related meLhodology Theoryfirmly development Digital tothe traditionalBoolean truth ModemTheory．From Digitalalgebrasystera’S Digital to table AND-XOR OR-Coincidence method,Karnaughmap bjmap,and djmap，they tothe ofthe ofModem gavehugeimprovementdevelopmentmethodologyDigital asthe has tabularmethod ofresearchofModern Theory Theory．And way Digital beenusedfora time,too． long isfocusedontheTabularMethodandits inthe n圮dissertation application OR-Coincidence algebrasystem． Firstofall．the ofsum-tel-mtablewas featureofsum-term concept propose1he sum-termwas