标签: 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
所以我们最终得到了