Question 550856
<pre><font face = "lucida console">

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&#923;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&#8594;q)&#8596;[(~p&#923;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</pre></font>