证（p^q) v (p ^ ¬q) 等价于p【离散数学】

# 求证（p^q)v(p^（¬q的否定）) 等价于 p 

# 简化公式 （p^q) v (p ^ ¬q) 

真值表：

P Q  !Q  P^Q   P^!Q  (P^Q) V (P^!Q)
0  0   1      0        0        0
0  1   0      0        0        0
1  0   1      0        1        1
1  1   0      1        0        1

步骤：

(P^Q) V (P^!Q) 
<=>( (P^Q) V (P) )  ^  ( (P^Q) V  (!Q) ) 【分配律】
<=>  ( P  ^ (P V !Q) ) ^ (Q V !Q)【结合律】
<=>P  ^  (Q V !Q) 【排中律】
<=>P 
注： (P^Q) V (P) )<=> P   无论Q取何值，真值都取决于P。
同理：(P  ^ (P V !Q) ) <=>P 也很容易得出。

因为我看很多人（包括高校教离散数学的）都是不知道不会，直接照着PPT念完就完事的。

就比如下图这个人（明显就是硬搬）重点是什么，是PPT都错了还没发现：