请问一道离散数学的题目
请教一道离散数学的题目
证明 互斥或 的 结合律性质
用 + 表示 互斥或运算符
那么证明
(A + B) + C = A + (B + C)
要求只使用逻辑等价式（列表可参照这里 http://cnx.org/content/m10540/latest/ ）
------解决方案--------------------
根据真值把 互斥或 转成范式，然后化简就可以了，不过很麻烦
最简单还是直接用真值证明
证明 互斥或 的 结合律性质
用 + 表示 互斥或运算符
那么证明
(A + B) + C = A + (B + C)
要求只使用逻辑等价式（列表可参照这里 http://cnx.org/content/m10540/latest/ ）
------解决方案--------------------
根据真值把 互斥或 转成范式，然后化简就可以了，不过很麻烦
最简单还是直接用真值证明