开发者社区

文档建议反馈控制台

文章/答案/技术大牛

发布

社区首页 >问答首页 >入门级命题逻辑简化

问入门级命题逻辑简化
EN

Stack Overflow用户

提问于 2017-10-13 07:42:16

回答 1查看 69关注 0票数 0

这是一个入门级命题逻辑问题。

练习的最后两条语句是：

(A V B) v (B V C)

A、B、C

最后一条语句是分布式简化吗？我搞不懂最后一句话是怎么得出的。

感谢任何人的帮助。

EN

回答 1

Stack Overflow用户

发布于 2017-10-13 07:54:55

因此，首先使用关联属性

(A V B) v (B V C)

可以写成这样

A v (B V B) v C

因为关联属性将保持。

幂等定律表明B v B=B

所以我们最终得到了

A、B、C

票数 2

EN

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/46720470

复制

相似问题