Este documento demuestra que los polinomios P(w,x,y,z)=wx+(x''+z')+ (y+z') y Q(w,x,y,z)=x+z'+y son equivalentes mediante pasos algebraicos como el doble complemento, asociatividad, conmutatividad, distributividad e identidad. También encuentra el circuito lógico y la tabla de verdad asociados al polinomio P(w,x,y,z)=wx+(x''+z')'(yz')'w.