test.cpp

来自「离散数学中---------一阶谓词演算源代码」· C++ 代码 · 共 50 行

#include <iostream>
#include "ass2.h"
void main()
{
   Proposition p1,p2;
   PrefixVistor preVistor;
   InfixVistor  inVistor;
   TruthtableVistor truthTable;
   //"X Y Z => => X Y & Z => <=>"
   if(p1.parse("X Y Z & |") == NULL)
   {
	  cout<<"初始化失败！"<<endl;
	  getchar();
	  return ;
   }
/*
      if(p2.parse("X Y <=>") == NULL)
      {
   	   cout<<"初始化失败！"<<endl;
   	   getchar();
   	   return ;
      }*/
   
   
   if(p2.parse("X Y Z => => X Y & Z => <=>") == NULL)
  {
   cout<<"初始化失败！"<<endl;
   getchar();
   return ;
  }
      
      


   cout<<"后序表达式："<<endl;
   cout<<p1.getPostfix()<<endl;
   cout<<"前序表达式："<<endl;
   preVistor.visit(p1);
   cout<<"中序表达式："<<endl;
   inVistor.visit(p1);
   cout<<"真值表列表:"<<endl;
   truthTable.visit(p1);
   
   if(p1.equivalent(p2))
	   cout<<"两个表达式相等"<<endl;
   else
	   cout<<"两个表达式不相等"<<endl;
   getchar();
   return ;
}