Logic gate

A logic gate is a device that performs a Boolean function, a logical operation performed on one or more binary inputs that produces a single binary output. Depending on the context, the term may refer to an ideal logic gate, one that has, for instance, zero rise time and unlimited fan-out, or it may refer to a non-ideal physical device^[1] (see ideal and real op-amps for comparison).

The primary way of building logic gates uses diodes or transistors acting as electronic switches. Today, most logic gates are made from MOSFETs (metal–oxide–semiconductor field-effect transistors).^[2] They can also be constructed using vacuum tubes, electromagnetic relays with relay logic, fluidic logic, pneumatic logic, optics, molecules, acoustics,^[3] or even mechanical or thermal^[4] elements.

Logic gates can be cascaded in the same way that Boolean functions can be composed, allowing the construction of a physical model of all of Boolean logic, and therefore, all of the algorithms and mathematics that can be described with Boolean logic. Logic circuits include such devices as multiplexers, registers, arithmetic logic units (ALUs), and computer memory, all the way up through complete microprocessors,^[5] which may contain more than 100 million logic gates.

Compound logic gates AND-OR-invert (AOI) and OR-AND-invert (OAI) are often employed in circuit design because their construction using MOSFETs is simpler and more efficient than the sum of the individual gates.^[6]

基本的な論理ゲートは、 NOT、OR、NOR（ORの否定）、AND、NAND（ANDの否定）、XOR（排他的OR）、XNOR（排他的ORの否定）の7つです。 ^{[ 7 ]}

二進数システムは、古代の易経の二進システムに影響を受けたゴットフリート・ヴィルヘルム・ライプニッツによって改良されました（1705年に出版）。 ^{[ 8 ] [ 9 ]}ライプニッツは、二進システムを使用することで算術と論理の原理が組み合わされることを確立しました。

1837年にチャールズ・バベッジが考案した解析機関は、歯車に基づいた機械式論理ゲートを使用していた。^{[ 10 ]}

1886年の手紙で、チャールズ・サンダース・パースは、論理演算が電気スイッチング回路によってどのように実行できるかを説明した。^{[ 11 ]}初期の電気機械式コンピュータは、後の真空管（熱電子管）やトランジスタ（後の電子コンピュータの構築に使用された）といった革新技術ではなく、スイッチとリレーロジックから構成されていた。ルートヴィヒ・ヴィトゲンシュタインは、 『論理哲学論考』 （1921年）の命題5.101として、16行真理値表のバージョンを紹介した。一致回路の発明者であるヴァルター・ボーテ^{[ 12 ]}は、1924年に最初の現代的な電子ANDゲートを発明し、1954年のノーベル物理学賞の一部を受賞した。コンラート・ツーゼは、自身のコンピュータZ1（1935年から1938年）のために電気機械式論理ゲートを設計・構築した。

1934年から1936年にかけて、NECのエンジニアである中島明、クロード・シャノン、ビクター・シェスタコフは、それぞれ独立に発見した2値ブール代数がスイッチング回路の動作を記述できることを示した一連の論文で、スイッチング回路理論を紹介した。 ^{[ 13 ] [ 14 ] [ 15 ] [ 16 ]}この電気スイッチの特性を利用して論理を実装することは、すべての電子デジタルコンピュータの根底にある基本概念である。スイッチング回路理論は、第二次世界大戦中および戦後に電気工学コミュニティで広く知られるようになり、それまで主流だった場当たり的な方法に代わって理論的な厳密さが採用されるようになり、デジタル回路設計の基礎となった。^{[ 16 ]}

1948年、バーディーンとブラテインは反転層を持つ絶縁ゲートトランジスタ（IGFET）の特許を取得しました。彼らの概念は、今日のCMOS技術の基礎となっています。^{[ 17 ]} 1957年、フロッシュとデリックはPMOSとNMOSのプレーナーゲートの製造に成功しました。^{[ 18 ]}その後、ベル研究所のチームがPMOSとNMOSゲートを備えた動作するMOSを実証しました。^{[ 19 ]} 1963年、フェアチャイルド・セミコンダクターのチータン・サとフランク・ワンラスによって、両方のタイプが組み合わされ、相補型MOS（CMOS）ロジックに採用されました。 ^{[ 20 ]}

一般的に使用されている基本論理ゲートのシンボルには 2 組あり、どちらもANSI / IEEE Std 91-1984 およびその補足 ANSI/IEEE Std 91a-1991 で定義されています。従来の回路図に基づく「特徴的な形状」セットは、簡単な図面に使用され、 1950 年代から 1960 年代の米国軍事規格MIL-STD-806 に由来します。^{[ 21 ]}非公式に「軍事用」と呼ばれることもあり、その起源を反映しています。ANSI Y32.14 および後に IEEE および IEC によって改良されたその他の初期の業界標準に基づく「長方形の形状」セットは、すべてのタイプのゲートに長方形の輪郭があり、従来のシンボルでは不可能なはるかに広範囲のデバイスを表現できます。^{[ 22 ]} IEC規格であるIEC 60617-12は、ヨーロッパのEN 60617-12:1999、英国のBS EN 60617-12:1999、ドイツのDIN EN 60617-12:1998などの他の規格にも採用されています。

IEEE Std 91-1984とIEC 617-12の共通の目標は、デジタル回路の複雑な論理関数を回路図記号で記述するための統一的な方法を提供することでした。これらの関数は、単純なANDゲートやORゲートよりも複雑で、4ビットカウンタのような中規模回路からマイクロプロセッサのような大規模回路まで、幅広い規模の回路を対象としていました。

IEC 617-12 およびその番号変更後の後継規格 IEC 60617-12 は、「特徴的な形状」のシンボルを明示的に示していませんが、それらを禁止しているわけでもありません。^{[ 22 ]}ただし、ANSI/IEEE Std 91 (および 91a) では、次の注記とともにこれらのシンボルが示されています。「特徴的な形状のシンボルは、IEC Publication 617、Part 12 によれば推奨されていませんが、その規格と矛盾するものとはみなされません。」 IEC 60617-12 には、同様に次の注記 (セクション 2.1) が含まれています。「推奨されていませんが、公式の国家規格で認められている他のシンボル、つまりシンボル [基本ゲートのリスト] の代わりに特徴的な形状を使用することは、この規格と矛盾するものとはみなされません。これらの他のシンボルを組み合わせて複雑なシンボル (たとえば、埋め込みシンボルとして使用する) を形成することは推奨されません。」この妥協案は、IEEEとIECそれぞれのワーキンググループ間で合意され、IEEE規格とIEC規格が相互に準拠できるようにするために成立した。

1980年代には、回路基板とゲートアレイと呼ばれるカスタムICの両方を設計する上で、回路図が主流の方法でした。今日では、カスタムICとフィールドプログラマブルゲートアレイは、VerilogやVHDLなどのハードウェア記述言語（HDL）を用いて設計されるのが一般的です。

ド・モルガンの法則を用いると、AND関数は入力と出力が否定されたOR関数と同一になります。同様に、 OR関数は入力と出力が否定されたAND関数と同一になります。NANDゲートは入力が否定されたORゲートと等価であり、NORゲートは入力が否定されたANDゲートと等価です。

これにより、基本ゲートの代替シンボルセットが生まれます。これは、コアシンボル（ANDまたはOR）とは反対のシンボルを使用しますが、入力と出力が反転されています。これらの代替シンボルを使用すると、論理回路図がはるかに明確になり、アクティブハイ出力がアクティブロー入力に誤って接続された場合や、その逆の場合を示すのに役立ちます。両端で論理否定がある接続は、否定のない接続と適切なゲートの変更、またはその逆で置き換えることができます。片方の端で否定があり、もう一方の端で否定がない接続は、代わりに両端のいずれかでド・モルガンの等価シンボルを使用することで、解釈しやすくなります。接続の両端で否定または極性インジケータが一致する場合、そのパスには論理否定はありません（実質的にバブルが「キャンセル」されます）。これにより、あるシンボルから次のシンボルへの論理状態を追跡しやすくなります。これは実際の論理回路図でよく見られる現象です。したがって、読者は図形をORまたはANDの図形としてのみ関連付ける習慣を身につけるのではなく、入力と出力の両方にあるバブルも考慮に入れて、示されている「真の」論理関数を判断する必要があります。

ド・モルガン記号は、ゲートの主要な論理目的と、「信号あり」（アクティブ、オン）状態において考慮されるノードの極性をより明確に示すことができます。スイッチによっていずれかの入力がローになったときにモーターを駆動するために2入力NANDゲートを使用する簡略化されたケースを考えてみましょう。「信号あり」状態（モーターオン）は、どちらか一方のスイッチがオンになったときに発生します。AND論理を示唆する通常のNAND記号とは異なり、2つの負入力ORゲートであるド・モルガンバージョンは、ORが重要であることを正しく示しています。通常のNAND記号では、出力にバブルがあり、入力にはバブルがありません（モーターをオンにする状態とは逆です）が、ド・モルガン記号では、モーターを駆動する極性で入力と出力の両方が示されています。

ド・モルガンの定理は、経済的な理由から、論理ゲートをNANDゲートのみの組み合わせ、またはNORゲートのみの組み合わせとして実装するために最も一般的に使用されます。

様々な論理ゲートの出力比較：

チャールズ・サンダース・パースは（1880～1881年の間に）NORゲートのみ（またはNANDゲートのみ）で他のすべての論理ゲートの機能を再現できることを示したが、その研究は1933年まで未発表だった。^{[ 24 ]}最初に発表された証明は1913年にヘンリー・M・シェファーによるものなので、NAND論理演算はシェファー・ストロークと呼ばれることがあり、論理NORはパースの矢と呼ばれることがある。^{[ 25 ]}その結果、これらのゲートはユニバーサル論理ゲートと呼ばれることがある。^{[ 26 ]}

論理ゲートは状態を保持するためにも使用でき、データの保存を可能にします。複数のゲートを「ラッチ」回路で接続することで、記憶素子を構築できます。ラッチ回路はスタティックランダムアクセスメモリで使用されます。クロック信号を使用し、クロックの立ち上がりエッジまたは立ち下がりエッジでのみ変化する、より複雑な設計は、エッジトリガ型の「フリップフロップ」と呼ばれます。正式には、フリップフロップは双安定回路と呼ばれます。これは、フリップフロップが2つの安定状態を無期限に維持できるためです。複数のフリップフロップを並列に接続して複数ビットの値を格納する組み合わせは、レジスタとして知られています。これらのゲート構成のいずれかを使用すると、システム全体にメモリが備わります。この場合、出力が以前の状態、つまり入力状態のシーケンスによって影響を受ける可能性があるため、順序論理システムと呼ばれます。対照的に、組み合わせ論理の出力は、現在の入力の組み合わせのみであり、以前の入力状態や出力状態の影響を受けません。

これらの論理回路はコンピュータのメモリに使用されます。速度、複雑さ、記憶の信頼性といった要素に基づいて性能が異なり、用途に応じて様々な設計が用いられます。

• ボストック、ジェフ（1988）。プログラマブルロジックデバイス：技術と応用。マグロウヒル。ISBN 978-0-07-006611-3。
• ブラウン、スティーブン D.フランシス、ロバート J.ローズ、ジョナサン。ヴラネシッチ、ズヴォンコ G. (1992)。フィールドプログラマブルゲートアレイ。クルーワーアカデミック。ISBN 978-0-7923-9248-4。
• ディートマイヤー、ドナルド・L. (1971).デジタルシステムの論理設計. アリン・アンド・ベーコン. ISBN 9780205112944。

Wikiversityには論理ゲートに関する学習リソースがあります。

• ウィキメディア・コモンズにある論理ゲート関連のメディア