摘要：
这是大二学离散数学的时候写的, 在这里留个档吧, 算是回忆...代码各种乱, 不改了. 1 /* header.h 2 *author : jackiesteed 3 *内容: 给定一个命题公式, 可以求出该公式的主吸取范式和主合取范式, 思路也比较简单, 就是暴力写的. 4 **/ 5 #include <string> 6 #include <stack> 7 #include <vector> 8 #include<iostream> 9 using namespace std;10 11 12 13 class formulaBase14 阅读全文
