Changes
8a
Thus we can see that #1 is equivalent to r⊃p.q and #2 is equivalent to r⊃p∨q
8.(a){|! p || φ(p,p,p)|-|T || T|-|F || F|} {|! p || q || φ(q,p,q)|-|T || T || T|-|T || F || T|-|F || T || T|-|F || F || F|} {|! p || φ(q,p,q) || q || φ(p,φ(q,p,q),q)|-|T || T || T || T|-|T || T || F || F|-|F || T || T || F|-|F || F || F || T|}
