Group 1 - 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 ^ Q ) <=> ( ~Q
P )
b) ( ~P V ( Q -> P ) ) <=> ( ~P V (
V P ) ) <=>
c) ( ( P V Q ) ^
) -> P
d) ( ~Q ^ P ) <=> ~( P
Q )
Back to Table of Contents for CS 381
Go to Group 2
Back to Exercise Home Page