数字电子/数学和逻辑运算/数字减法器
半减法器是一个组合电路，用于执行两位数的减法。它有两个输入，X（被减数）和Y（减数），以及两个输出D（差）和B（借位）。
半减法器的真值表如下所示。 [1]
| X | Y | D | B |
|---|---|---|---|
| 0 | 0 | 0 | 0 |
| 0 | 1 | 1 | 1 |
| 1 | 0 | 1 | 0 |
| 1 | 1 | 0 | 0 |
从上表可以绘制出“差”和“借位”的卡诺图。
全减法器是一个组合电路，用于执行三位数的减法。它有三个输入，X（被减数）和Y（减数）以及Z（减数），以及两个输出D（差）和B（借位）。
全减法器的真值表如下所示。 [2]
| X | Y | Z | D | B |
|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 1 | 1 |
| 0 | 1 | 0 | 1 | 1 |
| 0 | 1 | 1 | 0 | 1 |
| 1 | 0 | 0 | 1 | 0 |
| 1 | 0 | 1 | 0 | 0 |
| 1 | 1 | 0 | 0 | 0 |
| 1 | 1 | 1 | 1 | 1 |
因此，逻辑方程为 D = (X xor Y)xor Z，B = (Z and (not(X xor Y)))or ((not X)and Y)