C++实现求命题公式真值表

#include <bits/stdc++.h>
using namespace std;
#define LMGGTQL
#ifdef LMGGTQL
#define AND '&'
#define OR 'V'
#define NOT '!'
#define IFF '@'
#define IF '-'
inline string CharToString(char c) {
   
	string result;
	result += c;
	return result;
}
set<char> GetVar(const string &s) {
   
	set<char> result;
	for (auto &i : s)
		if (i != NOT && i != AND && i != OR && i != IF && i != IFF)
			result.emplace(i);
	return result;
}
string GetEx(const string &input) {
   
	string EX;
	stack<char> st;
	char top;
	unordered_map<char, int> f {
    {
   NOT,5},{
   AND,4},{
   OR,3},{
   IF,2},{
   IFF,1} };//运算优先级
	for (auto &i : input) {
   
		switch (i) {
   
		case '(': st.push('('); break;
		case ')':
			top = st.top();
			while (top != '(') {
   
				EX += top;
				st.pop();
				top = st.top();
			}
			st.pop()