論理関数を表現するための入力条件とそれに対応した出力値を表にしたもの．