真理値表は、論理演算の入力の全組合せに対する出力を、もれなく一覧にした表です。AND・OR・NOT・XOR などの挙動確認や、論理式が等しいかの判定、回路設計で使われます。
| A | B | A AND B | A OR B | A XOR B |
|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 0 |
| 0 | 1 | 0 | 1 | 1 |
| 1 | 0 | 0 | 1 | 1 |
| 1 | 1 | 1 | 1 | 0 |
入力が 個あれば、全組合せは 行になります（入力 2 個なら 4 行）。すべての場合を書き出すので、複雑な論理式でも挙動を確実に確認できます。カルノー図などの最小化手法と組み合わせて論理回路を最適化します。
試験では 入力個で行数が になる点と、表から論理式の真偽を読み取る問題が出ます。
