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