问题 F: 真值表(Ⅰ)

题目描述

      同学们都学习过《离散数学》这门课程，知道真值表是用于逻辑中的一类数学用表，用来计算逻辑表示式在每一个逻辑变量取值组合下的值。在这里我们给定一个逻辑表达式，要求生成对应的真值表。提示一下，数据结构教材中介绍了数学表达式的处理算法，可以将其改造以适用于我们的项目。
      项目分为三个子项目，第一部分为词法分析，即将逻辑表达式分隔为多个词(token)。下面给出两个例子。
例一：
        逻辑表达式p^q中有p、^和q共三个词;
例二：
        逻辑表达式p^(q^r)中有p、^、（、q、^、r和）共七个词。


逻辑联结词有五个，见下表，这些符号和教材上的有所不同，主要是为了方便。

否定	合取	析取	蕴涵	等值
!	^	||	->	<->

 

引入括号，规定基本逻辑联接词优先顺序从高到低依次是：( )、!、∧、||、->、<->。 同一优先级，从左到右顺序进行。

 

输入

输入由多行组成，每行都是一个正确的逻辑表达式。


逻辑表达式小于100个字符。
一个正确的逻辑表达式可以包含小写字母，空格和逻辑联结词（含括号）。单个小写字母表示一个逻辑变量，一个表达式中逻辑变量的个数不超过10。空格作为分隔符, 不是词，同一个词的字符之间不能有空格。

输出

每一个逻辑表达式产生如下的输出：
第一行按顺序输出表达式中的所有词。每个词之间用空格分开。
第二行按字母序输出表达式中的所有逻辑变量，用空格分开。
第三行开始输出逻辑变量值的所有组合情况。


具体见样例。

样例输入 Copy

p
p->q
p||q

样例输出 Copy

p
p
1
0
p -> q
p q
1 1
1 0
0 1
0 0
p || q
p q
1 1
1 0
0 1
0 0

代码

#include<stdlib.h>
#include<stdio.h>
#include<string.h>
#include<math.h>
int main(){
	char s[103];
	while(gets(s)){
		int sum=strlen(s);int flag=0;
		for(int i=0;i<sum;i++){
			if(s[i]!=' ')printf("%c",s[i]);
			if(s[i]<='z'&&s[i]>='a'){
				flag++;
			printf(" ");}
			if(s[i]!=' '&&!(s[i]<='z'&&s[i]>='a')&&!(s[i]=='-'&&s[i+1]=='>')&&!(s[i]=='|'&&s[i+1]=='|')&&!(s[i]=='<'&&s[i+1]=='-'&&s[i+2]=='>')&&!(s[i-1]=='<'&&s[i]=='-'&&s[i+1]=='>')&&!(s[i-2]=='<'&&s[i]=='-'&&s[i+1]=='>'))printf(" ");
		} 	printf("\n");
	for(int i=0;i<sum;i++)for(int j=0;j<sum;j++)if(s[i]==s[j]&&i!=j&&s[i]<='z'&&s[i]>='a'){
		s[i]='1';flag--;
	}for(int i=0;i<sum;i++)for(int j=0;j<sum;j++){
		if(i<j&&s[i]>s[j]&&s[i]<='z'&&s[i]>='a'&&s[j]<='z'&&s[j]>='a'){
			char l=s[i];
			s[i]=s[j];
			s[j]=l;
		}
	}
		for(int i=0;i<sum;i++)if(s[i]<='z'&&s[i]>='a')printf("%c ",s[i]);
		printf("\n");
			for(int j=1;j<=pow(2,flag);j++){
			int f=	pow(2,flag);
			int d=flag-1;int k=(j-1)%f;
			if(j==pow(2,flag)+1)k=pow(2,flag);		
			for(int i=0;i<sum;i++){
		if(s[i]<='z'&&s[i]>='a'){
			int b=pow(2,d);
			if(b==1){int c=j/b;	if((c%2==0))printf("0 ");
			else printf("1 ");
			}else {int c=k/b;	if((c%2==0))printf("1 ");
			else printf("0 ");
			}
			d--;
		}
	}	printf("\n");
	}

}
	return 0;
}