¿Es válida esta deducción lógica?

Question

¿Es válida la siguiente deducción?

Considere $$\lnot X \land ((Y \land \lnot Z) \lor (\lnot Y \land Z)).$$

Manipulación a través de las leyes distributivas:

\begin{align*} &= [\lnot X \lor (Y \land \lnot Z)] \land [\lnot X \lor (\lnot Y \land Z)] \\ &= [(\lnot X \land Y) \lor (\lnot X \land \lnot Z)] \land [(\lnot X \land \lnot Y) \lor (\lnot X \lor Z)] \\ &= {[[{(\lnot X \land Y) \lor (\lnot X \land \lnot Z)] \lor (\lnot X \land \lnot Y)}] \land [{[(\lnot X \land Y) \lor (\lnot X \land \lnot Z)] \lor (\lnot X \lor Z)}]} \\ &= {[{[(\lnot X \land Y) \lor (\lnot X \land \lnot Y)] \lor (\lnot X \land \lnot Z)]} \land [{[(\lnot X \land Z) \lor (\lnot X \land \lnot Z)] \lor (\lnot X \land Y)}]} \\ &= [\lnot X \lor (\lnot X \land \lnot Z)] \land [\lnot X \lor (\lnot X \land Y)] \\ &= \lnot X \land \lnot X \\ &= \lnot X. \end{align*}

Answer 1

Has utilizado mal las leyes de De Morgan. Usando las leyes distributivas, simplemente será justo:

\begin{align*} &= \lnot X \land ((Y \land \lnot Z) \lor (\lnot Y \land Z)) \\ &= (\lnot X \land Y \land \lnot Z) \lor (\lnot X \land \lnot Y \land Z) \end{align*} Esa será la forma más sencilla de su problema, creo.