我用 ' 来代替 非，这样看的清楚一点原式=ab+a'c+b'c+c'd+d'=ab+(1-a)c+(1-b)c+(1-c)d+1-d=ab+c-ac+c-bc+d-cd+1-d=ab-ac-bc-cd+1=ab-c(a+b+d)+1
