问题 F: 真值表(Ⅰ) 2022

时间限制: 1 Sec 内存限制: 128 MB
提交: 4527 解决: 469
[状态] [提交] [命题人:cyh]
题目描述
同学们都学习过《离散数学》这门课程，知道真值表是用于逻辑中的一类数学用表，用来计算逻辑表示式在每一个逻辑变量取值组合下的值。在这里我们给定一个逻辑表达式，要求生成对应的真值表。提示一下，数据结构教材中介绍了数学表达式的处理算法，可以将其改造以适用于我们的项目。
项目分为三个子项目，第一部分为词法分析，即将逻辑表达式分隔为多个词(token)。下面给出两个例子。
例一：
逻辑表达式p^q中有p、和q共三个词;
例二：
逻辑表达式p^(qr)中有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
#include
#include
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
    int m,i,tag,q;
    number=0;
    for(i=0; Word[i]!=''; )
    {
        q=i;
        if(Word[i]==' ')
        {
            i++;
            continue;
        }
        cout<
            Node[Word[q]-97]++;
            number++;
            if(Word[i+1]!='')
                cout<<" ";
            i++;
        }

    }
    cout<
    int bin[10000];
    int a,b,i=0;
    do
    {
        a=n%2;
        n/=2;
        bin[i++]=a;
    }
    while(n>0);
    for(n=0; n
        cout<<"0 ";
    }
    for(n=i-1; n>=0; n--)
    {
        cout<
    int i,m=1;
    for(i=1; i
        m=m*2+1;
    }
    for(i=m; i>=0; i--)
    {
        Bin(i,n);
        cout<
    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<
    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]='';
}
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);
}