6. Given two propositions p and q, please show that\[ \overline{p \lor q} \leftrightarrow \bar{p} \land \bar{q} \]is a tautology. (10%)