- 博客(1)
- 收藏
- 关注
原创 使用C++求命题公式的主析取范式与主合取范式
最近的离散数学的一个上机作业,要求任意输入一个命题公式,求它的真值表与主析取范式和主合取范式。其中的命题连接词都是用特殊符号来表示(怕麻烦……),并最终选择使用C++来编写程序。 先贴代码: // 五种联结词优先级 ! * + @ $ 分别代表否定 合取 析取 单条件 双条件 //"规定符号代换规则为 ┐:! ∧:* ∨:+ ->:@ <->:$" //"输入应当保...
2018-09-22 17:21:29
10172
5
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人