カテゴリー: 論理学

分配法則一覧

\[ P\lor\left(Q\land R\right)\Leftrightarrow\left(P\lor Q\right)\land\left(P\lor R\right) \]