\\\\table[[

p

,

q

,(p,

->

,q),

harr

,,

->

,p)],[T,T,

grad

,7,

v

,

grad

,

7

,

T

,

V

\begin{tabular}{|c|c|c|c|c|c|c|c|c|} \hlinep & q & (p & & q) & & (q & & p) \\ \hline T & T & & 7 & v & & 7 & T & V \\ \hline T & F & & & v & & v & V & V \\ \hlineF & T & v & v & & v & V & v & \\ \hlineF & F & & 7 & V & V & V & & \\ \hline \end{tabular}