Properties of NOR

Theorem
Let $\downarrow$ signify the NOR operation.

The following results hold: