消解算法总结

#include <stdio.h>
#include <string.h>
#include <math.h>
const int N = 1010;
int s[N][30];//用于存储简单析取式
int num0, num1, num2;//控制s0,s1,s2三个集合之间的转换，仍然利用s数组存储
char str[N];
int c[30];
void cunchu(char str[])//存储简单析取式，利用字母进行存储
{
	memset(s, 0, sizeof(s));
	int len = strlen(str);
	num0 = num1 = -1; num2 = 0;//num2控制总共简单析取式的数量
	int i = 0;
	while (i < len)
	{
		if (str[i] >= 'a'&&str[i] <= 'z')
		{
			s[num2][str[i] - 'a'] = 1;//正值记为1
		}
		else if (str[i] == '&')num2++;
		else if (str[i] == '!')
		{
			s[num2][str[++i] - 'a'] = 2;
		}
		i++;
	}
}
bool same(int s[],int c[])//判断是否相同，不相同则放入集合s2中
{
	for (int i = 0; i < 26; i++)
	{
		if (s[i] != c[i])
			return false;
	}
	return true;
}
bool judge(int c[])//循环进行检验是否有重复，无重复返回正值
{
	for (int i = 0; i < n