【摘 要】
：
近代数字理论的研究与发展历来与研究的工具与方法息息相关，从传统的与或非代数系统中的真值表方法、卡诺图到与一异或代数系统中的b图，以及由程捷等提出的d图，它们的提出都极大
论文部分内容阅读
近代数字理论的研究与发展历来与研究的工具与方法息息相关，从传统的与或非代数系统中的真值表方法、卡诺图到与一异或代数系统中的b<,j>图，以及由程捷等提出的d<,j>图，它们的提出都极大地推动了近代数字理论研究方法论上的重大进步。而表格方法作为研究近代数字理论的方法，其应用范围也相当广泛。
本文重点论述了在或一符合代数系统中的表格方法及其应用。
结合或-符合代数系统的性质特点，提出了和项表的概念，论述了和项表的特点和性质，同时描述了如何实现和项表与传统逻辑表格表示——真值表之间转换的方法与流程，提出了降维和项表与互斥变量和项表的概念和如何对于和项表实现降维操作的方法。此外，本文在回顾GFOC的基础上，提出了在固定极性下，利用表格方法实现各种极性下函数和项表的转换，从转换结果中按照和项及变量数最少的标准实现GFOC的化简。参考利用d<,j>图化简互斥变量逻辑函数的方法，提出了利用表格法化简互斥变量逻辑函数的方法，实现了对于互斥变量逻辑函数的化简。最后结合笔者曾经的对于通用逻辑门的研究，提出了如何利用降维表格法寻找三变量通用逻辑门的方法；同时论述了表格方法在检测对称函数、其他特殊逻辑函数以及计算函数一阶、二阶布尔偏导数的应用。
通过这些研究，可以看到表格方法作为一种类似于K图、b<,j>图、d<,j>图的逻辑函数研究工具，在近代数字理论的发展过程中同样具有重要意义和广阔的应用空间。
其他文献
红外焦平面由于其本身的缺陷，成像效果具有对比度低、噪声大等特点，需要在PC端做一些图像处理算法以提升成像质量。而且，很多时候用户要求能在PC端观察成像图像并调整红外系统的
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
盐胁迫是植物面临的主要非生物胁迫，它严重影响植物的生长，并造成减产。而盐角草(Salicornia europaea L.)可以在1020 mM NaCl下生存，是一种喜盐植物，是抗盐基因的良好供体。本工
近年来，利用声子晶体和声超材料对声波的操控已成为声学领域的研究热点。近零折射率材料具有高透射性与高声速等特点，声波可以在近零折射率材料中产生遂穿效应, 且近零折射率材
一、引言rn数字货币的理论雏形来自1976年哈耶克的《货币的非国家化》.进入21世纪后,金融科技飞速发展, 2009年中本聪等先行者进行了以比特币为基础的数字货币实践.2019年Fac
随着信息技术的发展,嵌入式处理器在人们的生产生活中的应用越来越广泛。设计出具有国内自主知识产权的32位嵌入式处理器不仅对我国的战略安全具有显著意义,同时也有利于打破
问题是数学的心脏，是点燃学生思维的火花，贯穿于数学课堂始终的课堂提问，是教师开启学生心智、促进学生思维发展、增强学生主动参与意识的基本手段，更是提高数学教学效率的核心。
角蝉总科Membracoidea隶属于半翅目Hemiptera头喙亚目Auchenorrhyncha，世界上已经描述的种类约3100余种。叶蝉与角蝉的关系一直存在争议，即角蜱总科内是否应该包括叶蝉（广义角蝉
4月21日，国内首个电力节能院士工作站——山东鲁电电气集团院士工作站在济南成立。市委副书记、市长杨鲁豫和省科技厅厅长翟鲁宁为工作站揭牌。