Exercise 3.
Make a truth table for the statement \(\neg P \wedge (Q \imp P)\text{.}\) What can you conclude about \(P\) and \(Q\) if you know the statement is true?
Make a truth table for the statement \(\neg P \wedge (Q \imp P)\text{.}\) What can you conclude about \(P\) and \(Q\) if you know the statement is true?