El documento presenta un problema de álgebras booleanas que involucra demostrar la equivalencia entre dos polinomios P(w,x,y,z) y Q(w,x,y,z). Luego, se pide encontrar el circuito lógico y la tabla de verdad asociados a un tercer polinomio P(w,x,y,z).