简化布尔表达式 (A & B) ||(A && !B&C)

Simplifying the boolean expression (A && B) || (A && !B && C)

提问人:Sokui 提问时间:7/28/2020 更新时间:7/28/2020 访问量:5556

问:

我目前在尝试简化布尔表达式时感到非常困惑。我知道解决方案,但不是实现它的正确方法。

什么法律与什么相同(A && B) || (A && !B && C)(A && B) || (A && C)

为什么我可以离开?!B

数学 布尔逻辑 简化

评论

0赞 Spektre 7/29/2020
最有可能的是,德摩根定律,无论简化起来更容易、更安全,都是使用卡诺地图

答:

0赞 CiaPan 7/28/2020 #1

由于(以简化表示法):

B+B'C = B+B+B'C = B(C+C')+B(C'+C)+B'C = BC+BC'+BC'+BC+B'C = BC+BC'+BC'+(B+B')C = BC+BC'+1C = B(C+C')+C = B+C

我们有

AB + AB'C = A (B + B'C) = A(B+C) = AB + AC

0赞 chazsolo 7/28/2020 #2

我不知道任何法律,但我会尝试解释它。

为了让我们达到检查,我们必须承认两件事:!B

  1. A 必须是
  2. B 必须是

如果为 false,我们可以短路两个检查,因为首先被计算,我们只比较 。A(A && B)(A && !B && C)A&&

如果为 true 且为 true,则不计算第二个条件。AB

因此,如上所述,要达到 ,必须为真,必须为假。如果是这种情况,则在第二个条件中将始终计算为 TRUE,并且可以删除。!BAB!B