論理ゲート

  1. AND(論理積)
    ゲート: 真理値表
     A  B  Z 
    000
    010
    100
    111

    論理式:
     
    Z = AB

  2. OR(論理和):排他的論理和に対して包含的論理和(inclusive OR)
    ゲート: 真理値表
     A  B  Z 
    000
    011
    101
    111

    論理式:
     
    Z = A+B

  3. NOT(論理否定):インバータ(inverter)とも呼ばれる
    ゲート: 真理値表
     A  Z 
    01
    10

    論理式:
    _
    Z = A
    = A'

  4. NAND(NOT of AND):論理積の否定
    ゲート: 真理値表
     A  B  Z 
    001
    011
    101
    110

    論理式:
    __ _ _
    Z = AB  = A+B
    = (AB)' = A'+B'

  5. NOR(NOT of OR):論理和の否定
    ゲート: 真理値表
     A  B  Z 
    001
    010
    100
    110

    論理式:
    ____ _
    Z = A+B  = A B
    = (A+B)' = A'B'

  6. XOR(eXclusive OR:排他的論理和):EORとも呼ぶ、不一致論理(A≠B)とも言える
    ゲート: 真理値表
     A  B  Z 
    000
    011
    101
    110

    論理式:
    _ _
    Z = AB+AB = A B
    = A'B+AB'

  7. XNOR(排他的論理和の否定):一致論理(A=B)とも言える
    ゲート: 真理値表
     A  B  Z 
    001
    010
    100
    111

    論理式:
    __ ___
    Z = AB+AB = A B
    = A'B'+AB

NANDゲートで他の論理を実現する

  1. NOT(論理否定)
  2. AND(論理積)
  3. OR(論理和)
 NORゲートでも同様のことができる。やってみよ!

NANDの多段回路について

 NAND の2段回路は AND OR の2段回路と等価である。何故か?

完備性(completeness)について

 全ての論理関数を表すことができる少数の基本論理関数の集合を完備集合(Complete Set)と呼ぶ。
  完備集合の例: