Prove that (p q) is logically equivalent to p q using a truth table.

We need columns for $p$, $q$, $p \lor q$, $\neg (p \lor q)$, $\neg p$, $\neg q$, and $\neg p \land \neg q$.

The column for $\neg (p \lor q)$ is $F, F, F, T$.
The column for $\neg p \land \neg q$ is $F, F, F, T$.
Since the truth values in these two columns are identical for all possible combinations of $p$ and $q$, the expressions are logically equivalent.

Therefore, $\neg (p \lor q)$ and $\neg p \land \neg q$ are logically equivalent.