问题 F: 真值表(Ⅰ) 2022

问题 F: 真值表(Ⅰ)

时间限制: 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<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]!=')'<<
            cout" ";}
    }
Input
int (&string )Word//输出数据,
{
    int m,i,tag;q=
    number0;for
    (=i0;[ Word]i!=';')= ;
    {
        qifi(
        []Word==i' ')++;
        {
            icontinue;
            }<<
        [
        cout]Word;i=Calculate
        tag([]Word)i;CalculateOut(
        ,,Word)i;tag+=;
        i//偏移tagif(
        !)//数字计数tag[[
        {
            Node]Word-q97]++;++;
            numberif(
            [+Word1i]!=')'<<" ";
                cout++;}
            i}<<
        ;

    return
    cout;endl}
    Bin number(
,
int )[int n10000int m]
{
    int bin;,,=
    int a0b;ido=%
    2
    {
        a;n/=2;
        n[++]
        bin=i;}whilea(
    0
    );n>for(=
    0;n<-; n++m)i<< n"0 ";
    {
        cout}for(
    =
    -1n;i0;-- n>=)<< n[]
    {
        cout;binifn()
        <<" "n; cout}}Outnumber
    (
int n
int ),=1
{
    int i;mfor(=
    1;i<;++ i)n= i*2
    {
        m+m1;}for(
    =
    ;0i;m-- i>=)Bin i(,
    {
        );i<<n;}
        cout}endlvoid
    CoutNode
(
) ,=0
{
    int i;tempfor(=
    0;i<50; i++)if i(==
    {
        0&&temp[]!=Node0i).put(
        {
            cout97+);++i;}
            tempelseif
        (
        [ ]!=Node0i)<<" ";
        {
            cout.put(
            cout97+);++i;}
            temp}=
        ;
    <<
    number;temp}
    coutReNodeendl(
)
int //初始化for(=
{
    0;int i<110; i++)[ i]= Node0i;}Turn(

[
int 400]char Map,&),string ;Wordfor
{
    int n(i=
    0,i=0;n<=strlen(i);++Map)ifi([
    {
        ]!=Map' 'i)[]=
         {
             Word[n];Map++i;}
             n}[
          ]
    =
    Word';'n}main()
,
int ;;[
{
    int n400i]
    string Word;
    char Mapwhile(gets(
    )!=NULL)Map//输入ReNode();
    {
        Turn(,)
        ;InputMap(Word);
        CoutNode(Word);
        Outnumber();
        }// Bin(2);number}