基本論理回路と真理値表
トランジスタが「電気のスイッチ」であることは分かりました。では、このスイッチをどう組み合わせれば、コンピュータに「考える(論理判断をする)」力を持たせることができるのでしょうか。ここでは、演算の基礎となる「AND」「OR」「NOT」の基本回路(論理ゲート)と、その動作を定義する「真理値表」について学びます。
1. 論理回路(ゲート)とは何か?
電気的にオン(1)とオフ(0)を制御できるスイッチ(トランジスタ)を複数組み合わせることで、特定の入力条件に応じて正しい出力結果を導き出す回路を作ることができます。この回路のことを論理回路(Logic Circuit)、あるいはその最小要素を論理ゲート(Logic Gate)と呼びます。
「ゲート(門)」と呼ばれるのは、特定の条件を満たした信号だけを通過させたり、せき止めたりする役割を持っているからです。
基本となる論理ゲートは、AND(論理積)、OR(論理和)、NOT(論理否定)の3つです。
2. AND(論理積):直列のスイッチ
ANDゲートは、「入力A と 入力B の両方が 1 であるときだけ、出力が 1 になる」回路です。どちらか一方でも 0 であれば、出力は 0 になります。
これを最も直感的に理解するには、2つのスイッチを「直列」に繋いだ回路を想像することです。
この回路で電球が光るためには、スイッチAとスイッチBの「両方」を閉じる必要があります。どちらか一方でも開いていれば、電流の道が途切れてしまうため電球は消えたままです。
3. OR(論理和):並列のスイッチ
ORゲートは、「入力A と 入力B のどちらか一方、あるいは両方が 1 であるときに、出力が 1 になる」回路です。両方の入力が 0 のときだけ、出力が 0 になります。
これは、2つのスイッチを「並列」に繋いだ回路に対応します。
この回路では、スイッチAとスイッチBの「どちらか片方」を閉じるだけで、電流はもう片方の道を通って電球までたどり着き、光を灯します。
4. NOT(論理否定):反転の仕組み
NOTゲートは、入力を「反転」させる回路です。「入力が 1 なら出力は 0、入力が 0 なら出力は 1」になります。
トランジスタでこれを作る場合、ゲート端子に電圧がかかった際、電気がアース(グラウンド)に逃げていき、出力側の電圧が下がってしまう「バイパス」構造を利用します。
基本論理回路シミュレータ
論理ゲート(AND, OR, NOT, XOR)を選択し、入力スイッチを切り替えてみましょう。信号が流れて出力が変化する様子と、真理値表との関係を理解できます。
5. 真理値表と論理記号のまとめ
これらの論理動作を数式的に記述し、視覚的に表現するために、コンピュータサイエンスでは特有の「論理記号(MIL記号)」と、すべての入力パターンの入出力をまとめた「真理値表(Truth Table)」を使用します。
| ゲート名 | 論理記号 | 真理値表 | |||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| AND (論理積) |
| ||||||||||||||||
| OR (論理和) |
| ||||||||||||||||
| NOT (論理否定) |
|
6. 応用:XOR(排他的論理和)ゲート
基本の3つ以外にも、コンピュータの「足し算(加算)」を実現するために非常に重要なゲートがあります。それがXOR(Exclusive OR:排他的論理和)ゲートです。
XORは、「2つの入力が異なるときだけ出力が 1 になり、同じときは 0 になる」という動作をします。
| A | B | Y(出力) |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |
XORの動作を詳しく見てみると、1桁の2進数の足し算そのものになっていることに気づくはずです(0 + 0 = 0、0 + 1 = 1、1 + 0 = 1、そして 1 + 1 = 0(繰り上がりを無視))。
このXOR回路は、AND, OR, NOTゲートを組み合わせることで合成して作られます。 次のセクションでは、これらの論理ゲートを用いて、実際にコンピュータが「算術計算(足し算)」を行う回路を設計してみましょう。
私たちが日常的に使っているスマートフォンやPCのプロセッサ(CPU/GPU)の中には、今回学んだ論理回路が信じられないほどの規模で詰め込まれています。
- 数億から数百億個のスイッチ: 現代の最高峰のスマートフォン用チップ(例:3ナノメートルプロセスで製造されるチップ)には、爪の先ほどの面積に150億個以上のトランジスタが搭載されています。
- 光速と物理の限界への挑戦: トランジスタが小さくなりすぎた結果、絶縁体をすり抜けて電気が漏れ出す「量子トンネル効果」や発熱といった物理限界に直面しています。
設計者たちは、材料をシリコンから別の素材に変えたり、3次元的に素子を積み上げたりする(3D積層)ことで、この極小の「AND」「OR」「NOT」回路をさらに高速・省電力で動かすための技術革新を日々続けています。
4つの代表的な論理演算の入力(A, B)に対する出力(Y)の条件と、集合(ベン図)で表した場合の対応イメージを整理しておきましょう。
- AND(論理積):
- 条件:AとBの両方が1のときだけ出力が1。
- 集合:AとBの共通部分(交わり:A ∩ B)。
- OR(論理和):
- 条件:AとBの少なくとも一方が1のとき出力が1。
- 集合:AとBの全体部分(結び:A ∪ B)。
- NOT(論理否定):
- 条件:入力値が反転(1なら0、0なら1)。
- 集合:A以外の部分(補集合:A)。
- XOR(排他的論理和):
- 条件:AとBの入力値が異なるときだけ出力が1。
- 集合:AまたはBのどちらか一方のみに属する部分(対称差)。