一道离散数学第一章的问题,只用p,q 以及 V 和 ┐,反正答案不是 ┐(┐p V q) V ┐(p V ┐q).只用p, q 以及 V 和 ┐的组合代替问号的地方。

一道离散数学第一章的问题,只用p,q 以及 V 和 ┐,反正答案不是 ┐(┐p V q) V ┐(p V ┐q).只用p, q 以及 V 和 ┐的组合代替问号的地方。
一道离散数学第一章的问题,
只用p,q 以及 V 和 ┐,
反正答案不是 ┐(┐p V q) V ┐(p V ┐q).
只用p, q 以及 V 和 ┐的组合代替问号的地方。

一道离散数学第一章的问题,只用p,q 以及 V 和 ┐,反正答案不是 ┐(┐p V q) V ┐(p V ┐q).只用p, q 以及 V 和 ┐的组合代替问号的地方。
答案就是 ┐(p V ┐q),这是这个真值对应的最简单的命题公式了

三种情况下真值相同，另一种情况下不同，这和p→q相似
再经过分析，发现这是┐(q→p)
然后我们用联结词化归的基本等值式，将上面那个式子变化成只含有v和 ┐的式子：
┐(q→p) <=> ┐(┐qvp)这就是答案
（以上这些术语出自北京大学的《离散数学》，你们的教材上的名字可能会有不同）...

全部展开

三种情况下真值相同，另一种情况下不同，这和p→q相似
再经过分析，发现这是┐(q→p)
然后我们用联结词化归的基本等值式，将上面那个式子变化成只含有v和 ┐的式子：
┐(q→p) <=> ┐(┐qvp)这就是答案
（以上这些术语出自北京大学的《离散数学》，你们的教材上的名字可能会有不同）

收起

很显然这是p↔q
然后可以用联接词化归，将上面那个式子变化成 ┐( ┐pv ┐q)v ┐(pvq)

┐(p V ┐q) 可以看北京大学的《离散数学》P13，f5就是了
主要是看p=F,q=T这一栏