离散数学中的真值函数是怎么计算的?例如表格中的内容,那些0 0 1 1 ;0 1 0 1.是怎么计算的?
- 你的回答被采纳后将获得:
- 系统奖励15(财富值+成长值)+难题奖励30(财富值+成长值)
2个回答
展开全部
其实上一层说对了,只是说的有点抽象。
我们可以先看看含有两个命题p,q的公式;
p q F0 F1 ... F(15)
0 0 0 0 ... 1
0 1 0 0 ... 1
1 0 0 0 ... 1
1 1 0 1 ... 1
后面得出的比如 当F⇔0时 F0是不是得出下面的值,再比如F⇔(p∧q)时,F1得出对应的值,同样我们可以找出所有取值对应的F,但是无论如何只有2×2×2×2种不同的值,所以只能得出16种不同的F,所以每个真值函数F(n)都对应一个主析取范式,也就是说p,q是可以随意组合的,因为每一个命题公式都有唯一等值的主析取范式,于是得出结论:含有n个命题公式的主析取范式共有2^(2^n)种。
现在再来看只有一个命题p的情况:
取值还是一样0,1;
但是可能由于F的不同使得,当p取0或1时,得出的真值都一样或相反。
当F取p∧¬p时 ,满足F0
当F取p时,满足F1
当F取¬p时,满足F2
当F取p→p时,满足F3
希望能帮到你
我们可以先看看含有两个命题p,q的公式;
p q F0 F1 ... F(15)
0 0 0 0 ... 1
0 1 0 0 ... 1
1 0 0 0 ... 1
1 1 0 1 ... 1
后面得出的比如 当F⇔0时 F0是不是得出下面的值,再比如F⇔(p∧q)时,F1得出对应的值,同样我们可以找出所有取值对应的F,但是无论如何只有2×2×2×2种不同的值,所以只能得出16种不同的F,所以每个真值函数F(n)都对应一个主析取范式,也就是说p,q是可以随意组合的,因为每一个命题公式都有唯一等值的主析取范式,于是得出结论:含有n个命题公式的主析取范式共有2^(2^n)种。
现在再来看只有一个命题p的情况:
取值还是一样0,1;
但是可能由于F的不同使得,当p取0或1时,得出的真值都一样或相反。
当F取p∧¬p时 ,满足F0
当F取p时,满足F1
当F取¬p时,满足F2
当F取p→p时,满足F3
希望能帮到你
已赞过
已踩过<
评论
收起
你对这个回答的评价是?
推荐律师服务:
若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询