Based on the given expressions, let's go through each step to construct the truth tables correctly.
1. Truth Table for p implies ~(pVq):
To find the truth values for this statement, we need to evaluate the individual parts before the implication.
1.1 Evaluate ~(pVq):
p q pVq ~(pVq)
---------------------
T T T F
T F T F
F T T F
F F F T
1.2 Evaluate p implies ~(pVq):
Now that we have the truth values for ~(pVq), we can evaluate the overall statement.
p q ~(pVq) p implies ~(pVq)
---------------------------------
T T F T
T F F F
F T F T
F F T T
Your table for the first statement is correct.
2. Truth Table for ~(p AND q) V p:
To find the truth values for this expression, we'll evaluate the individual parts before the OR operation.
2.1 Evaluate ~(p AND q):
p q p AND q ~(p AND q)
-----------------------------
T T T F
T F F T
F T F T
F F F T
2.2 Evaluate ~(p AND q) V p:
Now that we have the truth values for ~(p AND q), we can evaluate the overall statement.
p q ~(p AND q) ~(p AND q) V p
-----------------------------------
T T F T
T F T T
F T T F
F F T F
Your table for the second statement is also correct.
In conclusion, your truth tables for both statements are correct. It seems that there might have been a mistake in grading.