2303_80834338的博客

原创 【北理离散数学】求命题公式的主范式

​本文主要实现了求命题公式的主范式 借鉴了离散数学——用c/c++求命题公式的主范式_c++命题公式的范式-优快云博客的做法，先读入公式，转换为逆波兰式，然后统计变量个数，随后对公式边赋值边计算，并将计算的结果存入到value数组中，最后进行输出。难点在于逆波兰式的转换、计算；递归赋值；如何一边赋值一边计算然后储存；自定义逻辑运算符。