离散数学,A⊕B=A⊕C 证明 B=c
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=1
1、当B=1且C=0时,A⊕B=A⊕1=A非,A⊕C=A⊕0=A;A⊕B≠A⊕C
2、当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
如果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=1
1、当B=1且C=0时,A⊕B=A⊕1=A非,A⊕C=A⊕0=A;A⊕B≠A⊕C
2、当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
本回答被网友采纳
已赞过
已踩过<
评论
收起
你对这个回答的评价是?
推荐律师服务:
若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询