带 nots 的布尔代数表达式

Question

所以在我的真相结束时 table 我得到了：

NOT  NOT ABC.NOT ABD

________
___ ___
ABC.ABD

这是否化简为ABC+ABD？还有我会使用什么法律？

Answer 1

首先，我不喜欢他们教授二进制简化的方式。为了让事情变得更容易，请遵循这些规则而不是他们教给你的规则：

1. A 和 B = AB
2. A 和 A = A
3. A 或 B = A + B - AB
4. 不是 A = 1 - A

你可以自己使用这些来计算 xor 等。

现在使用这些规则：

NOT(NOT(A AND B AND C) AND (NOT (A AND B AND D)))

= 1 - ((1 - ABC)*(1 - ABD))

= 1 - (1 - ABC)(1 - ABD)

= 1 - 1 + ABD + ABC - ABCABD

= ABD + ABC - ABCD

= AB(D + C - CD)

= A AND B AND (C OR D)

这相当于使用您的系统的 ABC + ABD。

编辑： 前 3 个等于（但有点慢）：

NOT(NOT(A AND B AND C) AND (NOT (A AND B AND D)))
->
NOT((NOT(ABC)) AND (NOT (ABD)))
->
1 - ((NOT(ABC))(NOT(ABD)))
->
1 - (1 - ABC)(1 - ABC)
-> expanding the brackets
1 - (1 * 1 - ABC * 1 - ABD * 1 + ABC * ABD)
->
1 - (1 - ABC - ABD + ABCABD)
-> multiple out the bracket
1 - 1 + ABD + ABC - ABCABD

很高兴能帮上忙^^