真理値表しんりちひょう

真理しんり値ち表ひょうは、論理ろんり演算えんざんの入力にゅうりょくの全ぜん組合くみあわせに対たいする出力しゅつりょくを、もれなく一覧いちらんにした表おもてです。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

入力にゅうりょくが $N$個あれば、全ぜん組合くみあわせは $2^N$行になります（入力にゅうりょく 2 個こなら 4 行くだり）。すべての場合ばあいを書かき出だすので、複雑ふくざつな論理ろんり式しきでも挙動きょどうを確実かくじつに確認かくにんできます。カルノー図ずなどの最小さいしょう化か手法しゅほうと組くみ合あわせて論理ろんり回路かいろを最適さいてき化かします。

試験しけんでは 入力にゅうりょく$N$個で行くだり数すうが $2^N$ になる点てんと、表ひょうから論理ろんり式しきの真偽しんぎを読よみ取とる問題もんだいが出でます。