有一个用代数方法化简逻辑函数的问题。

AB+A'C+BC=AB+A'C(和或形式)

(A+B)(A'+C)(B+C)=(A+B)(A'+C)(或带形式)

方程左侧的BC项和(B+C)项是多余的，简化时可以直接去掉。

在这个问题中，f = (a+b+c') (a'+d) (c+d) (b+d+e)

前三个因素包括B和D，第四个因素也包括B和D，所以第四个因素是冗余的，简化时可以直接去掉(包括冗余项中的其他变量)。

比如:ADC(b+ D+E)= ADC b+ ADC+ADCE = ADC(B+1+E)= ADC。

所以f =(a+b+c ')(a '+d)(c+d)(b+d+e)=(a+b+c ')(a '+d)(c+d)。