dmgadgets 离散数学课程编程作业 Demo传送门（国内访问可能较慢，建议挂梯子） 功能 给出逻辑表达式，求波兰表示和逆波兰表示 给出逻辑表达式，求真值表、主析取/合取范式 给出真值表，求主析取/合取范式，猜测可能的原表达式 可视化语法树