NOR with Equal Arguments

Theorem
Let $\downarrow$ signify the NOR operation.

Then for any proposition $p$:
 * $p \downarrow p \dashv \vdash \neg p$

That is, the NOR of a proposition with itself corresponds to the negation operator.

Also see

 * NAND with Equal Arguments