命题公式与真值表的应用

第1关：熟悉命题联接词真值定义

#include
#include
using namespace std;
int main() {
	int p, q, a[5];
    while(cin>>p>>q)
	{
	a[0] = !p; 
    a[1] = p & q; 
    a[2] = p | q;
	p == 1 && q == 0 ? a[3] = 0 : a[3] = 1;
	p == q ? a[4] = 1 : a[4] = 0;
	for (int i = 0; i < 5; i++) {
	if (i != 0) printf(" ");
	printf("%d", a[i]);
	}
    cout<

第2关：生成单个命题公式的命题变元字典
#include
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 

第4关：生产命题变元的真值指派

#include
#include
#include 
using namespace std;
const int Maxsixe = 100;

int main() {
	char Mond[Maxsixe] = "";//命题变元字典
	char value[Maxsixe];//命题变元的一个真值指派
	int lenM = 0;//命题变元个数
	while(cin >> Mond){
		lenM=strlen(Mond);
		cout << Mond << endl;
		for (int i=0;i=0;j--)
			{
				if(value[j]=='2')//判断是否为2
				{
					value[j]-=2;//大于二进一	 
					value[j-1]++;//前一位数加一 
				} 
			}
			cout << value << endl;
		}
	}
	return 0;	
}