Autor Tema: Simplificar expresiones lógicas

0 Usuarios y 1 Visitante están viendo este tema.

28 Febrero, 2018, 05:53 am
Leído 790 veces

Andy-M

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 26
  • Karma: +0/-0
  • Sexo: Masculino
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} \)