Math — Propositional Logic
De Morgan, implication and distributive laws of logic.
Rendering…
Make it your own.
\lnot(p \land q) \equiv \lnot p \lor \lnot q
p \rightarrow q \equiv \lnot p \lor q
p \lor (q \land r) \equiv (p \lor q) \land (p \lor r)
p \leftrightarrow q \equiv (p \rightarrow q) \land (q \rightarrow p)