Logic Table
$P & Q \rightarrow P$
$P \rightarrow P \vee Q$
$\sim (P \vee Q) \leftrightarrow \sim P & \sim Q$
$\sim (P & Q) \leftrightarrow \sim P \vee \sim Q$
$P & Q \rightarrow P$
$P \rightarrow P \vee Q$
$\sim (P \vee Q) \leftrightarrow \sim P & \sim Q$
$\sim (P & Q) \leftrightarrow \sim P \vee \sim Q$