main.cpp

重言式是当所有逻辑变元取遍所有值时都为真的表达式。这个程序是用来对重言式进行判别的！还可以吧！牛人别见笑！

#include <cstdlib>
#include <iostream>
#include "BinaryTree.h"
#include "Expression.h"
using std::cin;
using std::cout;
using std::string;
using std::endl;

int main()
{
	string strExpression = "A|!A";
	//cout<<"Expression: ";
	//cin>>strExpression;
	Expression expr(strExpression);
	if (expr.IsTrue()) 
		cout<<"True"<<endl;
	else
		cout<<"False"<<endl;

    system("PAUSE");
    return EXIT_SUCCESS;
}