Computer-logical-organization-demorgan-theroems

提供:Dev Guides
移動先:案内検索

ド・モーガンの定理

De Morganは、ブール代数で非常に役立つ2つの定理を提案しています。 2つの定理について以下で説明します。

定理1

De Morgan Theorem 1

  • この定理の左側(LHS)は入力AとBを持つNANDゲートを表し、定理の右側(RHS)は反転入力を持つORゲートを表します。
  • このORゲートは「バブルOR」と呼ばれます。

De Morgan Theorem 1 Diagram

デモーガンの最初の定理の検証を示す表-

De Morgan Theorem 1 Verification Table

定理2

De Morgan Theorem 2

  • この定理のLHSは入力AとBを持つNORゲートを表し、RHSは反転入力を持つANDゲートを表します。
  • このANDゲートは、*バブルAND *と呼ばれます。

De Morgan Theorem 2 Diagram

デモーガンの第2定理の検証を示す表-

De Morgan Theorem 2 Verification Table