标签： boolean-logic
这是一个入门级命题逻辑问题。
练习的最后2个陈述是：
（A v B）v（B v C）
A v B v C
最后一句话是分配简化吗？我无法弄清楚最后的陈述是如何达成的。
感谢任何帮助。
答案 0 :(得分：2)
首先使用关联属性
可以像这样写
A v（B v B）v C
因为关联属性将成立。
幂等法则规定B v B = B
所以我们最终得到了