Q-M法（列表法）化简 C++ 实现

SmartpearQAQ

已于 2023-09-22 16:44:04 修改

阅读量6k

点赞数 16

文章标签： c++ 算法

于 2022-03-17 21:34:37 首次发布

本文链接：https://blog.csdn.net/m0_61031336/article/details/123554018

版权

本文介绍了使用C++编程实现逻辑代数中的Q-M化简方法，通过查找质蕴含项和实质蕴含项来简化逻辑函数表达式。详细阐述了Q-M化简的步骤，包括最小项的合并、质蕴含项和实质蕴含项的判断，以及最佳覆盖的寻找。此外，还讨论了无关项在化简过程中的作用，并提供了源码链接供读者参考。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

逻辑代数是学习数电基础。虽然实际过程中数字电路的自动化设计计数早已取代了手工处理过程，但是学习化简过程也具有重要的意义（平时作业有啊，还不给答案！），所以用C++ 写了在已知最小项和无关项情况下采用Q-M（列表化简）法，得出最简表达式。

首先看几个概念：

蕴涵项是一个乘积项，覆盖了一个逻辑函数的一些最小项。

 质蕴涵项 (prime implicant) ：没有被该函数的其它蕴涵项所覆盖的蕴涵项。

 实质蕴涵项 (essential prime implicant) ：至少包含一个最小项不能被任何其它质蕴涵项集合覆盖的质蕴涵项。

 如果逻辑函数的所有最小项都被一组的质蕴涵项所覆盖，则该组蕴涵项被称为函数的一个覆盖。

 最小覆盖是一个包含最少的质蕴涵项和最少的变量数的覆盖。

例如：字母大写表示 1 小写表示0

最小项：m=2 （0010:abCd) ; m=6 (0110:aBCd) 就是一个蕴含项，但是他们不是质蕴含项，因为他们可以合并嘛：表示为：aCd:0-10 (这也是逻辑代数能化简的原因)。所以最后可以不能被合并的蕴含项就是质蕴涵项。实质蕴含项就是存在一个最小项，而其它质蕴涵项中都没有这个最小项。观察发现，只有相差一位“1”的才能合并。所以先将最小项根据1的数量按照顺序排列，再合并。

开始Q-M化简：（先考虑只有最小项的情况，无关项在完成最小项基础上加一个条件就好了（我的代码是这样的））

先定义一个类，就叫他最小项类：

注意：

Num_of_group：指的是合并组数，只有同一组才能合并。例如上图中：单个最小项：m=2和m=6是同一组，合并后m=2,6 为下一组。规定：输入的最小项为组数0，每合并一次，组数加1。

Include_LT：将合并的最小项存储起来，Include_LT_lenth：储存最小项的个数。例如：

单个输入最小项m=2, Include_LT[0]=2,Include_LT_lenth=1; 一次合并m=2,6，Include_LT[0]=2, Include_LT[1]=6, Include_LT_lenth=2;

按照上述：完成最小项的输入与储存。存到

注意：AT_lenth为储存的最小项类长度，并非输入的最小项长度。后续操作，每合并最小项一次，AT_lenth长度都会加一。

我们也将输入另外存入一个数组，方便后续使用：

注意：Input_m数组是按照顺序存入,而Input_m_Mark[a][2]中a代表最小项数据。比如按照2,4,6...输入最小项，则Input_m[0]=2, Input_m[1]=4...Input_m_Mark[2][0]=0（最小项2的输入顺序），Input_m_Mark[2][1]=标记标志（后续操作的标志）。int Input_mLenth ：输入的最小项长度;

第一步：查找质蕴涵项

完成最小项存入后，开始合并，最终得到所有的质蕴含项。两个判断：同一组，1的数量差一位就合并。将合并的新类加在AT_L末尾，并且统一将LowestTerm_m取少一位1的最小项，如m=2,6(0-10)中LowestTerm_m=2，并将被合并的最小项类合并标志combine_Flag置1；

注意：合并后，将合并位标记。如m=2 （0010) + m=6 (0110) >> m=2,6(0-10),第二位“-”。并且，合并时，对应的"-"必须一致。如：m=8,9(100-) + m=12,13(110-) >>m=8,9,12,13(1-0-)。

	AT_lenth=QM_input(AT_L);
	cout << "---------  第一步查找质蕴含项  ---------" << endl;
	for (int i = 0; i < AT_lenth; i++)
	{
		for (int j = 0; j < AT_lenth; j++)
		{
			//Num_of_group 同一组检测
			if (AT_L[j].show_Num_of_group() == AT_L[i].show_Num_of_group())
			{
				//Num_of_1 差一位检测
				if (AT_L[j].show_Num_of_1() - AT_L[i].show_Num_of_1() == 1)
				{
					combineATcheck(AT_L[i], AT_L[j]);
				}
			}
		
		}
	}

循环结束后，我们就得到了，所有的质蕴含项：即最小项类合并标志combine_Flag为0。

但是，我们发现，质蕴含项中并不是互斥的。如最后的两组：均为1-0-，由下图可知：

经过不同组合的合并，最终可能得到一样的质蕴含项。所以我们需要检测，并去掉多余的相同质蕴含项。这里，我建立的一个新类，用于单独存储互斥的质蕴含项，就叫他质蕴含项类。

注意：RecordaddrIN_LSList：记录原最小项类数组中位置,方便返回寻找对应的最小项类。

IncLT_List[10]和IncLT_length就是最小项类中对应数组。

Real_RI_Flag：实质蕴含项的标志。

赋值到质蕴含项类数组：

//赋值质蕴含项类数组
Rime_Implication RI_list[500];
int RI_lenth=0; 


void RI_list_Get()
{
	for (int i = 0; i < AT_lenth; i++)
	{
		//判断是否为质蕴含项
		if (!AT_L[i].combine_Flag)
		{
			//判断是否已存在相同的质蕴涵项
			if (Check_New_RI(AT_L[i], RI_lenth))
			{
				RI_list[RI_lenth].LT_to_RI(AT_L[i], i);
				RI_lenth++;
			}			
		}
	}
}

打印输出，我们发现已经将重复项去除了。

好了，至此我们得到质蕴含项类数组RI_list。

第二步：建立质蕴含表，并得到实质蕴涵项。

如上图，逻辑很简单，就看看一个最小项是否只属于一个质蕴涵项，那么这个质蕴涵项就是实质蕴涵项。如m=9 就只属于m=8,9,12,13这个质蕴含项，那它就是实质蕴涵项。

我们用二维数组来存最小项属于的质蕴涵项。例如：

上图中最小项m=2属于PI2,PI3,则RI_Map[2][0]= PI2在质蕴涵项类数组中的角标，RI_Map[2][1]= PI3在质蕴涵项类数组中的角标，RI_mLenth[2]=2;

void RI_Picture()
{
	//初始化
	for (int i = 0; i <50; i++)
	{
		RI_mLenth[i] = 0;
		for (int j = 0; j <50; j++)
		{
			RI_Map[i][j] = 0;			
		}
	}

	for (int i = 0; i < RI_lenth; i++)
	{
		for (int j = 0; j < RI_list[i].IncLT_length; j++)
		{		
			//记录次最小项数值->对应 RI_Map[]和RI_mLenth[] 下标
			int tmp_addr = RI_list[i].IncLT_List[j];
			RI_Map[tmp_addr][ RI_mLenth [tmp_addr] ]=i;
			RI_mLenth[tmp_addr]++;
		}
	}
}

至此，我们得到了完整的质蕴含表：