~p -> (q V ~r)
                put T for p and q, F for r 
~T -> (T V ~F)
                change ~T to F and ~F to T
 F -> (T V T)
                change (T V T) to T  (V is T except when F on both sides) 
 F -> T
                 (-> is T except when T on the left and F on the right) 
    T

Edwin