组合逻辑优化是数字逻辑电路中一项重要的研究内容。真值表是组合逻辑电路中一种常见的表现形式,同时也是组合逻辑优化技术的桥梁。传统的组合逻辑优化方法有公式法、图形法、列表法以及这些方法的改进算法,但这些传统算法都存在一定程度上的缺陷。粒计算是一个集理论、方法、技术和工具为一体的数学模型,它可以更好地帮助人类解决复杂的问题。虽然粒计算仅有短短几十年的发展,但是粒计算理论已被广泛运用于社会生活的各个领域中,例如,人工智能(AI)、数据挖掘与分析、机器学习等。随着粒计算研究的不断深入及其理论的逐渐成熟,我们尝试把粒计算理论运用于组合逻辑电路优化中,并且得到了新的高效算法。本文主要采用了粒计算的思想进行数字逻辑电路的优化,把粒计算与组合逻辑优化相结合,使真值表的约简过程转化为规则提取的过程,并提出了两种新的算法。这两种算法分别适用于多输入多输出(MIMO)的真值表和多输入单输出(MISO)的不完备真值表。首先,本文构建了一种基于粒矩阵的等价关系模型,在该模型中分别定义了等价矩阵和等价关系矩阵,提出了基于等价关系的多输出真值表约简算法。本文通过挖掘等价关系矩阵中的隐含信息,获取最简逻辑规则。另外,通过定义启发式算子加快了算法的收敛速度。本文以七段数码管为实例对算法步骤进行了详细的描述,随后对算法的复杂度进行分析,并通过理论分析证明了所提出算法的有效性。其次,构建了一种基于粒矩阵的相容关系模型,并定义了不完备真值表的表现形式。在不完备真值表的基础上,分别定义了相容矩阵和相容关系矩阵,针对数字逻辑电路中的任意逻辑表达式,提出了基于相容关系的逻辑表达式化简算法。本文根据相容关系矩阵中元素之间的关系,快速地获取不完备真值表中的最简逻辑规则。另外,通过设置算法的终止条件,提高了算法的运行效率。随后,分析了算法的复杂度,并通过实例说明与理论分析,验证了算法的正确性。最后,本文设计了一个基于粒计算的逻辑信息系统的约简平台,此平台可以运行本文提出的两种算法和传统的Q-M真值表约简算法。本文提出的两种算法不仅解决了传统算法中计算过程冗长复杂的问题,使得化简过程更加的简洁明了,还克服了传统算法在大规模数据中的不适用性,更好地解决了大规模逻辑电路的优化问题。