Logic Table

Warning

This post is more than a year old. Information may be outdated.

$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$