Using truth table check whether the statements ¬(p∨q)∨(¬p∧q) and ¬p are logically equivalent.

Using truth table check whether the statements $\neg (p \lor q) \lor (\neg p \land q)$ and $\neg p$ are logically equivalent.

Gap-fill exercise

Fill in all the gaps, then press "Check" to check your answers. Use the "Hint" button to get a free letter if an answer is giving you trouble. You can also click on the "[?]" button to get a clue. Note that you will lose points if you ask for hints or clues!

p	q	p∨q	¬(p∨q)	¬p	¬p∧q	¬(p∨q)∨(¬p∧q)
T	T
T	F
F	T
F	F