I.   Symbolize an exclusive-or relationship between P and Q.

      II.   Construct a truth table for each of the following.

           A.   [(P -> Q) & P] -> Q

           B.   (P <-> Q) <-> [(P & Q) v ~(P v Q)]

           C.   [(P -> Q) -> R] v (R <-> P)