主析取范式

#include<bits/stdc++.h>
using namespace std;
stack<char>optr;
stack<char>opnd;
int cmp[10][10]
{
	{' ','!','!','!','!','<','!','!'},//!
	{'<','>','>','>','>','<','>','>'},//*
	{'<','<','>','>','>','<','>','>'},//|
	{'<','<','<','>','>','<','>','>'},//-
	{'<','<','<','<','>','<','>','>'},//=
	{'<','<','<','<','<','<','=',' '},//(
	{'>','>','>','>','>',' ','>','>'},//)
	{'<','<','<','<','<','<',' ',  '='},//#
};

int in(char c)
{
	int ans;
	switch(c)
	{
		case '!':
			ans=0;
			break;
		case '*':
			ans=1;
			break;
		case '|':
			ans=2;
			break;
		case '-':
			ans=3;
			break;
		case '=':
			ans=4;
			break;
		case '(':
			ans=5;
			break;
		case ')':
			ans=6;
			break;
		case '#':
			ans=7;
			break;
		default:
			ans=8;
	}
	return ans;
}

char precede(char a,char b)
{
	int v1=in(a),v2=in(b);
	return cmp[v1][v2];
}

char operate(char a,char t,char b)
{
	char ans;
	switch(t)
	{
		case '*':
			if(a=='0'||b=='0') ans='0';
			else ans='1';
			break;
		case '|':
			if(a=='0'&&b=='0') ans='0';
			else ans='1';
			break;
		case '-':
			if(a=='1'&&b=='0') ans='0';
			else ans='1';
			break;
		case '=':
			if(a==b) ans='1';
			else ans='0';
	}
	return ans;
}

int give(string s)
{
	optr.push('#');
	char theta,a,b,e;
	for(int i=0; i<s.size(); i++)
	{
		if(in(s[i])==8)
		{
			opnd.push(s[i]);
		}
		else
		{
			e=precede(optr.top(),s[i]);
			if(e=='<')
			{
				optr.push(s[i]);
			}
			else if(e=='=')
			{
				optr.pop();
			}
			else if(e=='>')
			{
				theta=optr.top();
				optr.pop();
				b=opnd.top();
				opnd.pop();
				a=opnd.top();
				opnd.pop();
				opnd.push(operate(a,theta,b));
				optr.push(s[i]);
			}
			else if(e=='!')
			{
				optr.pop();
				a=opnd.top();
				opnd.pop();
				if(a-48) opnd.push('0');
				else opnd.push('1');
				optr.push(s[i]);
			}
		}
	}
	theta=optr.top();
	optr.pop();
	b=opnd.top();
	opnd.pop();
	a=opnd.top();
	opnd.pop();
	return operate(a,theta,b);
}

struct node
{
	char ala;
	int num;
};

int main()
{
	int k=0,t=0,a;
	string s,ss;
	cin>>s;
	ss=s;
	node al[55];
	for(int i=0; i<s.size(); i++)
	{
		if(isalpha(s[i]))
		{
			for(int j=0; j<k; j++)
			{
				if(al[j].ala==s[i]) t=1;
			}
			if(!t)
			{
				al[k++].ala=s[i];
				t=0;
			}
		}
	}
	for(int i=0; i<pow(2,k); i++)
	{
		a=i;
		s=ss;
		for(int j=k-1; j>=0; j--)
		{
			al[j].num=a%2;
			a/=2;
			for(int m=0; m<s.size(); m++)
			{
				if(s[m]==al[j].ala)
				{
					if(al[j].num==0) s[m]='0';
					else s[m]='1';
				}
			}
		}
		if(give(s)-48) cout<<i<<" ";
	}
	return 0;
}