(q ∨ ∼p) ∧ (∼p ∨ F)NECESITO LA SIMPLIFICACIÓN PASO A PASO USANDO leyes de algebra proposicional?

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

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

<img src="https://tex.z-dn.net/?f=%28q%20%5Cvee%20%5Csim%20p%29%20%5Cwedge%20%28%20%5Csim%20p%29%20%5C%20%5C%20%5C%20%5C%20Identidad%20%5C%5C%20%20%5C%5C%20%5Csim%20p%20%5C%20%5C%20%5C%20%5C%20Absorci%5C%27on%20%5C%5C%20%20%5C%5C%20Decimos%20%5C%20%5C%20que%20%5C%20%5C%20la%20%5C%20%5C%20respuesta%20%5C%20%5C%20es%20%5C%20%5C%20%5Cboxed%7BContingencia%7D" />

_________________________________________________

Recordamos algunas leyes :

<img src="https://tex.z-dn.net/?f=%20%5Cboxed%7Bp%5Cvee%20F%3Dp%7D%20%5C%5C%20%5Cboxed%7B%28p%5Cvee%20q%29%20%5Cwedge%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" />.