SOLUTION: Please design a truth table for these problems. ~ ( ~ p Λ q ) V r and ( p → q ) ↔ [ ( ~ p Λ q ) V p ] I'm super confused on how I messed up!

Algebra ->  Conjunction -> SOLUTION: Please design a truth table for these problems. ~ ( ~ p Λ q ) V r and ( p → q ) ↔ [ ( ~ p Λ q ) V p ] I'm super confused on how I messed up!      Log On


   



Question 550856: Please design a truth table for these problems.
~ ( ~ p Λ q ) V r
and
( p → q ) ↔ [ ( ~ p Λ q ) V p ]
I'm super confused on how I messed up!

Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!


Rule for ~    "T after it becomes F; F after it becomes T" 
Rule for /\   "T on both sides of it becomes T, otherwise F"
Rule for \/   "F on both sides of it becomes F, otherwise T"
Rule for ->   "T on left of it and F on right of it becomes F, otherwise T"
Rule for <->  "T on both sides of it or F on both sides of it becomes T, otherwise F"


~(~pΛq)Vr 

p  q  r ~p  (~p/\q)  ~(~p/\q)  ~(~p/\q)\/r  
T  T  T  F     F         T          T
T  T  F  F     F         T          T
T  F  T  F     F         T          T
T  F  F  F     F         T          T
F  T  T  T     T         F          T 
F  T  F  T     T         F          F
F  F  T  T     F         T          T
F  F  F  T     F         T          T


and 

(p→q)↔[(~pΛq)Vp]

p  q  ~p  (p->q)  (~p/\q)  [(~p/\q)\/p]  (p->q)<->[(~p/\q)\/p] 
T  T   F    T        F           T               F
T  F   F    F        F           T               F
F  T   T    T        T           T               T
F  F   T    T        F           F               T


Edwin