逻辑表达式化为真值表

这个处理方法和多项式的处理方法一样。试着写了一下，发现自己对栈的应用能力还是不够，不过很感谢

supermary863的博客http://blog.csdn.net/supermary863/article/details/6363570。

然后模仿着把这个离散实验作业完成了。可能存在一些小问题，但是总体思路就是那样吧。

/*程序设计类似与多项式的计算，用双栈来实现，完成<任意个>变量的表达式的运算*/
/*变量请统一用小写字母*/
/*目前支持的逻辑运算符有~（非），V(析取，用大写字母V)，^(合取，用shitf + 6), 以及->（蕴含）。
没有添加<->（只是多添加一个操作符，优先级同->，同理，有兴趣的读者可以自己实现）*/
/*程序运行方式见main函数入口。*/


#include <iostream>
#include <string>
#include <cstring>
#include <cstdio>
#include <stack>
using namespace std;

class TrueFalseTable
{
protected:
    string read;    //限定表达式变量为小写字母。
    char x[10];     //存储变量。
    int x_num;      //变量数。
    int value[10]; //下标对应变量的值0或1。
    int Ans;    //每行真值表计算一个值。
    /*打印开头部分*/
    void printTitle()
    {
        for(int i = 0; i < x_num; i ++)
        {
            printf("%c\t", x[i]);
        }
        cout << read << endl;
        printf("-------------------------------------------------\n");
    }
    /*检测是否穷举了所有的真值表*/
    bool check_end()
    {
        for(int i