或一符合代数系统中的表格方法及其应用-电路与系统专业论文.docxVIP

或一符合代数系统中的表格方法及其应用摘要 或一符合代数系统中的表格方法及其应用 摘要 近代数字理论的研究与发展历来与研究的工具与方法息息相关，从传统的与 或非代数系统中的真值表方法、卡诺图到与一异或代数系统中的bi图，以及由程 捷等提出的dj图，它们的提出都极大地推动了近代数字理论研究方法论上的重大 进步。而表格方法作为研究近代数字理论的方法，其应用范围也相当广泛。 本文重点论述了在或一符合代数系统中的表格方法及其应用。 结合或一符合代数系统的性质特点，提出了和项表的概念，论述了和项表的 特点和性质，同时描述了如何实现和项表与传统逻辑表格表示—一真值表之间转 换的方法与流程，提出了降维和项表与互斥变量和项表的概念和如何对于和项表 实现降维操作的方法。此外，本文在回顾GFOC的基础上，提出了在固定极性 下，利用表格方法实现各种极性下函数和项表的转换，从转换结果中按照和项及 变量数最少的标准实现GFOC的化简。参考利用di图化简互斥变量逻辑函数的 方法，提出了利用表格法化简互斥变量逻辑函数的方法，实现了对于互斥变量逻 辑函数的化简。最后结合笔者曾经的对于通用逻辑门的研究，提出了如何利用降 维表格法寻找三变量通用逻辑门的方法；同时论述了表格方法在检测对称函数、 其他特殊逻辑函数以及计算函数一阶、二阶布尔偏导数的应用。 通过这些研究，可以看到表格方法作为一种类似于K图、b；图、dj图的逻辑 函数研究工具，在近代数字理论的发展过程中同样具有重要意义和广阔的应用空 间。 关键词：和项表，降维和项表，表格法化简，表格法应用 或一符合代数系统中的表格方法及其应用Abstract 或一符合代数系统中的表格方法及其应用 Abstract fnle development ofthe meLhodology in Modem Digital Theory is firmly related to the Modem Digital Theory．From traditional Boolean Digital algebra systera’S truth table method,Karnaugh map to AND-XOR bj map,and OR-Coincidence djmap，they gave huge improvement to the development of the methodology of Modem Digital Theory．And tabular method as the way of research of Modern Digital Theory has been used for a long time,too． n圮dissertation is focused on the Tabular Method and its application in the OR-Coincidence algebra system． First ofall．the concept ofsum-tel-m table was propose1he feature ofsum-term table，the transform oftruth table and sum-term table was discussed．Furthermore，we proposed reduced-dimension 8urn-term table and sum-term table with mutually exclusive variables．Also，we presented the reduced-dimension method． Secondary,on the basis of GFOC．we proposed the method how to transfer the sum-term table between different polarities when it’s the fixed-polarity．From the result ofdifferent polarities,it啪be confmned which is the simplest expansion ofall． When it oDme5 to the surn-term table with mutually exclusive variables，we also presented the method to simplify its expansion． In the last segraent,the application of sum-term table was proposed．Based on reduc