Functionally Complete Logical Connectives/Negation and Disjunction

Theorem
The set of logical connectives:
 * $\left\{{\neg, \lor}\right\}$: Not and Or

is functionally complete.

Proof
From Functionally Complete Logical Connectives: Negation and Conjunction, $\left\{{\neg, \land}\right\}$ is functionally complete.

That is: any expression can be expressed in terms of $\neg$ and $\land$.

From De Morgan's laws: Conjunction, we have that:
 * $p \land q \dashv \vdash \neg \left({\neg p \lor \neg q}\right)$

Thus all occurrences of $\land$ can be replaced by $\lor$ and $\neg$.

Thus any expression can be expressed in terms of $\neg$ and $\lor$.

That is: $\left\{{\neg, \lor}\right\}$ is functionally complete.