在输入任何一个合式公式后，该段程序就会自动检测里面的命题变元，并要求为之输入真假值， 在输入完毕后就会得出该合式公式的真假值，运用的是递归的思想。 ----------YYC #include<iostream> #include<string> #include<map> using namespace std; /* *说明： *     用！表示 否定