Group 2 - 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 ) <=>( (  ^ ~Q ) V Q ) =>

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

  c) ( ( ~Q V ~R ) ^ ( P => ( Q ^ R ) ) ) =>  

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


          



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