論理積と論理和の間には吸収律と呼ばれる関係が成り立ちます。戻ってしまうという命題です。この命題において論理積と論理和の関係を入れ替えたものも成り立ちます。論理和の間には以下の関係が成り立ちます。命題(吸収律)任意の論理式\(A,B,C\)に対して以下が成り立つ。B\)は吸収されて\(A\)に戻ってしまうというのが吸収律の主張です。論理和と論理積を入れ替えた主張も同じく成り立ちます。B)\end{equation*}という関係もまた成立します。\)に置き換えれば右側の式が得られますが、両者は論理的に同値です。C\end{equation*}が成り立つことを証明します。\text{吸収律}\end{eqnarray*}が成り立つため証明できました。次回はド・モルガンの法則について学びます。>ド・モルガンの法則ワイズをさらに活用するための会員サービスユーザー名とメールアドレスを入力して一般会員に無料登録すれば、質問やコメントを投稿できるようになります。有料(500円/月)のプレミアム会員へアップグレードすることにより、プレミアムコンテンツ(命題の証明や演習問題、解答など)にアクセスできます。会員サービスの詳細を見る会員サービスディスカッションに参加しますか?質問やコメントを投稿するためにはログインが必要ですログイン会員登録コメント投稿に際するお願い返信をキャンセルする。>有料会員には様々な特典があります。理解を深めるための演習問題と解答の閲覧、テキストに登場した命題の証明の閲覧、演習や証明に関する質問の投稿など。>皆さまからよく頂く質問への回答をまとめました。こちらに解決方法が見つからない場合にはお問い合わせください。