Group 3 -1



   Fill in the blanks with the shortest of characters so that the resultant proposition is valid

   Do not leave space at the left of your answer in each box.
   Use T or F for True or False, respectively.

  a) ( P ^  (   V Q ) => Q

  b) ( ( ~P V Q ) ^ ( ~Q V R ) ) => ( P ->  )

  c) ~( ~P ^ ~Q ) <=> ( P   )

  d) ( P -> ( Q -> P ) ) <=> 


             



Back to Table of Contents for CS 381
Go back to Group 1
Go back to Group 2
Back to Exercise Home Page