[p ∧ (∼q ∧ p)] ∨ [p ∧ (q ∧ ∼q)]SIMPLIFICACIÓN DE LEYES DE LÓGICA PROPOSICIONAL?

<img src="https://tex.z-dn.net/?f=%5Bp%20%5Cwedge%20%28%5Csim%20q%20%5Cwedge%20p%29%5D%20%5Cvee%20%5Bp%20%5Cwedge%20%28q%20%5Cwedge%20%5Csim%20q%29%5D" />

Siempre justificamos el proceso utilizado, resolvemos de adentro hacia afuera.

<img src="https://tex.z-dn.net/?f=%5Bp%20%5Cwedge%20%5Csim%20q%20%5Cwedge%20p%5D%20%5Cvee%20%5Bp%20%5Cwedge%20%28q%20%5Cwedge%20%5Csim%20q%29%5D%20%5C%20%5C%20%5C%20%5C%20Elimino%20%5C%20%5C%20par%5C%27entesis%20%20" />

<img src="https://tex.z-dn.net/?f=%5B%28p%20%5Cwedge%20p%29%20%5Cwedge%20%5Csim%20q%5D%20%5Cvee%20%5Bp%20%5Cwedge%20%28F%29%5D%20%5C%20%5C%20%5C%20%5C%20Conmuto%2C%20Asocio%2C%20Complemento" />

<img src="https://tex.z-dn.net/?f=%28p%20%5Cwedge%20%5Csim%20q%29%20%5Cvee%20F%20%5C%20%5C%20%5C%20%5C%20Complemento%2C%20Idempotencia%20" />

<img src="https://tex.z-dn.net/?f=p%20%5Cwedge%20%5Csim%20q%20%5C%20%5C%20%5C%20%5C%20Identidad" />

<img src="https://tex.z-dn.net/?f=Decimos%20%5C%20%5C%20que%20%5C%20%5C%20la%20%20%5C%20%5C%20respuesta%20%5C%20%5C%20es%20%5C%20%5C%20%20%5Cboxed%7BContingencia%7D" />

_______________________________________________________

Recordamos algunas leyes :

<img src="https://tex.z-dn.net/?f=%20%5Cboxed%7Bp%20%5Cwedge%20%5Csim%20p%3DF%7D%20%5C%5C%20%20%5Cboxed%7Bp%20%5Cvee%20p%3Dp%7D" />

_______________________________________________________

<img src="https://tex.z-dn.net/?f=%27%20%5Codot%20%5Codot%5C%5C%20%5Coverbrace%7B100pre%7D%20%5C%5C%20%5Cunderbrace%7BSalu2%7D" />.