論理回路には、2進数同士の加法を行うための加算回路がある。この加算回路には、下位からの桁上がりができない半加算回路、下位からの桁上がりができる全加算回路がある。
| L1 | L2 | L3 | L4 |
| 1 | 1 | 0 | 1 |
| 1 | 0 | 1 | 0 |
| 0 | 1 | 1 | 0 |
| 0 | 0 | 0 | 0 |
| L1 | L2 | L3 | L4 | L5 |
| 1 | 1 | 1 | 1 | 1 |
| 1 | 1 | 0 | 0 | 1 |
| 1 | 0 | 1 | 0 | 1 |
| 1 | 0 | 0 | 1 | 0 |
| 0 | 1 | 1 | 0 | 1 |
| 0 | 1 | 0 | 1 | 0 |
| 0 | 0 | 1 | 1 | 0 |
| 0 | 0 | 0 | 0 | 0 |
出力変数の1（L4あるいはL5）に対応する3つの入力変数L1,L2,L3において、0は論理否定、1はそのままとしたうえで論理積で組み合わせる。
[1]L4を調べる
よって、得られた式を入力の真偽に適応すればL4が出る。
[2]L5を調べる
（∵排中律）
