XNORゲート(論理等価)— 定義、動作、用途
XNORゲートは入力が等しいときに真を出力する論理ゲートです。論理等価または双条件とも呼ばれ、XORの補数として、等値判定やデジタルシステムで広く用いられます。
概要
XNORゲートは、入力が等しい場合に限り真(1)を出力するデジタル論理ゲートです。2入力A、Bの場合、両方が0または両方が1ならXNORは1を返し、入力が異なるときは0を返します。一般にXOR(排他的論理和)の否定として説明され、ブール代数では等価演算子または双条件演算子とも呼ばれます。
画像ギャラリー
1 画像論理、式、真理値表
XNOR関数はいくつかの等価な形式で表せます。代表的なブール式は次のとおりです。
- A XNOR B = NOT(A XOR B)
- A XNOR B = (A AND B) OR (NOT A AND NOT B)
2入力の場合の動作は、次の真理値表で確認できます。
- A=0、B=0 → 出力=1
- A=0、B=1 → 出力=0
- A=1、B=0 → 出力=0
- A=1、B=1 → 出力=1
記号と変種
図式上のXNORゲート記号は、多くの場合、XOR形状の出力部に小さな反転バブルを付けて表されます。等値判定としての役割を強調して、A ≡ BまたはA ↔ Bと表記する文献もあります。3入力以上では、一般化されたXNORは通常、多入力XORの補数として定義されます。すなわち、1である入力の数が偶数の場合(0個を含む)に1を出力します。
実装
ハードウェアでは、XNOR機能を直接構成することも、基本ゲートの組合せで実現することもできます。例えば、XORの後にインバータを接続する方法や、積和形の(A AND B) OR (NOT A AND NOT B)を実装する方法があります。トランジスタレベルの設計およびCMOSライブラリには、算術回路や比較器での使用に向け、面積、速度、消費電力のバランスを最適化したXNORセルがあります。
用途と重要性
等値を検出できるため、XNORゲートはデジタル比較器、等値検出器、ビット単位の等値検査、パリティ回路、加算器や算術論理演算装置の特定段で広く使われます。また、一致する条件を成立させる必要がある誤り検査方式や単純な制御論理にも用いられます。ブール論理と形式的推論では、二つの命題が等価であることを表す双条件結合子に対応します。
注目すべき事実と区別
- XNORは、それ単独ではNANDやNORとは異なり万能ゲートではありませんが、他の基本要素と組み合わせると機能的に有用です。
- XNORはXORの論理補数です。多くの実装では、XOR出力を反転することでこの性質を利用します。
- 多入力の定義には注意が必要です。設計者はしばしば、1の数が偶数なら出力1というパリティの解釈に依拠します。
これらの性質により、XNORゲートはデジタル論理における重要かつ直感的な構成要素となっています。特に、ハードウェア設計で等値または等価を高速かつコンパクトに検出する必要がある場合に重要です。
関連項目
著者
AlegsaOnline.com XNORゲート(論理等価)— 定義、動作、用途 Leandro Alegsa
URL: https://ja.alegsaonline.com/art/109504