Usuario:Aaaw04/ejercicio 8

De Wikilibros, la colección de libros de texto de contenido libre.

Encuentre la tabla de verdad para (( P v Q ) → R ^ ( R → P )). Use esta tabla para hallar la forma normal disyuntiva completa y la forma normal conjuntiva completa.


   P  Q  R    P v Q   R → P   R ^ ( R → P )      Resultado
   V  V  V      V       V         V                  V
   V  V  F      V       F         F                  F
   V  F  V      V       V         V                  V
   V  F  F      V       F         F                  F
   F  V  V      V       F         F                  F
   F  V  F      V       F         F                  F
   F  F  V      F       F         F                  V
   F  F  F      F       F         F                  V
  
  ( P ^ Q ^ R ) v ( P ^ -Q ^ R) v (-P ^ -Q ^ R) v (-P ^ -Q ^ -R )
    ≡ ( -P v -Q v R ) ^ (-P v Q v R ) ^ ( P v -Q v -R ) ^ ( p v -Q v R )