buenas, necesito ayuda para utilizar las leyes de la lógica.
He hecho 2 ejercicios quisera saber si he utilizado bien las leyes y el tercer ejercicio no lo he logrado completar, si lo he intentado pero no me da bien el resultado.

a) \( \sim{(P\rightarrow{Q)}}\equiv{P\wedge\sim{Q}} \)
\( \sim{(\sim{P\vee Q})} \) ID
\( (\sim{\sim{P\wedge\sim{Q)}}} \) DM
\( (P\wedge\sim{Q)} \) DN
b) \( (P\wedge Q)\vee\sim{(\sim{P\wedge Q}}\equiv{Q\rightarrow{P}} \)
\( (P\wedge Q)\vee\sim{\sim{P\vee\sim{Q}}} \) DM
\( (P\wedge Q)\vee P\sim{Q} \) DN
\( (P\wedge Q)\vee V \) INV
\( (P\wedge Q) \) NE
\( (Q\wedge P) \) Con
\( (\sim{Q\vee\sim{P}} \) DM
\( (Q\rightarrow{P)} \) ID
C) \( \{ P\vee(Q\wedge R) \} \vee(\sim(Q\wedge R))\equiv{R\vee P} \)