Lógica booleana: ¿Cómo pruebo que z (x XOR y) + xy = xy + yz + xz?

No es un problema de tarea, espero.

Puede configurar una tabla de verdad y verificar las 8 entradas posibles.
Una forma interesante, pero no necesariamente la más simple, es observar:

[matemáticas] z (x XOR y) + xy = \ bar {x} yz + x \ bar {y} z + xyz + xy \ bar {z} = [/ matemáticas]
[matemáticas] = yz + x \ bar {y} z + xy \ bar {z} = x (y XOR z) + yz [/ matemáticas], por lo que la fórmula es simétrica en permutaciones de x, y, z y expresión es verdadera al menos cuando dos de las variables son verdaderas. Sin embargo, es bastante fácil ver que es falso cuando a lo sumo una variable es verdadera. (¿Por qué?)

Por lo tanto, terminamos con el lado derecho.

Más simple es quizás
[matemáticas] z (x XOR y) + xy = \ bar {x} yz + x \ bar {y} z + xyz + xy \ bar {z} = [/ matemáticas]
[matemática] = z (\ bar {x} y + x \ bar {y} + xy) + xy \ bar {z} = [/ matemática]
[matemáticas] = z (x + y) + xy \ bar {z} = zx + zy + xyz + xy \ bar {z} = [/ matemáticas]
[matemáticas] = xy + yz + xz [/ matemáticas]