分配律
これまで見てきた論理演算の性質はいずれも否定、論理積、論理和などの論理演算がそれぞれ単独で満たす性質でしたが、以降では複数の異なる論理演算の間に成り立つ関係について考えます。
まず、論理積と論理和の間には以下の関係が成り立ちます。これを分配律（distributive law）と呼びます。
& \left( a\right) \ A\wedge (B\vee C)\Leftrightarrow (A\wedge B)\vee (A\wedge C) \\
& \left( b\right) \ A\vee (B\wedge C)\Leftrightarrow (A\vee B)\wedge (A\vee C)
\end{align*}
分配律に加えて交換律を踏まえると、論理式\(A,B,C\)に関して、\begin{align*}
\left( A\vee B\right) \wedge C& \Leftrightarrow C\wedge \left( A\vee B\right) \quad \because \text{交換律} \\
& \Leftrightarrow \left( C\wedge A\right) \vee \left( C\wedge B\right) \quad \because \text{分配律} \\
& \Leftrightarrow \left( A\wedge C\right) \vee \left( B\wedge C\right) \quad \because \text{交換律}
\end{align*}が成り立ちます。つまり、$$
\left( A\vee B\right) \wedge C\Leftrightarrow \left( A\wedge C\right) \vee \left( B\wedge C\right)
$$という形で、後ろからの分配が可能になります。もう一方の命題についても同様に考えると、$$
\left( A\wedge B\right) \vee C\Leftrightarrow \left( A\vee C\right) \wedge \left( B\vee C\right)
$$を得ます。
\left( P\vee Q\right) \wedge \left( R\vee S\right) \Leftrightarrow \left( P\wedge R\right) \vee \left( P\wedge S\right) \vee \left( Q\wedge R\right) \vee \left( Q\wedge S\right)
\end{equation*}が成り立つことを分配律から証明します。便宜的に、\begin{equation*}
A=P\vee Q
\end{equation*}とおきます。すると、\begin{eqnarray*}
\left( P\vee Q\right) \wedge \left( R\vee S\right) &\Leftrightarrow &A\wedge \left( R\vee S\right) \\
&\Leftrightarrow &\left( A\wedge R\right) \vee \left( A\wedge S\right) \quad \because \text{分配律} \\
&\Leftrightarrow &\left( \left( P\vee Q\right) \wedge R\right) \vee \left( \left( P\vee Q\right) \wedge S\right) \quad \because A=P\vee Q \\
&\Leftrightarrow &\left( P\wedge R\right) \vee \left( P\wedge S\right) \vee \left( Q\wedge R\right) \vee \left( Q\wedge S\right) \quad \because \text{分配律}
\end{eqnarray*}が成り立つため証明できました。
次回は吸収律について学びます。
次へ進む 演習問題（プレミアム会員限定）