boolean - 布尔代数简化和因式分解

Question

从一个电路开始，我可以获得简化的布尔表达式：

F(A,B,C,D) = A'D' + ABC + BCD'

观察 k-map 后，我可以观察到表达式 BCD'（绿色）被 A'D + ABC 覆盖。

F(A,B,C,D)的k图

如何在数学上分解出 BCD'？

Answer 1

使用共识定理

XY + X'Z + YZ =  XY + X'Z

A'D' + ABC + BCD' = A'D' + ABC

是BCD' 一个多余的术语