Disjunction in terms of NOR

Theorem

 * $p \lor q \dashv \vdash \paren {p \downarrow q} \downarrow \paren {p \downarrow q}$

where $\lor$ denotes logical disjunction and $\downarrow$ denotes logical NOR.