Functionally Complete Logical Connectives/Negation and Conjunction

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

is functionally complete.

Proof
From Functionally Complete Logical Connectives: Negation, Conjunction, Disjunction and Implication, all sixteen of the binary operators can be expressed in terms of $\neg, \land, \lor, \implies$.

From Conjunction and Implication, we have that:
 * $p \implies q \dashv \vdash \neg \left({p \land \neg q}\right)$

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

So any instance of either $\implies$ or $\lor$ can be replaced identically with one using just $\neg$ and $\land$.

It follows that $\left\{{\neg, \land}\right\}$ is functionally complete.