NOR is not Associative

Theorem
Let $\downarrow$ signify the NOR operation.

Then there exist propositions $p,q,r$ such that:
 * $p \downarrow \paren {q \downarrow r} \not \vdash \paren {p \downarrow q} \downarrow r$

That is, NOR is not associative.

Also see

 * NAND is not Associative