Creo que lo he sacado
(xΘy)(xΘz)(xΘ~z)
(xΘ(y*z)) * ((y*z)(~y*~z))
Propiedad distributiva ("inversa") +
Definición operación XOR ((~x*y*z)+(x*~(y*z)) ((y*z)(~y*~z))
Definición operación XOR ((~x*y*z)+(x*(~y+~z))) ((y*z)(~y*~z))
Propiedad Distributiva(~x*y*z+x*~y+x*~z) ((y*z)(~y*~z))
Propiedad Asociativa~x*y*z + 0 + 0 + 0 + x*~y*~z + x*~y*~z
Propiedad Distributiva y Elemento
Absorbente~xyz + x*~y*~z
IdempotenciaCualquier duda / sugerencia mejora, correción será bienvenida.