Computer-logical-organization-demorgan-theroems
提供:Dev Guides
ド・モーガンの定理
De Morganは、ブール代数で非常に役立つ2つの定理を提案しています。 2つの定理について以下で説明します。
定理1
- この定理の左側(LHS)は入力AとBを持つNANDゲートを表し、定理の右側(RHS)は反転入力を持つORゲートを表します。
- このORゲートは「バブルOR」と呼ばれます。
デモーガンの最初の定理の検証を示す表-
De Morgan Theorem 1 Verification Table
定理2
- この定理のLHSは入力AとBを持つNORゲートを表し、RHSは反転入力を持つANDゲートを表します。
- このANDゲートは、*バブルAND *と呼ばれます。
デモーガンの第2定理の検証を示す表-