I.   Use the method described in this lesson for each of the
            following derivations:

           A.   Derive P <-> Q from

               1.   P                       Premise
               2.   Q                       Premise

           B.   Derive P <-> (P v Q) from

               1.   ~Q                      Premise

           C.   Derive P <-> (P & Q) from

               1.   Q                       Premise

      II.   Without using CP, write another derivation for the problem in
            I.A.