布尔代数简化和分解

Question

从电路开始，我能够简化布尔表达式：

buildTypes {
    yourBuildType_Eg_release {
        multiDexEnabled true
            dexOptions {
                preDexLibraries false
                incremental true // that's a big heap!
                javaMaxHeapSize "4g"
            }
        }
    }

观察k图后，我可以观察到表达式BCD＆＃39; （绿色）由A＆＃39; D + ABC覆盖。

k-map of F(A,B,C,D)

如何分解BCD＆＃39;数学上？

Answer 1

使用共识定理

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

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

其中 BCD' 是一个多余的词