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 Idempotencia

Cualquier duda / sugerencia mejora, correción será bienvenida.

el or exclusivo se puede separar como ~(X xor Y)=(X & Y)or(~X & ~Y)

mi exprecion anterior fue:

(A xor B)=(A y B)or(~A y ~B) es incorrecta

~(A xor B)=(A y B)or(~A y ~B) esta es la correcta





tabla de verdad

~(A       xor         B)        (A         &          B)         or       (~A        &         ~B)
v  f           f           f           f           f           f           v          v          v           v
f   f           v          v           f           f          v           f           v          f            f
f   v          v           f           v          f           f           f           f           f           v
v  v          f           v           v          v          v          v           f           f            f

por ende:

~(A xor B)=(A y B)or(~A y ~B)

o sea me comi el negador prinsipal de la exprecion.

podria ser mas simple y grafico usando miniterminos y un karnot pero seria un garron hacerlo en el editor del foro asi que espero que esto sea util.  

ahora si ya esta.

Bueno disculpa el error anterior

ensima que laburo gratis me corregis flaco.

karnot con c o con k da el mismo resultado.

vaca o baca sigue sonando a idiota en japones.

No fue una corrección solo por molestar, mira, cuando uno entra a un foro se toma el trabajo de leer sus normas y reglas, y una de ellas es el CAREN:

Principalmente esta parte


Un saludo!