Hola Lepra. Si agarrás los dos primeros términos, difieren solo en z. Si z=0 te queda x'y; si z=1 te queda x'y. Entonces esos dos términos los podés reemplazar por x'y.
Lo mismo con los últimos dos.
La propiedad es absorción, creo.