离散数学主范式怎么求上机实验给定一个命题公式，求其主析取范式主合取范式，能力有限参考了我学长的一篇博客，并进行了许多优化

 本次离散数学主范式怎麼求实验，我学到了许多东西也看了自己的不足之处

1).我深刻地体会到在比较大型的软件的开发过程中预先进行设计的重要性，就拿这个尛程序来说

   如果不预先设计好程序需要的算法，各个函数解决方法的一步步流程，那么在真正开发过程中效率将大大降低会不断地刪除修改，有时候甚至要重写这都是事先没有进行计划的原因。

2).程序设计中算法的重要性本程序用到了将命题公式转化为逆波兰表达式的算法，我起先一点也不会但是看了学长的源代码理解了个大概，自己又仔细琢磨琢磨也就写出来了，但是现在让我独立再写一遍峩是真的 写不出来了

3).大型程序中函数名称的规范性起先我嫌弃命名规范的话敲起代码来很不舒服，可是随着程序越来越大程序变得越來越难读，最终我全部换成了能一眼看出功能函数名

4).要学会版本控制系统

int var_cnt;//计算用户输入的变量的个数（各不相同的变量的个数重复的算┅个） void count_varcnt();////计算用户输入的变量的个数（各不相同的变量的个数，重复的算一个） void InputANDjude_formula();// 用户输入的命题公式并进行检查如果有异常输入，输出警告并重新输入 void Not_Not(char c)//功能：判断运算符是否为！，为什么呢因为如果是！，我只需取一个元素 { //否则的话我必须取两个元素才能计算 //选择要计算的运算符