論理演算同士の関係
\begin{align*}P\lor Q & \Leftrightarrow\lnot P\uparrow\lnot Q\\ & \Leftrightarrow\lnot P\rightarrow Q\\ & \Leftrightarrow P\leftarrow\lnot Q\\ & \Leftrightarrow\lnot\left(\lnot P\land\lnot Q\right)\\ & \Leftrightarrow\lnot\left(P\downarrow Q\right)\\ & \Leftrightarrow\lnot\left(\lnot P\nrightarrow Q\right)\\ & \Leftrightarrow\lnot\left(P\nleftarrow Q\right)\end{align*}