PD: Para verificar que el resultado es equivalente a la expresión original se puede hacer la tabla de verdad de ambas y comparar si son idénticas.
