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

       在许多实际问题中，由于具体条件的限制，某些取值组合下的函数值，可任意取0或1。这些取值组合称为无关项或约束项。这类函数称为未完全规定的逻辑函数或未完全描述的逻辑函数。

                             图1（a）  四舍五入电路

       上图所示为四舍五入电路。该电路的输入为采用8421BCD码的1位十进制数

    当（b₃b₂b₁b₀)_8421BCD>(4)₁₀时，z=1；否则，z=0。8421BCD码中，1010-1111为非法，这6个取值组合是不会出现的，所以可以不为它们规定电路的输出值。由此可以得到电路的真值表如表2及卡诺图如下图示：                                                                                                                                                                                           

表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 四舍五入电路的逻辑图