用真值表穷举证明,就可以了吧离散数学 逻辑,证明￢(P↔ Q)和P↔ ￢Q逻辑等价,（条件?：当p与q有相反的真值时,P↔ ￢Q两边恰好都为真,就是说p=1,Q=0)这种条件下,显然,￢(P↔ Q)=1P↔ ￢Q=1...