简化表达式Boolean-Algebra

Question

对于我的班级，我必须学习一些布尔代数。现在我在简化表达方面遇到了一些困难。

例如我得到：

A.B.C + NOT(A) + NOT(B) + NOT(C)

我试过检查wolfram alpha，但那里并没​​有显示简化。 你能告诉我如何简化这个表达吗？

提前致谢

Answer 1

真相表：

A    B    C    X
0    0    0    1
0    0    1    1
0    1    0    1
0    1    1    1
1    0    0    1
1    0    1    1
1    1    0    1
1    1    1    1

简化就是：

X = 1

Answer 2

布尔代数解（使用更传统的表示法）：

给定布尔表达式：

abc + a' + b' + c'

申请双重否定：

(abc + a' + b' + c')''

将De Morgan定律适用于分离：

((abc)'a''b''c'')'

减少双重否定：

((abc)'abc)'

AND和x'和x'是0：

(0)'

0的否定是1：

1

布尔代数解（使用给定的表示法）：

给定布尔表达式：

a.b.c + NOT(a) + NOT(b) + NOT(c)

申请双重否定：

NOT(NOT(a.b.c + NOT(a) + NOT(b) + NOT(c)))

将De Morgan定律适用于分离：

NOT(NOT(a.b.c).NOT(NOT(a)).NOT(NOT(b)).NOT(NOT(c))))

减少双重否定：

NOT(NOT(a.b.c).a.b.c)

AND和x'和x'是0：

NOT(0)

0的否定是1：

1

Answer 3

Wolfram Alpha没有给出简化，因为它不理解你的符号。使用(A and B and C) or NOT(A) or NOT(B) or NOT(C) shows将其简化为true。

或者你可以看一下：如果有任何错误，NOT会将所有内容都归结为真，如果它们都是真的，那么第一个条款也是如此。

Answer 4

使用http://en.wikipedia.org/wiki/De_Morgan%27s_laws

A AND B = NOT(NOT(A) OR NOT(B))

A OR B = NOT(NOT(A) AND NOT(B))

和正常的分配，换向等方法见 http://en.wikipedia.org/wiki/Boolean_algebra#Laws

请注意，在上面的链接文本中，符号的编写方式不同。

• AND是∧
• OR是∨
• 不是¬