真值表，用于证明一个参数的真/假
真值表，用于证明一个参数的真/假
提问于 2011-03-06 13:07:37
有没有人能帮我弄个真值表？我想创建一个真值表来证明这是否是真的。
回答 2
Stack Overflow用户
回答已采纳
发布于 2011-03-06 13:19:31
A B C B∧C A∨(B∧C) A ∨ B A ∧ C (A ∨ B) ∨ (A ∧ C)
0 0 0 0 0 0 0 0
0 0 1 0 0 0 0 0
0 1 0 0 0 1 0 1
0 1 1 1 1 1 0 1
1 0 0 0 1 1 0 1
1 0 1 0 1 1 1 1
1 1 0 0 1 1 0 1
1 1 1 1 1 1 1 1当A=0、B=1和C=0
A ∨ (B ∧ C) = 0
(A ∨ B) ∨ (A ∧ C) = 1 ∨ 0 = 1所以A∨(B∧C) =A∨B)∨(A∧C)是假的。
Stack Overflow用户
发布于 2011-03-06 13:19:50
您只有三个布尔变量，这意味着一个2^3=8条目真值表就足够了。我建议分解表中的列，一次生成一个布尔结果。如果布尔方程两边的两列匹配，则证明它们是相同的，否则将有一个或多个反例。
如果这两个表达式匹配，那么您可以尝试使用布尔代数的规则来证明它们相等。卡诺图甚至可以用来指明方向。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/5208830
复制相关文章
相似问题
腾讯云开发者
