Existe el problema de simplificar funciones lógicas utilizando métodos algebraicos.

Según la ley de términos redundantes en las leyes básicas de las funciones lógicas

AB+A'C+BC=AB+A'C (suma o forma)

(A+B )(A '+C)(B+C)=(A+B)(A'+C)(o con forma)

El término BC y el término (B+C) en el lado izquierdo de la ecuación son redundantes, se pueden eliminar directamente al simplificar.

En este problema, f = (a+b+c') (a'+d) (c+d) (b+d+e)

Los primeros tres factores incluye B y D, y el cuarto factor también incluye B y D, por lo que el cuarto factor es redundante y puede eliminarse directamente durante la simplificación (incluidas otras variables en los elementos redundantes).

Por ejemplo: CAD(b+ D+E)= CAD b+ CAD+ADCE = CAD(B+1+E)= CAD.

Entonces f =(a+b+c ')(a '+d)(c+d)(b+d+e)=(a+b+c ')(a ' +d)(c+d).