NOR is Commutative/Proof 1

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.