Functionally Complete Logical Connectives

Theorem
These sets of logical connectives are functionally complete:

NOR
There are others, but these are the main ones.

Also see

 * Functionally Complete Singleton Sets, in which it is seen that the only functionally complete singletons are $\left\{{\uparrow}\right\}$ and $\left\{{\downarrow}\right\}$.
 * Functionally Incomplete Logical Connectives