Functional completeness

The logical NOR, taken by itself, is a functionally complete set of connectives. This can be proved by first showing, with a truth table, that is truth-functionally equivalent to . Then, since is truth-functionally equivalent to , and is equivalent to , the logical NOR suffices to define the set of connectives , which is shown to be truth-functionally complete by the Disjunctive Normal Form Theorem.