Question

求救，离散数学，这两组的排序和证明。

1）a.~q∨q→r,
b.s∨~q
c.~t
d.p→t
e.~p∧r→~s
f.∴~q

2）a.~p→r∧~s
b.t→s
c.u→~p
d.~w
e.u∨w
f.∴~t
第一部分打错了，a.是~p∨q→r

Answer 1

这类离散数学，有个简单的证明方法，就是直接上真值。反正逻辑变量只有两种可能性1或0如果B≠C，那么只有B=1且C=0和B=0且C=1两种情况根据异或的定义，有A⊕1=A非，A⊕0=A用反证法：所以假设B≠C，则只能B=1且C=0或者B=0且C=11、当B=1且C=0时，A⊕B=A⊕1=A非，A⊕C=A⊕0=A；A⊕B≠A⊕C2、当B=0且C=1时，A⊕B=A⊕0=A，A⊕C==A⊕1=A非；A⊕B≠A⊕C所以如果B≠C，则A⊕B≠A⊕C因此如果A⊕B=A⊕C，则B=C