truthtable - 真值表来证明一个论点真/假

Question

有人可以帮我用真值表吗？我想创建一个真值表来证明这是否正确。

Answer 1

A = 0, B = 0, C = 0
A ∨ (B ∧ C) = 0 ∨ (0 ∧ 0) = 0 ∨ 0 = 0
(A ∨ B) ∨ (A ∧ C) = 0

对 A、B 和 C 的另外 7 个组合执行类似操作。

A = 0, B = 0, C = 1
A = 0，B = 1，C = 0
//// ETC。

如果您发现所有八个的两端都相同，那么就证明了这一点。否则不一样。

另请访问Wikipedia 条目以获取详细信息以获取真值表。应用部分包含另一个方程的示例证明。

注意：听起来像家庭作业。所以没有提供完整的解决方案。

Answer 2

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) 是错误的。

Answer 3

您只有三个布尔变量，这意味着 2^3=8 条目真值表就足够了。我建议分解表中的列以一次生成一个布尔结果。如果布尔方程两侧的两列匹配，则证明它们相同，否则将有一个或多个反例。

如果两个表达式匹配，那么您可以尝试使用布尔代数规则证明它们相等。卡诺图甚至可以用来指路。