file.cpp

离散数学真值表求值

#include "Stdafx.h"
#include "file.h"
//int canshu[20];
//extern int Arry[11];
int f(int s)
{
	int qian1=0;
	int qian2=0,hou2=0,x2=0,y2=0;
	int qian3=0,hou3=0,x3=0,y3=0;
	int qian4=0,hou4=0,x4=0,y4=0;
	int qian5=0,hou5=0,x5=0,y5=0;
	if(s==33)
	{
			
			qian1=canshu[fs];		
			fs++;
			if(fs==as)
				fs=0;

		return (!f(qian1));
	}
	if(s==38)
	{
		
			qian2=canshu[fs];		
			fs++;
			if(fs==as)
				fs=0;
			x2=f(qian2);
			hou2=canshu[fs];
			fs++;
			if(fs==as)
				fs=0;	
		y2=f(hou2);
	
		return(x2&&y2);
	}
	if(s==124)
	{	
			qian3=canshu[fs];		
			fs++;
			if(fs==as)
				fs=0;
			x3=f(qian3);
			hou3=canshu[fs];
			fs++;
			if(fs==as)
				fs=0;		
		y3=f(hou3);			
		return(x3||y3);
	}
	if(s==45)
	{
			qian4=canshu[fs];		
			fs++;
			if(fs==as)
				fs=0;
			x4=f(qian4);
			hou4=canshu[fs];
			fs++;
			if(fs==as)
				fs=0;		
		y4=f(hou4);
		if((y4==0)&&(x4==1))		
			return 0;
		else
			return 1;
	}
	if(s==60)
	{		
			qian5=canshu[fs];		
			fs++;
			x5=f(qian5);
			hou5=canshu[fs];
			fs++;
			if(fs==as)
				fs=0;		
		y5=f(hou5);
		if(x5==y5)
			return 1;
		else
			return 0;
	}
	if(s==10)
		return Arry[10];
	if(s==9)
		return Arry[9];
	if(s==8)
	return Arry[8];
	if(s==7)
	return Arry[7];
	if(s==6)
		return Arry[6];
	if(s==5)
		return Arry[5];
	if(s==4)
		return Arry[4];
	if(s==3)
		return Arry[3];
	if(s==2)
		return Arry[2];
	if(s==1)
		return Arry[1];
	else
	{
//		cout<<" error! try again"<<endl;
		return 100;
	}
}
int mi(int x)
{
	if(x>0)
		return 2*mi(x-1);
		return 1;
}