对给出的任意一个命题公式（不超过四个命题变元），使学生会利用编程软件表示出来，并且能够计算它在各组真值指派下所应有的真值，画出其真值表。

最新推荐文章于 2024-07-24 14:54:00 发布

Ilovejisso

最新推荐文章于 2024-07-24 14:54:00 发布

阅读量1k

点赞数 1

分类专栏：离散数学文章标签：算法 c语言

本文链接：https://blog.csdn.net/Ilovejisso/article/details/116981079

版权

对给出的任意一个命题公式（不超过四个命题变元），使学生会利用编程软件表示出来，并且能够计算它在各组真值指派下所应有的真值，画出其真值表。

本体采用逆波兰方式来求取公式的真值表
逆波兰：逆波兰记法中，操作符置于操作数的后面。例如表达“3+4”时，写作“3 4 +”，而不是“3 + 4”。如果有多个操作符，操作符置于第二个操作数的后面，所以常规中缀记法的“3 - 4 + 5”在逆波兰记法中写作“3 4 - 5 +”：先3减去4，再加上5。使用逆波兰记法的一个好处是不需要使用括号。例如中缀记法中“3 - 4 * 5”与“（3 - 4）*5”不相同，但后缀记法中前者写做“3 4 5 * -”，无歧义地表示“3 (4 5 *) −”；后者写做“3 4 - 5 *”。（本段解说来自搜狗百科逆波兰表示法）
注意：用 &、|、~、#、= 分别表示且、或、非、蕴含、等值（可自行设置）
例如01| 为

关注

专栏目录