Two **Logically Equivalent Statements** have the same [[‡ Truth Table]] when they share the same propositions. If $P$ and $Q$ are equivalent, $P \iff Q$ will represent their equivalence Example: $\neg(A \vee B)\iff (\neg A) \wedge(\neg B)$ | $A$ | $B$ | $\neg(A \vee B)$ | $(\neg A) \wedge(\neg B)$ | | --- | --- | ---------------- | ------------------------- | | T | T | F | F | | T | F | F | F | | F | T | F | F | | F | F | T | T |