1.未完全规定的逻辑函数

表2 四舍五入电路真值表

图2（b）真值表

由于1010这一取值组合是不会出现的，从而 b₃b₂b₁b₀=0， 同理

b₃b₂b₁b₀=0 b₃b₂b₁b₀=0 b₃b₂b₁b₀=0 b₃b₂b₁b₀=0 b₃b₂b₁b₀=0

进而 b₃b₂b₁b₀+b₃b₂b₁b₀+b₃b₂b₁b₀+b₃b₂b₁b₀+b₃b₂b₁b₀+b₃b₂b₁b₀=0

即 b₃b₁+b₃b₂=0

上式规定了不可能出现的各种取值组合，称为四舍五入电路的约束条件或约束方程。

2.未完全规定的逻辑函数的化简

由于未完全规定的逻辑函数的某些取值组合的函数值可取0或1，从而为简化该函数提供了更多的可能性。

图2（b）给出了充分利用这一特性的一种卡诺圈的画法，它对应了最简的积之和表达式

z(b₃,b₂,b₁,b₀)=b₃+b₂b₁+b₂b₀

图3所示为对应的逻辑图。

图3 四舍五入电路的逻辑图