Solución al ejercicio 6756

Son verdaderas \neg Z_1 y \neg Z_2