Disjunction in terms of NOR

Theorem

 * $p \lor q \dashv \vdash \left({p \downarrow q}\right) \downarrow \left({p \downarrow q}\right)$

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