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$