请教一道离散数学的题目
证明 互斥或 的 结合律性质
用 + 表示 互斥或运算符
那么证明
(A + B) + C = A + (B + C)
要求只使用逻辑等价式(列表可参照这里 http://cnx.org/content/m10540/latest/ )
[解决办法]
根据真值把 互斥或 转成范式,然后化简就可以了,不过很麻烦
最简单还是直接用真值证明
发布时间: 2012-02-16 21:30:36 作者: rapoo
请教一道离散数学的题目
证明 互斥或 的 结合律性质
用 + 表示 互斥或运算符
那么证明
(A + B) + C = A + (B + C)
要求只使用逻辑等价式(列表可参照这里 http://cnx.org/content/m10540/latest/ )
[解决办法]
根据真值把 互斥或 转成范式,然后化简就可以了,不过很麻烦
最简单还是直接用真值证明