組み合わせ回路の入力信号と出力信号の対応を示した表を真理値表といいます.この真理値表をもとに,論理式を組み立てます.例として,図 1 にハーフ・アダー(けた上げ入力のない1 ビット加算器)の真理値表と,真理値表から導いた論理式を示します.入力AとBを加算し,S に和をCにけた上げを出力します.
図 1. ハーフ・アダーの真理値表

図 1. ハーフ・アダーの真理値表