NOR is Commutative

Theorem
Let $\downarrow$ signify the NOR operation.

Then, for any two propositions $p$ and $q$:
 * $p \downarrow q \dashv \vdash q \downarrow p$

That is, NOR is commutative.