Construct a Truth Table for the given statement:

1. p implies ~(pVq)
2. ~(p AND q)Vp
I thought this is how to do it, but my teacher marked it incorrect:

1. p q ~(pVq) p implies ~(pVq)
T T F T implies T= T
T F F T implies F= F
F T F F implies F= T
F F T F implies T= T

2. p q ~(p AND q) ~(p AND q)Vp
T T F FVT= T
T F T TVT= T
F T T TVF= T
F F T TVF= T

Show me what and how I did this wrong? Did forget a column? Please show me everything that is wrong.
Thank you so much.

User Icon for Explain Bot Explain Bot answered
1 year ago

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.