问题 F: 真值表(Ⅰ)
时间限制: 1 Sec 内存限制: 128 MB
提交: 4527 解决: 469
[状态] [提交] [命题人:cyh]
题目描述
同学们都学习过《离散数学》这门课程,知道真值表是用于逻辑中的一类数学用表,用来计算逻辑表示式在每一个逻辑变量取值组合下的值。在这里我们给定一个逻辑表达式,要求生成对应的真值表。提示一下,数据结构教材中介绍了数学表达式的处理算法,可以将其改造以适用于我们的项目。
项目分为三个子项目,第一部分为词法分析,即将逻辑表达式分隔为多个词(token)。下面给出两个例子。
例一:
逻辑表达式pq中有p、和q共三个词;
例二:
逻辑表达式p(qr)中有p、、(、q、、r和)共七个词。
逻辑联结词有五个,见下表,这些符号和教材上的有所不同,主要是为了方便。
否定
合取
析取
蕴涵
等值
! ^
||
-> <->
引入括号,规定基本逻辑联接词优先顺序从高到低依次是:( )、!、∧、||、->、<->。 同一优先级,从左到右顺序进行。
输入
输入由多行组成,每行都是一个正确的逻辑表达式。
辑表达式小于100个字符。
一个正确的逻辑表达式可以包含小写字母,空格和逻辑联结词(含括号)。单个小写字母表示一个逻辑变量,一个表达式中逻辑变量的个数不超过10。空格作为分隔符, 不是词,同一个词的字符之间不能有空格。
输出
每一个逻辑表达式产生如下的输出:
第一行按顺序输出表达式中的所有词。每个词之间用空格分开。
第二行按字母序输出表达式中的所有逻辑变量,用空格分开。
第三行开始输出逻辑变量值的所有组合情况。
具体见样例。
样例输入
p
p->q
p||q
样例输出
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<iostream>
#include<cstring>
#include<cmath>
using namespace std;
int Node[50];
int number;
int Calculate(char x)//计算偏移
{
if(x>=97&&x<=122) return 0;
switch(x)
{
case '!':
case '^':
case '(':
case ')':
return 1;
case '|':
case '-':
return 2;
case '<':
return 3;
default:
return 1;
}
}
int CalculateOut(string &Word,int n,int m)//输出||、->、<->,等等
{
int i;
if(m!=0)
{
for(i=1; i<m; i++)cout<<Word[n+i];
if(Word[i+n]!='\0')
cout<<" ";
}
}
int Input(string &Word)//输出数据
{
int m,i,tag,q;
number=0;
for(i=0; Word[i]!='\0'; )
{
q=i;
if(Word[i]==' ')
{
i++;
continue;
}
cout<<Word[i];
tag=Calculate(Word[i]);
CalculateOut(Word,i,tag);
i+=tag;//偏移
if(!tag)//数字计数
{
Node[Word[q]-97]++;
number++;
if(Word[i+1]!='\0')
cout<<" ";
i++;
}
}
cout<<endl;
return number;
}
int Bin(int n,int m)
{
int bin[10000];
int a,b,i=0;
do
{
a=n%2;
n/=2;
bin[i++]=a;
}
while(n>0);
for(n=0; n<m-i; n++)
{
cout<<"0 ";
}
for(n=i-1; n>=0; n--)
{
cout<<bin[n];
if(n) cout<<" ";
}
}
int Outnumber(int n)
{
int i,m=1;
for(i=1; i<n; i++)
{
m=m*2+1;
}
for(i=m; i>=0; i--)
{
Bin(i,n);
cout<<endl;
}
}
void CoutNode()
{
int i,temp=0;
for(i=0; i<50; i++)
{
if(temp==0&&Node[i]!=0)
{
cout.put(97+i);
temp++;
}
else if(Node[i]!=0)
{
cout<<" ";
cout.put(97+i);
temp++;
}
}
number=temp;
cout<<endl;
}
int ReNode()//初始化
{
for(int i=0; i<110; i++) Node[i]=0;
}
int Turn(char Map[400],string &Word)
{
int n,i;
for(i=0,n=0;i<=strlen(Map);i++)
{
if(Map[i]!=' ')
{
Word[n]=Map[i];
n++;
}
}
Word[n]='\0';
}
int main()
{
int n,i;
string Word;
char Map[400];
while(gets(Map)!=NULL)//输入
{
ReNode();
Turn(Map,Word);
Input(Word);
CoutNode();
Outnumber(number);
}
// Bin(2);
}