分配法則一覧

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

結合法則一覧

\[ P\leftrightarrow\left(Q\leftrightarrow R\right)\Leftrightarrow\left(P\leftrightarrow Q\right)\leftrightarrow R \]