数据结构 c语言重言式判别中的真值表是怎样的?

发布网友发布时间：2022-05-06 12:30

共3个回答

热心网友时间：2022-06-30 13:16

数据结构貌似我的书没这个概念，这个是离散数学的，楼主不说概念我都忘记了，因为不是具体的题目，也不好说，但是你可以这样：设置标志位，f1=0,f2=0, 假设有3变量a,b,c（也就是变元）你用三从循环如果当前a,b,c取一特定值时，a,b,c为真f1=1（表示遇见真），否则f2=1（表达式未假），循环结束后，判断：如果f1为真且f2为真那就是既不是重言式也不是矛盾式，如果f1为真f2为假那就是重言式，f1为假f2为真那就是矛盾式，算法可以优化的，考虑到文字不好描述，我没优化算法。。。

热心网友时间：2022-06-30 13:17

一个命题公式，如果对于它所包含的命题变元的任何一组真值指派，其真值恒取为1，则称为重言式或永真公式，用“1”表示；若其真值恒取值为0，则称为矛盾式或永假公式，用“0”表示。
来源：http://wenku.baidu.com/view/55e3d44fe518964bcf847c06.html
第41页不知道对你有没有帮助。

热心网友时间：2022-06-30 13:17

不懂你的意思，可以详细点吗？追问一个逻辑表达式如果对于其变元的任一种取值均为真，则成为重言式；反之，如果对于其变元的任一种取值都为假，则称为矛盾式，然而，更多的情况下，既非重言式，也非矛盾式。写一个程序通过真值表判别一个逻辑表达式属于上述哪一类.

追答这个真心不懂。

数据结构 c语言 重言式判别 中的真值表是怎样的?

数据结构 c语言重言式判别中的真值表是怎样的?