真值表(Ⅰ)

题目描述

同学们都学习过《离散数学》这门课程，知道真值表是用于逻辑中的一类数学用表，用来计算逻辑表示式在每一个逻辑变量取值组合下的值。在这里我们给定一个逻辑表达式，要求生成对应的真值表。提示一下，数据结构教材中介绍了数学表达式的处理算法，可以将其改造以适用于我们的项目。

项目分为三个子项目，第一部分为词法分析，即将逻辑表达式分隔为多个词(token)。下面给出两个例子。

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

输入

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

逻辑表达式小于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 <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <math.h>
#define MAXSIZE 101
using namespace std;
 
void cal(int sum,int j)
{
    int i,k;
    int a[11]= {0};
    int flag=0;
    while(sum/2)
    {
        a[flag]=sum%2;
        flag++;
        sum/=2;
    }
    a[flag]=sum;
    flag++;
    for(i=j-1; i>=0; i--)
    {
        printf("%d",a[i]);
        if(i!=0) printf(" ");
    }
    printf("\n");
 
}
 
int main()
{
    char str[MAXSIZE];
    int i,j;
    while(gets(str))
    {
        int a[26]= {0};
        j=0;
        for(i=0; str[i]!='\0'; i++)
        {
            if(str[i]>='a'&&str[i]<='z')
            {
                int b=str[i];
                if(a[b-97]==0)
                {
                    a[b-97]=1;
                    j++;
                }
                printf("%c",str[i]);
                if(str[i+1]!='\0') printf(" ");
            }
            if(str[i]=='-')
            {
                printf("%c%c",str[i],str[i+1]);
                i++;
                if(str[i]!='\0') printf(" ");
            }
            else if(str[i]=='<')
            {
                printf("%c%c%c",str[i],str[i+1],str[i+2]);
                i+=2;
                if(str[i]!='\0') printf(" ");
            }
            else if(str[i]=='|')
            {
                printf("%c%c",str[i],str[i+1]);
                i++;
                if(str[i]!='\0') printf(" ");
            }
            else if(str[i]=='^'||str[i]=='!'||str[i]=='('||str[i]==')')
            {
                printf("%c",str[i]);
                if(str[i+1]!='\0') printf(" ");
            }
        }
        printf("\n");
        int n=0;
        for(i=0; i<=25; i++)
        {
            if(a[i]==1&&n+1<j)
            {
                printf("%c ",i+97);
                n++;
            }
            else if(a[i]==1&&n==j-1)
            {
                printf("%c",i+97);
            }
        }
        printf("\n");
        int sum=pow(2,j)-1;
        while(sum>=0)
        {
            cal(sum,j);
            sum--;
        }
    }
    return 0;
}